扩展C++ string_view是否属于未定义行为？场景与标准解析

这段代码的行为是完全定义良好的，我们可以在满足题目条件的前提下安全地扩展string_view，下面来一步步解释原因：

先明确前提条件 #

题目中已经给出：

• sv是指向std::string s某一部分的std::string_view
• sv.data() + sv.size() < s.data() + s.size()——也就是说sv的末尾之后，原字符串s还有至少一个字符的剩余空间（包括尾后指针位置）

结合规则判断 #

你提到的规则是对的：

若[s, s+count)不是有效范围，则行为未定义（即使构造函数可能不会访问该范围的任何元素）

这里的关键是理解什么是有效范围：对于std::string来说，它的内存是一段连续的已分配区域，合法的有效范围是从s.data()（首字符地址）到s.data() + s.size()（尾后指针，不指向任何有效字符，但属于合法的指针位置）的左闭右开区间。只要构造string_view时指定的[ptr, ptr+count)完全落在这个合法区间内，就满足“有效范围”的要求。

回到题目中的构造代码 #

我们要构造的sv1的范围是[sv.data(), sv.data() + sv.size() + 1)：
根据前提条件sv.data() + sv.size() < s.data() + s.size()，可以推导出sv.data() + sv.size() + 1 <= s.data() + s.size()——也就是说这个范围的右端点刚好不超过原字符串s的尾后指针位置，完全落在s的合法内存区间内。

所以这个范围是有效的，构造sv1的行为是定义良好的，相当于把原sv向后扩展了一个字符（如果sv.data()+sv.size()指向的是s的一个有效字符，那sv1就包含了这个字符；如果刚好是尾后指针，那sv1的size比原sv大1，但只要范围合法，string_view就允许这种情况）。

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