typedef和具有相同名称的模板参数

Question

为什么这种情况不正确（这是合乎逻辑的）

template <typename T>
struct Der: public Base
{
    typedef int T;
    T val;
};

，但那个案子是对的吗？

struct Base
{
    typedef int T;
};

template <typename T>
struct Der: public Base
{
    T val;
};

标准14.6.1 / 7说：

在类模板的定义中或在模板定义之外出现的这种模板的成员的定义中，对于不依赖于模板参数的每个基类（14.6.2），如果名称是基类或基类成员的名称与template-parameter的名称相同，基类名称或成员名称隐藏模板参数名称（3.3.7）。

为什么这里不含糊？

Answer 1

根据[temp.local] / 6，第一个示例不正确：

模板参数不得在其范围内重新声明（包括嵌套范围）。

但是，在

template <typename T>
struct Der: public Base
{
    T val;
};

T由继承自Base的名称隐藏 - 由引用指定。

[..] 如果基类或基类的一个成员的名称的名称是相同的作为模板的参数的名称，基类名或成员名隐藏模板参数名（3.3.7 ） 。

也就是说，成员val的类型为int 。 演示 。

Answer 2

通常，标准试图确保给定范围中的类型的含义是相同的。

如果我们假装允许typedef，那么考虑下面的val1 ， val2和val3的类型？

template <typename T>
struct Der: public Base
{
    void f1() {
      T val1;      // What is the type of 'val1'?
    }

    T val2;        // What is the type of 'val2'?

    typedef int T;

    T val3;        // What is the type of 'val3'?
};

具有模板参数类型T的唯一变量是'val2'。

这是因为该标准要求该类的所有成员都在f1 “范围内”。 这就是成员函数可以引用稍后在类体中定义的成员变量的原因。

使用typedef也可以证明同样的问题：

typedef int T;

struct S
{
  T x;
  typedef float T;
  T y;
};

同样，如果这是合法的那么T用于申报x将参考::T和T用于y要提到的typedef S::T 。

这符合ISO 3.3.7 / 1的标准：

以下规则描述了在类中声明的名称范围。

...

2）在S类中使用的名称N应在其上下文中引用相同的声明，并在完成的S范围内重新评估。违反此规则不需要诊断。

Answer 3

因为第二个是不明确的：

你可能不关心或者知道有该typedev int T的超类，但是你刚才介绍T作为模板参数，这清楚地表明，你正在使用时，指的是它T的Der 。