c++ - typedef Foo<> Foo 编译但它有效吗？

Question

以下代码在 VS2008 和 GCC 4.8.2 中编译

template<typename T=void>
struct Foo
{
};

// typedef Foo<> Foo;   // Does *NOT* compile

int main()
{
    typedef Foo<> Foo;
    Foo f1;

   // Foo<char> f2;     // Does *NOT* compile
   //::Foo<char> f3;    // COMPILES
}

有效吗？

Answer 1

按照 C++11 3.3.10/1:

A name can be hidden by an explicit declaration of that same name in a nested declarative region or derived class.

(强调我的)

这就是为什么模板名称 Foo 可以被 main() 内的 typedef 名称 Foo 隐藏(不同的范围)，但不能在与声明模板名称相同的范围内。

至于为什么这种类似的情况是合法的:

struct Foo
{
};

typedef Foo Foo;   // *DOES* compile

这是 7.1.3/3 明确允许的:

In a given non-class scope, a typedef specifier can be used to redefine the name of any type declared in that scope to refer to the type to which it already refers.