为何指针参数无法作为非类型模板参数被接受？

首先先给你吃个定心丸：你写的constexpr const char* pString = "hello";完全是正确的！我来拆解一下：

• constexpr管的是指针变量pString本身，意思是这个指针的地址值在编译期就确定了，是个常量；
• char前面的const是说指针指向的字符不能被修改，比如你要是写*pString = 'x';编译器肯定会拦你。

接下来咱们聊聊你遇到的核心问题——为啥int*版本能跑，const char*就报错？这得从C++非类型模板参数的规则说起。

1. 为啥int*版本没问题？ #

你的pToInt是constexpr int* = nullptr;，nullptr是标准认可的空指针常量表达式，完全符合非类型模板参数的要求，所以TakeStaticIntPointer<pToInt>能正常编译，没毛病。

2. const char*报错的关键原因 #

C++对指针类型的非类型模板参数有两个硬要求：

• 实参必须是地址常量表达式（你的pString是constexpr指针，这一条满足）；
• 指针指向的对象必须有静态存储期，并且得有内部或外部链接。

而字符串字面量（比如"hello"）虽然是静态存储期的，但它是无链接的——简单说就是，不同文件里写的"hello"可能是两个完全独立的对象，地址不一定一样。你定义的pString指向的就是这个无链接的字符串字面量，所以它不符合模板参数的规则，编译器自然就报错了。

怎么解决这个问题？ #

你需要让指针指向一个有链接的静态存储期对象，比如定义一个静态的const字符数组就行：

// 定义一个带内部链接的静态字符数组
static constexpr const char str[] = "hello";
constexpr const char* pString = str;

template <const char* pToString> class TakeStaticStringPointer {};

int main() {
    TakeStaticStringPointer<pString> myFoo2; // 现在编译完全没问题
    // 甚至可以直接用数组名当实参，数组会自动转成指针
    TakeStaticStringPointer<str> myFoo3;
}

这里的str是有内部链接的静态数组，它的地址是合法的常量表达式，完美符合模板参数的要求。

能不能直接用字符串字面量当模板实参？ #

在C++17及更早的版本里，不行——因为字符串字面量是无链接的，不符合指针类型非模板参数的规则。

但从C++20开始，标准支持了字符串字面量作为非类型模板参数，不过得用数组类型的模板参数，而不是指针。比如：

// C++20及以上可用
template <const char str[]>
class TakeLiteralString {};

int main() {
    TakeLiteralString<"hello"> myFoo; // 合法！
}

或者你也可以用模板推导来处理字符串字面量，写法更灵活：

#include <cstddef>

template <std::size_t N>
class TakeLiteral {
public:
    constexpr TakeLiteral(const char (&literal)[N]) {
        // 这里可以在编译期处理这个字符串字面量
    }
};

int main() {
    TakeLiteral<"hello"> obj; // 编译器会自动推导N为6（包含末尾的'\0'）
}

内容的提问来源于stack exchange，提问作者Zebrafish