为什么不能在C++模板参数中定义新类型?

Boost.Variant 。我希望能够在模板参数中定义新类型(构造函数),但我遇到了一个错误。我使用自己的类型和可变模板,但我会使用Boost的 variant 这里为了简单起见。为什么不是这样的:

typedef variant <
    class Foo { ... },
    class Bar { ... }
> Baz;

允许在您使用它的地方定义一个新类型,例如:

struct Foo { ... } bar;

Foo ,以及一个变量 bar 富 。如果允许这样的事情,为什么它不适用于模板?