рекурсивный спуск парсер, инициализация переменной с самим собой, дилемма

Question

Я хочу знать, является ли соответствующий компилятор C++ требуется поддерживать следующий код:

int a(a);  // no other a is visible, we mean initialization of a with itself 

Visual Studio 2013 не поддерживает его (необъявленный идентификатор), однако некоторые компиляторы компилируют его.

И вот наша дилемма: для возможной проверки выражения нам необходимо распорядиться информацией о a (включая его тип), поскольку она может быть частью выражения, однако есть и другая возможность, что она является функцией, в этом случае мы только выражение типа построения (и символ a, вероятно, еще не находится в таблице символов).

Я думаю, что рекурсивный парсер спуска, скорее всего, столкнется с этой дилеммой, поскольку он является очень структурным по своей природе, и поддержка этого конкретного случая будет похожа на специальный «костыль» (выражение типа строится, когда мы сталкиваемся с a внутри (), и мы находимся на определенном уровне рекурсии). Поэтому я предполагаю, что визуальная студия использует рекурсивную стратегию спуска.

Итак, имея в виду, стоит ли прилагать усилия автора-писателя и оправдан ли поддерживать такой код (особенно при использовании рекурсивного спуска)?

Answer 1

[basic.scope.pdecl]

точка декларации для имени сразу после его полного описателя (пункт 8) и до его инициализатора (если таковые имеются), за исключением случаев, , указанный ниже. [Пример:

unsigned char x = 12; 
{ unsigned char x = x; } 

Здесь вторые й инициализируются со своим собственным (неопределенным) значением. -end пример]

В int a(a);, описатель заканчивается на открытии фигурной скобкой инициализаторе, да так, составители должны позволить этому (GCC услужливо дает -Wuninitialized предупреждение, если это автоматическая переменная).