C 11声明`:: T i`？

以下C 11翻译单位是否形成良好？

typedef int T;
::T i;

如果是这样,它似乎不符合标准语法.

简单类型说明符应该匹配:: T,但语法是：

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

而一个嵌套的名称说明符不能匹配:: alone,所以simple-type-specifier不能匹配:: T.

这是标准缺陷吗？

解决方法

这是规格缺陷.它是固定在最新的草稿,N3691(PDF),其中嵌套的名称说明符是：

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

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