使用std::string存储任意字节是否会存在未定义行为？

答案是：正确使用时不会，但某些不当操作会触发未定义行为，具体分场景说明：

安全操作场景 #

从C++11标准开始，std::string被明确要求存储连续的字节序列，且允许包含任意值的字节（包括'\0'），特性和std::vector<char>一致。以下操作完全安全：

• 用push_back()、emplace_back()添加单个任意字节；
• 用assign()、insert()的带长度版本（如assign(const char* ptr, size_t len)）填充任意字节序列；
• 通过operator[]、at()、data()（或&s[0]）访问已存在的字节，只要索引不越界；
• 调用size()、capacity()等方法获取长度，这些方法不受'\0'影响。

触发未定义行为的场景 #

问题通常出在误用依赖C风格空终止字符串的操作上：

• 将data()返回的指针传给期望空终止字符串的函数（如strlen()、strcpy()），而字符串内部无显式'\0'结尾，或函数会读取超出字符串实际长度的内存。示例：

  std::string s;
  s.push_back('a');
  s.push_back('b');
  // 未定义行为：strlen会读取s.data()之后的内存直到找到'\0'
  size_t len = strlen(s.data());
  

• 尝试修改c_str()返回的指针指向的内存，c_str()返回const char*，标准不允许修改其指向的内容，强行修改属于未定义行为。

另外需要注意：用const char*直接构造std::string（如std::string(buf)）会自动截断到第一个'\0'，这是逻辑错误（丢失数据），但不属于未定义行为——只要buf是有效的空终止字符串。若要完整存储含'\0'的字节序列，必须使用带长度的构造函数：std::string(buf, len)。

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