从空std::vector<char>构造std::string_view是否合法？

你给出的显式传入长度参数构造std::string_view的写法完全合法，不存在未定义行为（UB）。

1. 空std::vector的data()返回值满足标准约束：当v.size() == 0时，v.data()返回的指针不需要指向可解引用的合法内存，但该指针本身是合法值，可以参与指针运算、比较操作，且[v.data(), v.data() + v.size())是标准定义的合法空区间。
2. std::string_view(const char* s, size_t count)构造函数的合法性要求仅为：如果count > 0，则[s, s+count)必须是合法的可访问内存区间；如果count == 0，标准完全不要求s指向可解引用的内存，构造过程只会存储指针值和长度值，不会发生任何内存解引用操作。
3. 你给出的测试代码行为完全符合预期：std::cout << sv调用的是std::string_view特化的流输出重载，会严格按照sv内部存储的长度读取内容，当长度为0时不会访问任何指针指向的内存，最终输出||，不存在UB。

• 仅传入v.data()、依赖隐式strlen计算长度的string_view构造确实是UB：该重载会从传入指针位置开始向后遍历查找'\0'终止符，会解引用空vector的内存触发越界。
• std::cout << sv.data()确实是UB：sv.data()返回的是const char*类型，流输出const char*时会一直向后查找'\0'终止符，而你构造的sv指向的内存没有空终止符保证，会触发越界访问。
• 该写法唯一的使用风险是生命周期问题：std::string_view不持有内存所有权，如果后续vector发生扩容、析构等导致指向的内存失效，再访问sv内容才会触发悬空指针UB。

你给出的测试完整代码如下，可直接编译运行：

#include <vector>
#include <iostream>
#include <string_view>

std::vector<char> v;
auto get_sv() {
    std::string_view sv(v.data(), v.size());
    return sv;
} 

int main() {
    std::cout << "|" << get_sv() << "|" << std::endl;
}

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