为何constexpr会导致该语句中auto类型推导失败？

你的代码在MSVC和GCC下报错，核心原因是C++标准版本的限制：

• 尽管std::initializer_list从C17开始就提供了constexpr构造函数，但在C17及更早的标准中，你不能直接用花括号列表初始化一个constexpr的std::initializer_list对象。

  具体来说，当你写auto nnn = { ... }时，编译器会隐式创建一个临时的const char*数组，然后让initializer_list指向这个数组。但在C++17的常量表达式规则里，constexpr变量要求它引用的对象必须具备静态存储期，或者是在常量表达式内部创建且生命周期能被正确保留的对象——而这个隐式生成的临时数组不符合要求，所以编译器会报错“expression must have a constant value”。

• 到了C20，标准放宽了这一限制，允许constexpr initializer_list引用这种隐式临时数组，所以只要你把编译器的标准版本切换到C20（比如GCC用-std=c++20，MSVC用/std:c++20），这段代码就能正常编译通过。

至于不用constexpr时能推导出std::initializer_list<const char*>，这是C++11及以后的常规规则，和编译期求值的constexpr限制无关——此时initializer_list指向的临时数组会在当前作用域结束前销毁，运行期使用是没问题的。

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