为什么STD::String::在现代C++中数据仍然受到限制?

我不是说警察 std::string ,但一个非常规。

这就是为什么这个陈述存在(甚至在C++ 17中仍然存在的时候) const data 增加了)。因为 数据 我不知道 。

在优化的小字符串中 string 实施 一串 对象本身存储一个字符数组。如果 一串 对象已声明 康斯特 ,那么它的子对象也是。 Modifying objects declared as const is UB 。

相比之下, vector::data 没有这样的声明,因为 const vector 总是 heap分配它的数组。所以当数组在逻辑上 康斯特 从外部来看,它在技术上定义良好(但实际上, 真的? 不应该)去 const_cast 来自 康斯特 矢量:数据 ,因为您修改的对象不是创建为 康斯特 .

如果 basic_string::data 如果没有这样的声明,基于sso的实现将是不可能的,因为它将 合法的 修改 const string ,就像修改 常量向量 . 但修改它是不合法的,因为它可能是 康斯特 对象,其数据存储在内部。