C++17完整导引-模板特性之字符串字面量模板参数

template<const char* str>
class Message {
    ...
};

extern const char hello[] = "Hello World!"; // 外部链接
const char hello11[] = "Hello World!";      // 内部链接

void foo()
{
    Message<hello> msg;     // OK（所有C++标准）
    Message<hello11> msg11; // 自从C++11起OK

    static const char hello17[] = "Hello World!";   // 无链接
    Message<hello17> msg17; // 自从C++17起OK

    Message<"hi"> msgError; // ERROR
}

Message<hello17> msg17; 在c++11会有如下报错

source>:17:20: error: '& hello17' is not a valid template argument of type 'const char*' because 'hello17' has no linkage
   17 |     Message<hello17> msg17;                        // 自从C++17起OK
      |                    ^

也就是说自从C++17起你仍然需要至少两行才能把字符串字面量传给一个模板参数。
例如 Message<"hi"> msgError;会报如下错误:

<source>:19:17: error: '"hi"' is not a valid template argument for type 'const char*' because string literals can never be used in this context
   19 |     Message<"hi"> msgError;  // ERROR
      |                 ^

然而，你现在可以把第一行写在和实例化代码相同的作用域内。

这个特性还解决了一个不幸的约束：自从C++11起可以把一个指针作为模板实参：

template<int* p> struct A {
};

int num;
A<&num> a;  // 自从C++11起OK

但不能用一个返回指针的编译期函数作为模板实参，然而现在可以了：

int num;
...
constexpr int* pNum() {
    return #
}
A<pNum()> b;    // C++17之前ERROR，现在OK