非类型模板参数（NTTP）的存储时长、生命周期解析及Jason Turner编译期字符串示例的疑问
最近看了Jason Turner的《C++ Weekly - Ep 313 - The constexpr Problem That Took Me 5 Years To Fix!》，里面演示了一套编译期技巧：在编译期构造std::string，再转成std::string_view供运行时使用。核心难点在于std::string依赖new操作，编译期构造的std::string必须在同一个常量表达式上下文里完成对应的delete，没法直接跨表达式复用。
Jason的解决思路是先把std::string的数据拷贝到std::array里，而且全程放在consteval函数中（他提到或许constexpr也能实现，但consteval能更严格地确保编译期执行）。最让我困惑的是，他在视频19分钟左右用非类型模板参数（NTTP） 把std::array的生命周期延长到了函数调用之外——我自己尝试写了个简化示例却跑不通，这就来拆解下问题出在哪。
一、我的简化示例为什么失败？
我写了个极简测试代码，想验证NTTP的静态存储特性：
template <auto Value> consteval const auto& make_static() { return Value; } int main() { [[maybe_unused]] const auto& i = make_static<2>(); // (1) [[maybe_unused]] static const auto& j = make_static<2>(); // (2) [[maybe_unused]] static constexpr auto& k = make_static<2>(); // (3) [[maybe_unused]] constinit static auto& l = make_static<2>(); // (4) return i; }
结果不管哪种写法，编译器都报错，核心问题是make_static<2>()不被认为是合法的常量表达式，且返回的是临时对象的引用——这和我理解的“NTTP对应静态存储对象”完全矛盾。
其实问题出在类型匹配与隐式转换上：
当传递2作为NTTP时，auto Value推导为int类型，但标准规定NTTP对应的模板参数对象是const int类型（拥有静态存储时长）。此时make_static函数返回const auto&（即const int&），但return Value会触发隐式转换：把const int类型的模板参数对象转成int临时量，再返回这个临时量的引用——这自然会导致引用悬空，编译器当然会报错。
如果修改模板参数的const属性，就能解决问题：
// 方案1：模板参数声明为const auto template <const auto Value> consteval const auto& make_static() { return Value; } // 方案2：返回值明确匹配模板参数对象的const类型 template <auto Value> consteval const decltype(Value)& make_static() { return Value; }
这样就不会产生临时量，返回的引用直接绑定到静态存储的模板参数对象上，代码就能正常编译了。
二、Jason Turner的代码为什么能正常工作？
回到Jason的核心代码，先看他的make_static函数：
template <auto Data> consteval const auto &make_static() { return Data; }
他传递的Data是std::array<char, N>类型（由to_right_sized_array(callable)生成），此时：
std::array是字面类型，符合C++20对NTTP的类型要求；- 模板参数对象是
const std::array<char, N>类型，拥有静态存储时长； make_static返回的const auto&正好匹配模板参数对象的类型，没有任何隐式转换，返回的引用直接绑定到这个静态存储的数组对象上。
接着在to_string_view函数中：
constexpr auto &static_data = make_static<to_right_sized_array(callable)>(); return std::string_view{static_data.begin(), static_data.size()};
static_data是constexpr引用，绑定到静态存储的std::array，因此std::string_view指向的数组数据生命周期覆盖整个程序运行期间，完全符合要求。
另外，to_right_sized_array用了consteval，确保它只能在编译期调用，这样to_right_sized_array(callable)的结果是编译期常量，才能合法作为NTTP传递。
三、编译器差异的说明
你提到只有GCC能通过代码，Clang和MSVC有问题，这是因为不同编译器对C++20新特性的实现细节存在差异：
- GCC对NTTP的静态存储对象处理比较宽松，能正确识别
make_static返回的引用指向静态对象； - Clang对
consteval函数返回引用的规则更严格，或者对std::array作为NTTP的处理有细节限制； - MSVC的问题可能是
std::string_view的begin()/size()在常量表达式中的支持不完善，或者对constexpr引用的绑定规则有不同实现。
备注：内容来源于stack exchange，提问作者Oersted
