К вопросу о простоте лексера языка программирования Си.

[thesz]

В одной библиотеке нашёл вот такое:
#define BODY
#include
И ведь наверняка где-то используется в виде #include BODYВ GNU C используется преобразование содержимого определения в лексемы и простая подстановка списка лексем по месту. Это означает, что #include должна уметь собирать имя файла из лексем. Второй вариант - мы храним строку определения

Comments

[bitfield]

А причем тут лексер? Разрешением дефайнов (как и инклюдами) занимается препроцессор.
Считали строчку, разбили на пробелы и preprocessor tokens, подставили дефайны.
Если эта строчка #define, сохранили в список новый дефайн.
Если #include -- инклудим получившееся.
Если #if - включаем/выключаем обработку следующих строк.

А лексеру на вход идет уже результат.

[thesz]

Лексер здесь причём потому, что в современных компиляторах обязанности препроцессора возложены на него.

Иначе нельзя показать сообщение с точностью до символа в строке.

К тому же, так быстрее получается.

[kiryl]

В линуксовом ядре есть #define if() ..., который даже работает. ;)

[thesz]

Это не так страшно.