模板非类型参数

Template non-type parameter?

本文关键字：类型参数      更新时间：2023-10-16

看这段代码:

#include <string>
#include <iostream>
using namespace std;
template <typename T, const T& temp>
void g()
{
    cout << temp << endl;
}
static const std::string s = "abc";
int main() {
    g<string, s>();
}

当我用Visual c++ 2013 11月CTP编译这个时，我得到:

"错误C2970: 'g':模板形参'temp': 's':包含内部链接的对象的表达式不能用作非类型参数"

然而，我在c++ 14标准(14.3.2 [temp.arg.nontype])中读到以下内容:

"一个常量表达式(5.19)，指定具有静态存储持续时间和外部或内部链接的完整对象的地址，或者"

我将其解释为"具有静态存储时间和外部链接的常量表达式"或"具有静态存储时间和内部链接的常量表达式"。在我上面的例子中，变量s是不是一个"具有静态存储持续时间和内部链接的常量表达式"?

当我把s改成:

std::string s = "abc";

然后它编译并工作，但这不违反标准，因为现在s不再是一个"常量表达式"了。

有人能解释一下吗?我是不是误解了什么?

将static替换为extern:

extern const std::string s = "abc";
原因是在c++ 98/c++ 03中，不允许带有内部链接的引用作为模板参数。

还请注意，如果const存在，只是删除static 仅将不工作，因为在命名空间级别声明的const对象具有内部链接(除非声明为extern)。因此，您需要使用如上所示的extern

在c++ 98中，语言是(从14.3.2/1开始):the name of an object or function with external linkage...。允许内部链接的更改包含在c++ 11中。

您的编译器可能只按照c++ 98(或03)标准编译，而不是c++ 11。

相关文章：