std::string_view不能直接作NTTP，因其内部指针在编译期未必为常量表达式，且C++20禁止非静态存储期对象地址作NTTP；需用std::array或char...等可NTTP类型间接实现。
为什么 std::string_view 不能直接作 NTTP？
因为 C++20 的非类型模板参数（NTTP）对类型有严格限制：必须是字面量类型（literal type），且其值需在编译期完全确定。虽然 std::string_view 是字面量类型，但它内部包含指针和长度两个成员——而指针的地址值在模板实例化时未必能被编译器视为“常量表达式”，尤其当指向字符串字面量以外的内存时。更关键的是，C++20 标准明确禁止将指针类型的非静态存储期对象地址作为 NTTP（比如局部数组、std::array 的 data() 返回值），这导致很多看似合理的写法直接编译失败。
用固定大小的字符数组模板参数绕过限制
核心思路是把字符串内容“展开”为模板参数列表，用 char... 或 std::array<char n></char> 作为 NTTP。C++20 允许 std::array 类型作为 NTTP（前提是元素类型可 NTTP，且数组大小是常量表达式），这是最稳妥的路径。
常见实操方式：
- 定义模板：
template<:array n> Str> struct str_holder {};</:array>—— 注意这里N必须是编译期常量，且Str必须是字面量（如由字符串字面量推导而来） - 推导辅助函数：
template<size_t n> consteval auto make_str(const char (&s)[N]) { return std::array<char n>{s}; }</char></size_t>，然后写str_holder<make_str> x;</make_str> - 注意：不能直接传
"hello"给模板，因为字符串字面量类型是const char[6]，不是std::array；必须经函数转换 - 若用
char...参数包（如template<char... cs> struct str_lit {};</char...>），虽可行但无法直接获取长度，且调用时需手动展开（str_lit{};），实用性低
constexpr 构造函数 + std::array 是目前最实用的组合
真正能落地的字符串 NTTP 封装，往往依赖一个带 constexpr 构造函数的包装类型，内部持有 std::array<char n></char> 并提供 operator std::string_view() 等便利接口。例如：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
template<size_t N>
struct compile_time_string {
std::array<char, N> data;
constexpr compile_time_string(const char (&s)[N]) {
for (size_t i = 0; i < N; ++i) data[i] = s[i];
}
constexpr operator std::string_view() const {
return std::string_view(data.data(), N - 1); // 去掉 '\0'
}
};然后这样使用：template<compile_time_string s> struct logger {};</compile_time_string> —— 这里 S 就是合法 NTTP。但要注意：compile_time_string 必须定义为字面量类型（所有成员 public + trivial destructor + constexpr ctor），且构造实参必须是字符串字面量（不能是变量或运行时计算结果）。
容易踩的坑：隐式转换、生命周期和编译器支持差异
几个高频翻车点：
- 试图用
std::string_view{"abc"}直接当模板实参 → 编译失败，因为初始化器不是字面量表达式（即使内容是字面量，std::string_view构造函数在 C++20 中仍不被视为 constexpr 友好） - 在函数内定义
constexpr char buf[] = "test";然后传给模板 → 多数编译器（如 GCC 12+）允许，但 Clang 15 以前会报错，因认为栈上数组地址不可用于 NTTP；建议统一用字符串字面量直接推导 - 忘记字符串末尾的
\0占用数组空间："ab"是const char[3]，不是[2]，否则std::array<char></char>无法容纳 - MSVC 对 NTTP 的
std::array支持较晚（VS 2019 16.10+ 才稳定），早期版本可能静默退化为模板参数推导失败
实际项目中，如果只是需要编译期字符串做标签或日志前缀，优先走 std::array + 辅助函数推导；若涉及复杂操作（如编译期拼接、查找），就得引入 consteval 函数配合字符序列处理，那已经超出 NTTP 本身范畴了。
