模板非类型参数？

Question

看看这段代码:

#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更改为:

std :: string s ="abc";

然后它编译并且它起作用,但不是违反标准的,因为现在s不再是"常量表达式".

有人可以对此有所了解吗？我在这里误解了什么吗？

Answer 1

替换static为extern:

extern const std::string s = "abc";

原因是在C++ 98/C++ 03中,不允许带有内部链接的引用作为模板参数.

另外请注意,只是删除static 仅会不会,如果工作const是存在的,因为const在命名空间级别声明的对象具有内部链接(除非它被声明extern).所以你需要使用extern如上所示.

Answer 2

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

您的编译器可能只编译为C++ 98(或03)标准,而不是C++ 11.