C 11使用-declaration允许/需要“typename”吗？

Question

以下代码在g和clang中正确编译：

template<typename T>
struct foo
{
    class iterator;
    using bar = foo::iterator;
};

int main() {}

然而，MSVC 2013给出了以下错误:

foo.cpp(9): error C2061: syntax error : identifier 'iterator'
          foo.cpp(10) : see reference to class template instantiation 'foo<T>' being compiled
foo.cpp(9): error C2238: unexpected token(s) preceding ';'

如果我将该行更改为：

using bar = typename foo::iterator;

然后三个编译器都编译成功了。原始版本正确吗？（即这是MSVC错误，还是gcc/clang扩展）

Answer 1

从标准：

14.6.2.1 依赖类型 [临时类型]

1如果是，则名称指的是当前实例化

__在类模板、类模板的嵌套类、类模板的成员或类模板的嵌套类的成员的定义中，类模板或嵌套类的injected-class-name(子句9)，

名称 foo 指的是当前的实例化，这是显而易见的。

由于迭代器在模板的定义中被声明为嵌套类，因此迭代器引用当前 foo 实例化中的名称。foo：：迭代器与迭代器相同。

using bar = foo::iterator;

以及

using bar = iterator;

应该管用。

在我看来，你似乎遇到了MSVC的缺陷。

Answer 2

[温度资源]/p3:

当限定id旨在引用不是当前实例化(14.6.2.1)成员的类型，并且其嵌套名称说明符引用依赖类型时，它应该以关键字< code>typename作为前缀，形成一个typename说明符。

[临时部门类型]/p1:

如果是，则名称引用当前的实例化

• 在类模板的定义中，类模板的嵌套类、类模板的成员或类模板的嵌套类的成员，类模板或嵌套类的注入类名称（第9条），
• […]

[temp.dep.type]/p4：

如果名称是当前实例化的成员，则为

• 一个非限定名称，在查找时，它至少引用一个类的一个成员，该成员是当前实例化或其非依赖基类。[ 注意：这只能在类模板定义所包含的作用域中查找名称时发生。
• 一个限定 id，其中嵌套名称说明符引用当前实例化，并且在查找时，至少引用作为当前实例化的类的一个成员或其非依赖基类。[ 注意：如果未找到此类成员，并且当前实例化具有任何依赖基类，则限定 ID 是未知专用化的成员。
• [...]

foo 是当前实例化。foo：：迭代器是一个限定id，其中嵌套名称说明符（foo：：）引用当前实例化，并且当查找时，“引用类的至少一个成员是当前实例化或其非依赖基类”;因此，它是当前实例化的成员。因此，[温度.res]/p3 不适用，并且不需要类型名。您仍然可以添加一个 - 或者只是直接使用不合格的迭代器。