Начнем с синтаксиса (самого, казалось бы, простого аспекта, однако борьбой с
ним завершаются попытки очень многих). Несколько первых впечатлений. Во-первых,
язык просто очень большой. Это означает, что синтаксические таблицы — составленные вручную или построенные каким-нибудь генератором распознавателей,
вроде YACC, будут довольно велики, что, естественно, замедлит скорость
синтаксического разбора.
Однако при внимательном анализе оказывается, что в языке имеется сравнительно
большое число «микро»-регулярностей — часто повторяющихся устойчивых
последовательностей лексем. Например, пары пустых скобки: (), [],
пустой список параметров (void), завершитель списка параметров ...)
встречаются очень часто. После служебных слов if, switch, while
всегда должна стоять левая круглая скобка, после break и continue — точка с запятой, а после слова goto располагаются идентификатор и точка с
запятой. Таких регулярностей набирается несколько десятков, так что если
рассматривать их как отдельные лексемы, объем синтаксиса заметно сокращается.
Введение каждой такой "суперлексемы" экономит по крайней мере одно обращение
синтаксического анализатора к таблице разбора. Усложнение распознавателя лексем
(сканера), вынужденного составлять суперлексемы из пар или троек обычных
лексем, при этом получается весьма незначительное; более того, если сканер во
время одного вызова распознает, например, не только служебное слово switch,
но и левую круглую скобку, идущую за ним, получится экономия и на числе
обращений к сканеру!
Во-вторых, в синтаксисе есть неоднозначности. Это надо оценить: в Стандарте (!)
языка программирования прямо написано, что некоторые конструкции можно
трактовать двояко — либо как объявление, либо как оператор! В несколько
упрощенном виде формулировка из стандарта выглядит так: "выражение, содержащее
в качестве своего самого левого подвыражения явное преобразование типа, которое
записано в функциональном стиле, может быть неотличимо от объявления, в котором
первый декларатор начинается с левой круглой скобки". Классический пример: что
такое T(a); если T — некоторый тип? С одной стороны, это как бы
объявление переменной с именем a, тип которой задан как T. С другой — конструкцию можно трактовать как преобразование типа уже объявленной где-то
ранее переменной a к типу T. Все дело в том, что в Си++ статус
операторов и объявлений полностью уравнен; последние даже и называются
