c++ - 类内部模板化类的 Typedef

Question

我想知道为什么下面的代码有效:

template <class T>
class A {
  public:
  typedef A* Pointer;
  typedef A<T>* OtherPointer;
};

int main()
{
  A<double> a;
  A<double>::Pointer b = &a;
  A<double>::OtherPointer c = &a;
  std::cout << b << " " << c << std::endl;
}

OtherPointer 的语法对我来说看起来合乎逻辑。我想知道关于 Pointer 的那个。类的名称是否隐含在类定义中的模板化类型？如果是这样，为什么其他语法也有效？

Answer 1

之所以有效，是因为在类模板中 A<T> , 类型名称 A是完整描述类型的别名 A<T> .您上面的模板定义等同于:

template <class T>
class A {
  public:
  typedef A<T>* Pointer;
  typedef A<T>* OtherPointer;
};

当你这样写的时候可以看到，A<T>::Pointer和 A<T>::OtherPointer是 typedef s 表示同一类型(即 A<T> 本身)。因此，您的示例编译成功。

其他人可能能够引用标准的相关部分。应该说我知道这是一个特别的领域，我过去曾在一些较旧的编译器中看到过错误，其中 A不被视为等同于 A<T>在模板定义中。