递归类型定义

Question

允许以下行为吗？

typedef Foo<Bar> Bar;

我的编译器抱怨“class Bar”之前有一个声明为“class Bar”。

Answer 1

你正在做的事情相当于：

struct A {};
struct B {};
typedef A B;

这毫不奇怪是不合法的。

Answer 2

如果 Bar 是作为 Foo 的模板参数的类，则它不能同时是类型定义的 Foo。
您将重新声明 Bar，首先作为独立类，然后作为模板实例化，但甚至 typedef Foo也可以重新声明。如果您已经将 Bar 声明为类，则 Bar; 将不起作用。

Answer 3

不，这是不允许的。