c++ - 为什么速记符号在课外不起作用？

Question

不知何故我无法理解这个answer .

当成员函数在类外定义时，为什么我们不能有一个简单的嵌套名称说明符(例如 Foo::Foo(){} 而不是有一个更详细 Foo<T>::Foo(){})，即使在模板声明在成员函数定义之前重复。

Answer 1

微妙之处在于

template<class T>
int VisitedSet::getSize() {
   return vec.size();
}

C++ 编译器还不知道什么 T适用于。当您在 VisitedSet 的类定义中工作时，您可以使用 VisitedSet::...明确，但在外部不起作用。

当您在类定义之外时，语法要求您告诉编译器模板参数使用的是什么 tempate<class T>语法，然后告诉编译器它们适用的位置。

在这种情况下，这可能看起来不明确，但请考虑以下嵌套情况:

template<class T>
class Foo {
   template<class R>
   class Bar {
      int getSize();
   };
};

那么你需要具体说明的原因就更明显了:

template<class X, class Y>
int Foo<Y>::Bar<X>::getSize() { ...

和

template<class A, class B>
int Foo<A>::Bar<B>::getSize() { ...

都有效。

这就是为什么你需要

template<class T>
int VisitedSet<T>::getSize() {
   return vec.size();
}

即使在您链接到的答案中显示的更简单的情况下也是如此。