x86128

Типы в языке Си штука рекурсивная. То есть внутри описателя типа могут встречаться другие описатели типов. Грок накидал ещё несколько вариантов для тестирования парсера.

Вариант 1: Вложенная структура с простым полем

struct Outer { int x; struct Inner { int y; } inner; }

Вариант 2: Структура с указателем на себя

struct Node { int data; struct Node *next; }

Вариант 3: Указатель на функцию с параметром-структурой

void (*)(struct Pair { int x; int y; })

Вариант 4: Вложенная структура с полем-массивом

struct Container { struct Item { int value; } items[10]; }

Вариант 5: Объединение с вложенной структурой и анонимной структурой

union Variant { struct { int a; int b; }; struct Named { float x; } named; }

"В Лондоне вынесли приговоры болгарам, шпионившим на Россию. Им дали от 5 до 10 лет тюрьмы"

Гады охотились на журналистов-расследователей Романа Доброхотова и Христо Грозева.

• Орлин Русев: проведет за решеткой 10 лет и 8 месяцев;
• Бизер Джамбазов — 10 лет и 2 месяца;
• Катрин Иванова — 9 лет и 8 месяцев;
• Ваня Габерова — 6 лет, 8 месяцев и 3 недели;
• Тихомир Иванчев — 8 лет;
• Иван Стоянов — 5 лет и 3 недели.

Что получится, если скрестить ужа и ежа? Моток колючей проволоки. 😀

Пожалуйте вам schemesh: шелл для юникса со встроенным языком Scheme.

github.com/cosmos72/schemesh

Вожусь с парсером для Си компилятора. Обнаруживаю кое-что неожиданное в языке. Как вы думаете, как должен парсер интерпретировать конструкцию вида:

foo = (bar)

Нет вопросов! - воскликнет наивный читатель. 😀 В языке Би действительно это всегда было вычисление выражения bar, взятого в скобки. Однако Си не так прост.

Всё зависит от смысла bar. Если bar определён как переменная:

int bar;

то это действительно будет вычисление значения bar и присваивание в foo. Или даже как массив int bar[] или как функция int bar(). То же самое, но уже не значение а адрес. Всё ожидаемо.

Но представим, что bar определено как тип:

typedef int bar;

Тогда конструкция превращается в приведение типа, и парсер должен ожидать дальше некое значение, например:

foo = (bar) 42;

Однако и это ещё не всё. Может оказаться, что bar определено как агрегатный тип, то есть массив или структура:

typedef int bar[];

Тогда конструкция превращается в составной литерал, и парсер должен ожидать дальше фигурные скобки со списком значений:

foo = (bar) { 42, 56, 72 };

А вы говорите: контекстно свободные грамматики. Свобода нам только снится. 😀

Не абстрактно, а как именно они её любят. Русскии меавеав, Игорь Колбаса, верблюжье молоко из Уругвая и русские жёны.

Скормил Гроку грамматику языка Си от YACC (c11.y), и он превратил её в формальное описание абстрактного синтаксического дерева (c11.asdl). Это будет большое подспорье. По этому описанию можно создавать все нужные структуры и процедуры сериализации.

module C

-- Identifiers and basic types
type Ident = string

-- Types
type Type
  = Void
  | Bool
  | Char(Signedness signed)
  | Short(Signedness signed)
  | Int(Signedness signed)
  | Long(Signedness signed)
  | Float
  | Double
  | Complex(Type base)                              -- _Complex float, _Complex double
  | Imaginary(Type base)                            -- _Imaginary (non-mandated extension)
  | Pointer(Type target, TypeQualifier* qualifiers)
  | Array(Type element, Expr? size, TypeQualifier* qualifiers)
  | Function(Type returnType, ParamList params, bool variadic)
  | Struct(Ident? name, Field* fields)
  | Union(Ident? name, Field* fields)
  | Enum(Ident? name, Enumerator* enumerators)
  | TypedefName(Ident name)
  | Atomic(Type base)                               -- _Atomic(type_name)
  attributes(TypeQualifier* qualifiers)

( ...еще... )