移动std::string后地址为何不同？C++移动语义实践疑问

问题描述 #

运行以下代码后，两次打印的内存地址始终不同：

std::string c = "abc";
std::cout << static_cast<const void *>(c.c_str()) << std::endl;

std::string d;
d = std::move(c);
std::cout << static_cast<const void *>(d.c_str()) << std::endl;

原本预期移动std::string时，d会直接复用c的内存地址而非拷贝，但实际结果不符合预期。

运行环境：

• 系统：Mac
• 编译命令：g++ -std=c++17 main.cpp -o move
• 编译器：Apple clang 13.0.0（clang-1300.0.29.30）
• 目标平台：x86_64-apple-darwin20.6.0

已知std::vector的移动语义符合地址复用的预期，疑惑是否对std::string的移动实现存在误解。

原因分析 #

这是**小字符串优化（Small String Optimization, SSO）**导致的，这是libc++（Apple clang默认标准库）中std::string的核心实现逻辑：

• 当字符串长度小于等于内部缓冲区容量（通常为15字节，含末尾空终止符）时，std::string会直接将字符串存储在栈上的内部缓冲区，而非分配堆内存。
• 移动操作的本质是转移内存所有权，但栈上内存属于对象自身的栈空间，无法在对象间转移所有权。因此移动这类小字符串时，只能将源对象的栈缓冲区内容拷贝到目标对象的独立栈缓冲区中，最终打印的地址自然不同。

如果使用长度超过SSO阈值的字符串（比如std::string c = "abcdefghijklmnopqrstuvwxyz";），此时std::string会在堆上分配内存，移动操作将直接转移堆内存的所有权，两次打印的地址就会完全一致。

而std::vector不存在类似的小对象优化，其底层数据始终在堆上分配，因此移动操作可以直接转移堆内存指针，表现出地址复用的行为。

验证示例 #

修改代码为长字符串后，地址会实现复用：

std::string c = "abcdefghijklmnopqrstuvwxyz"; // 长度超过SSO阈值
std::cout << static_cast<const void *>(c.c_str()) << std::endl;

std::string d;
d = std::move(c);
std::cout << static_cast<const void *>(d.c_str()) << std::endl;

此时两次打印的内存地址将完全相同。

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