c++ - 为什么函数范围内不允许类前向声明​​？

Question

下面的代码工作正常:

template<typename T> class X {};
class A;  // line-1
void foo();  // line-2
int main ()
{
  X<A> vA;
}
class A {};
void foo() {}

让line-1和line-2移动到main()里面.该功能不受影响，但 class A前向声明不起作用并给出 compiler error :

error: template argument for template<class T> class X uses local type main()::A

Answer 1

您可以观察到正在发生的事情，因为在 C++ 中，您可以在函数内部定义类。 所以，如果你放置 class A;在 main ，您在此函数范围内(即 class main::A )而不是全局范围内( class A )转发声明一个类。

因此，您最终使用未定义类 ( X<main::A>) 的模板参数声明了一个 X 类型的对象。