Декларация C++ 11 `:: T i`?

Является ли следующая единица перевода C++ 11 хорошо сформированной?Декларация C++ 11 `:: T i`?

typedef int T; 
::T i;

Если это так, похоже, не соответствует стандартной грамматике.

simple-type-specifier должен соответствовать ::T, но грамматика:

simple-type-specifier: 
    nested-name-specifier_opt type-name

и nested-name-specifier может не совпадать :: в одиночку, так simple-type-specifier может не совпадать ::T.

Является ли это стандартным дефектом?

источник

2013-08-14 Andrew Tomazos

Извините, если это неверно, но не ':: identifier' ссылается на (квалифицированный)' идентификатор' в глобальном пространстве имен? –

«' inest-name-specifier' не может совпадать с '::' "- так как вы уверены в этом, вы должны включить объяснение, почему оно не может совпадать в вашем вопросе. –

@ H2CO3 Вы правы, сэр! – nijansen

Это дефект спецификации. Она фиксируется в последнем проекте, N3691 (PDF), где вложенное имя спецификатор является:

nested-name-specifier: 
    :: 
    type-name :: 
    namespace-name :: 
    decltype-specifier :: 
    nested-name-specifier identifier :: 
    nested-name-specifier templateopt simple-template-id ::

(В C++ 11, первое производство, вложенного имя-спецификатор ->::, отсутствует)

источник

2013-08-14 17:13:40

Привет, Джеймс, мы работаем с N3485, так что это объясняет это. Благодарю. –

Следует также отметить, что исправление «id-id» также было выполнено исправлением, так как оно больше не нуждается в особых случаях для одиночных префиксов '::', поэтому эти случаи были удалены. –

Таким образом, в дополнение к ответ, просто как разъяснение:. ::identifier относится к (квалифицированным) идентификатор в глобальном пространстве имен. Итак, да, этот код действительно хорошо сформирован.

источник

2013-08-14 17:15:30

Декларация C++ 11 `:: T i`?

ответ

Смежные вопросы