递归typedef

你所做的相当于:

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

这是不合法的。

如果bar是作为foo模板参数的类,则它不能是typedefed Foo<Bar> 同时。
您将重新声明BAR,首先作为独立类,然后作为模板实例化,但甚至 typedef Foo<Whatever> Bar; 如果您已经将bar声明为类,则不会工作。

不,这是不允许的。