Таблица имён в парсере Си

[vak]

Грамматика языка Си хитро устроена: её невозможно однозначно распознать, не строя таблицу имён. Объясню на примере. Рассмотрим конструкцию:

foo bar : qux;

Как её должен интерпретировать парсер? Выглядит полной бессмыслицей. Однако же представим, что перед этим имелось:

typedef int foo;
enum { qux = 1 };

Тогда конструкция превращается в:

int bar : 1;

Честное определение поля структуры размером один бит.

То есть парсер во время разбора входного потока должен строить таблицу имён. Достаточно различать три категории: тайпдефы, именованные константы enum и всё остальное. Но надо отслеживать область действия. При выходе из блока имена, определённые в нём, следует забывать.

Я уже почти добил самопальный парсер Си, осталось добавить тайпдефы.

Comments

[spamsink]

Си как язык - неортогональный, поэтому должен умереть. В С++ отлично компилируется

const int qux = 1;
typedef int foo;
struct {
        foo bar : qux;
} x;
int baz[qux];

[vak]

Потому Си++ и не Си. 😀 Там всяких constexpr наворотили и прочих ужасов.

В следующий раз надо будет заняться парсером Rust. Возможно, он проще.

[archaicos]

Надо было разрешить в языке использовать константы в обоих контекстах: как число во время компиляции и как объект во время исполнения (можешь использовать и само значение, и адрес в памяти, где оно лежит). Думаю, можно это сделать, ничего не сломав. Может, сделают когда-нибудь. А то выходит, что если хочешь поименнованную константу, то хорошо, если она лезет в int, что можно enum сделать. А если не лезет, то нужно или расширение языка использовать, или какую-то реализацию супер нового стандарта. Или обратно к дедовским макросам возвращаться.

[spamsink]

нужно или расширение языка использовать

Да, C++ называется.

[vak]

Или переходить на Rust. Что и происходит в массовом порядке, насколько я вижу.

[archaicos]

Нет, горшочек, не вари. :)