C++23是否新增std::string构造函数支持std::array<char,N>？相关编译问题咨询

核心问题解答 #

1. C++23是否为std::string新增了接受std::array<char,N>的构造函数？
   没有直接新增。但C++23通过P1989R2提案扩展了std::basic_string_view的构造能力，使其可以从任何满足contiguous_range概念的类型（包括std::array）构造。而std::string本身早已存在接受std::string_view的构造函数，因此std::array<char,N>可以先隐式转换为std::string_view，再被std::string的构造函数接受，最终实现代码的编译。

2. 为什么C++20模式下无法编译？
   C++20中std::basic_string_view的构造函数不支持直接从std::array构造，因为当时还没有引入基于contiguous_range的范围构造逻辑，因此std::array<char,N>无法隐式转换为std::string_view，也没有其他匹配的std::string构造函数，导致编译失败。

3. 测试代码的输出是否正常？
   这是符合标准的正常行为，不是编译器bug。

• std::string接受std::string_view的构造函数，会完整复制string_view所覆盖的所有字符，长度等于string_view的size()（也就是原std::array的大小3）。
• 当用std::cout输出字符串时，operator<<会在遇到第一个空字符'\0'时停止输出，但这只是输出行为，并不改变std::string内部存储的字符数量和长度。因此会出现显示'ab'但size()为3的现象。

关键细节说明 #

• P1989R2的核心是让std::basic_string_view支持从连续范围（contiguous range）构造，std::array满足连续范围的概念，因此可以被隐式转换为std::string_view。
• 这种转换不会处理空终止符，因为std::string_view是基于范围的视图，不依赖C风格字符串的空终止规则。如果你的代码依赖空终止符来确定字符串长度，直接用std::array构造std::string就会出现边缘案例问题——此时应该显式传递指针和长度，或者使用std::string(x.data())（但这样会在第一个空字符处截断）。

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