c++ - 在 C++ 模板类中，我可以使用相同的名称对模板参数进行类型定义吗？

Question

如果我有一个模板类:

template<typename Layout>
class LayoutHandler : Handler {
};

并且我想将参数 Layout 公开给类的用户。然后:

template<typename Layout>
class LayoutHandler : Handler {
public:
    typedef Layout Layout; // using the same name
};

VS2012 可以编译这段代码，并给出预期的结果。 (我使用 std::is_same 来检查它。)这在标准 C++03 或 C++11 中是否允许？

Answer 1

在 C++11 中是不允许的。

typedef 是一个声明。 (见 7.1.3 节)

template 参数不能在其范围内(包括嵌套范围)重新声明。 (见 14.6.1.6 节)

C++11 draft standard n3242