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

Avoid angle brackets in default template

本文关键字：默认      更新时间：2023-10-16

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

的例子:

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_。是否有其他的解决方案，我还没有看到

…如果我想使用类

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

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

语言不允许模板和具有相同名称的类型在同一名称空间中共存，因此答案是不能这样做。你可以创建一个类型别名，但是你必须给它一个不同的名字。

可以使用typedef…

typedef tt<> tt_;

然后直接使用tt_

从c++ 17开始，由于类模板的参数演绎，情况发生了变化。

tt和tt<>不是同一件事:类型和类模板不同，继续区别对待。

无论如何，在像你的例子中的一个简单的场景中，c++ 17假定你的意思和<>不再需要了。

更多细节:

  • 模板默认参数(特别是https://stackoverflow.com/a/50970942/3235496);
  • 为什么<>当指定一个模板类有默认值的所有模板参数时需要?
相关文章：