具有一个参数和默认值的类模板

Question

我一定错过了一些明显的东西，因为这真的让我大吃一惊。

以下代码给出了错误：error:a之前缺少模板参数

template<int n=0>
class A {};

...
A a;
...

是否有理由必须实例化一个带有1个默认值的参数的模板，并为其指定一个值？

有人能引用标准吗？

Answer 1

如果伪装对象的性质很重要，可能的解决方法：

// the template class
template<int n=0>
class ReallyA {};

// an alias for the common case    
using A = ReallyA<0>;

A a;

例如，标准库就是这样定义std:：string。

using string = basic_string<char>;

Answer 2

A仍然是一个模板类。但是您可以省略模板参数：

template<int n=0>
class A {};

int main() {
    A<> a;
  // ^^ 
    return 0;
}

观看现场演示。

我想相关的标准部分在这里

...
3可以为函数模板、类模板、类模板的成员或成员模板声明显式专门化。模板引入了显式专门化声明

 template<class T = int> struct A {
     static int x;
 };
 template<class U> void g(U) { }
 template<> struct A<double> { }; // specialize for T == double
 template<> struct A<> { }; // specialize for T == int
 template<> void g(char) { } // specialize for U == char
 // U is deduced from the parameter type
 template<> void g<int>(int) { } // specialize for U == int
 template<> int A<char>::x = 0; // specialize for T == char
 template<class T = int> struct B {
     static int x;
 };
 template<> int B<>::x = 1; // specialize for T == int

-[结束示例]

^1）_{对不起，我找不到更好的标准引用/示例。它没有完全涵盖OP的情况，但至少说明了同样的情况，模板仍然需要}