typedef 具有所有默认参数的模板

Question

我声明一个模板类，其中所有参数都具有默认参数，例如：

template<typename TYPE = int>
class Foo {};

那么以下两个是等效的：

Foo<int> one;
Foo<> two;

但是，我不允许这样做：

Foo three;

是否可以使用 typedef 来实现这一点名称相同但没有括号，如下所示：

typedef Foo<> Foo;

Answer 1

我做了如下的事情，不知道你是否喜欢：

template<typename TYPE = int>
class basic_Foo {};

typedef basic_Foo<int> Foo;

Answer 2

你不能用不同的类型重新声明一个符号，所以无论你能做什么都不会像你期望的那样工作。
如果您想实现此目的，请使用不同的名称作为别名：

typedef Foo<> Foo_;

Answer 3

如果声明 typedef Foo<> Foo; 是允许的，其后是名称
无法将 Foo 指定为模板。
即，以下内容无效。

template< template< class > class > struct A {...};
A< Foo > a; // error

虽然上面的 typedef 在实践中是不允许的，
如果您仍然需要将 Foo 编写为 Foo<>，如下所示的宏
就会达到目的。

#define Foo Foo<>

Answer 4

typedef Foo<> Foo;

给出：

prog.cpp:4: error: ‘typedef class Foo<int> Foo’ redeclared as different kind of symbol
prog.cpp:2: error: previous declaration of ‘template<class TYPE> class Foo’

该错误几乎说明了问题所在。编译器将 Foo 视为被重新声明。

但是，这应该编译并工作：

template<typename TYPE = int> class Foo {};

typedef Foo<> FooClone;

int main()
{
   Foo<int> one;
   Foo<> two;
   FooClone three;

   return 0;
}

Answer 5

不可以。尽管您可以为 class 声明与 class 同名的 typedef，因为您可以使用 typedef 重新定义名称引用它已经引用的类型。

typedef class A A;

或者如果 A 已声明为类：

typedef A A;

您不能使用模板的名称来执行此操作（模板的名称不是类的名称），您必须给它一个不同的名称。

typedef Foo<> Bar;

Answer 6

不幸的是，不能，因为 Foo 已经是类模板本身的名称，因此不能是同一命名空间中的任何其他名称。