std::string_view为何支持constexpr？两种常量字符串写法差异解析

为什么std::string_view能被constexpr修饰？ #

你之前的误解是核心——std::string_view根本不是“动态对象”，也不会做动态内存分配。它本质就是个轻量级结构体，只包含两个成员：指向字符序列的指针，以及序列的长度。从C++17开始，string_view的构造函数、size()等核心成员函数都被标记为constexpr，完全可以在编译期完成初始化和成员调用，不需要任何运行时操作。

两种写法的核心差异 #

除了你提到的末尾不含'\0'，两者还有这些关键区别：

• 类型与数据持有方式：
  • Str1是const char[]类型，它本身就是字符数据的存储载体，编译期会把字符串字面量"qwerty"连同末尾的'\0'一起分配到只读数据段，Str1直接绑定这块内存。
  • Str2是std::string_view对象，它不持有任何字符数据，只是引用了字符串字面量"qwerty"的内存区域，仅记录起始地址和有效字符长度（6）。
• 空终止符处理：
  • Str1作为字符数组，sizeof(Str1)返回的是包含末尾'\0'的总字节数（7），所以要减1才能得到有效字符数。
  • Str2的size()直接返回有效字符数（6），因为string_view默认忽略末尾的'\0'（除非你显式构造时包含它）。
• 接口能力：
  • Str1是普通字符数组，编译期能做的操作很有限，大多要依赖C标准库函数（但很多C库函数不能在constexpr上下文使用）。
  • Str2作为string_view，编译期就能调用丰富的字符串操作接口，比如substr()、find()、compare()等，不需要手动处理指针和长度，代码更简洁安全。
• 灵活性：
  • string_view可以指向任意字符序列的片段，比如你能在编译期写出constexpr auto subStr = Str2.substr(1, 3);直接得到"wer"的视图，而字符数组要实现类似功能，要么手动复制新数组，要么用指针截取，复杂度高很多。

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