C++ 11声明`:: T i`？

Question

以下C++ 11翻译单元是否格式良好？

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.

这是标准缺陷吗？

Answer 1

这是规格缺陷.它在最新的草案N3691(PDF)中修复,其中嵌套名称说明符是:

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

(在C++ 11中,缺少第一个生产,嵌套名称说明符 - > ::.)