std::initializer_list<std::string_view>常量初始化编译差异是否合规？

先贴出你提到的测试代码：

#include <initializer_list>
#include <string_view>
inline constexpr std::initializer_list<std::string_view> s = { "" };
int main() {}

你认为Clang的处理正确是完全没问题的，GCC 11的报错属于不符合标准的编译器行为，具体原因如下：

1. std::string_view的constexpr构造合法
   C++17及后续标准明确规定，std::string_view的constexpr basic_string_view(const char*)构造函数属于合法的常量表达式操作——这个构造仅存储传入字符串的指针和长度，没有任何修改性操作，完全满足常量表达式的要求。

2. 符合[dcl.init.list/5]的初始化规则
   当用初始化列表初始化std::initializer_list<T>时，编译器会生成一个临时数组，数组元素由初始化列表中的对应元素完成初始化，随后std::initializer_list会指向这个数组。这里的""是静态存储期的字符串字面量，用它构造std::string_view的过程是合法的常量表达式，整个数组初始化完全符合constexpr的要求，根本不存在所谓“修改临时对象”的操作。

GCC 11的这个报错是一个已知的编译器bug，后续版本（比如GCC 12及以上）已经修复了该问题，能够正常编译这段代码。

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