避免在默认模板中使用尖括号

Question

如果我有一个默认模板类型的模板类，我必须编写模板尖括号。有没有可能避免这种情况？

示例：

template <typename T=int>
class tt {
public:
  T get() { return 5; }
};

...

tt<> t;  // how to avoid <>
std::cout << t.get() << std::endl;

到目前为止，我都是通过一个单独的名称空间和重新定义类来实现这一点的：

namespace detail_ {
template <typename T=int>
class tt {
public:
  T get() { return 5; }
};
}

class tt : public detail_::tt {}

...

tt t;
std::cout << t.get() << std::endl;

问题是，如果我想将类与其他类型一起使用，我必须检查名称空间detail_。有没有另一种解决方案，我还没有看到。

Answer 1

自C17以来，由于类模板参数的推导，情况发生了变化。

tt和tt

无论如何，在像您的示例中这样的简单场景中，C17假设您的意思和

进一步详情：

• 模板默认参数（特别是https://stackoverflow.com/a/50970942/3235496);

Answer 2

你可以使用typedef...

typedef tt<> tt_;

然后简单地使用tt\uu。

Answer 3

... 如果我想使用这个类。。。

这是一个常见的混淆来源。类模板不是类，而是生成类的模板。角括号告诉编译器，你想要用给定的模板参数从类模板中生成一个类，没有角括号，你所拥有的就是一个模板。

template <typename T = int>
struct TemplateClass { /*...*/ };

template <template <typename>  class T>
void f() {
   T<int> t; // ...
}
template <typename T>
void g() {
   T t; // ...
}

f<TemplateClass>();     // Accepts a template with a single type argument
g<TemplateClass<> >();  // Accepts a type, that can be generated out of the template

该语言不允许在同一名称空间中同时存在具有相同名称的模板和类型，因此答案是不能这样做。您可以创建类型别名，但必须为其指定不同的名称。