std::string的物体真的可以移动吗？

Question

我们知道，一个可移动的对象是指一个对象在赋值给另一个同类型的对象时不会被深度复制。通过这种方式，我们可以节省很多时间。但是今天，我发现了一个很奇怪的现象。请查看代码如下。

#include <string>
#include <iostream>
int main() {
std::string s1 = "s1";
std::string s2 = "s2";

std::cout << "  s1[" << ( void* ) &s1[0] << "]:" + s1
    << ", s2[" << ( void* ) &s2[0] << "]:" + s2
    << std::endl;
s1.swap( s2 );
std::cout << "  s1[" << ( void* ) &s1[0] << "]:" + s1
    << ", s2[" << ( void* ) &s2[0] << "]:" + s2
    << std::endl;

s2 = std::move(s1);
std::cout << "  s1[" << ( void* ) &s1[0] << "]:" + s1
    << ", s2[" << ( void* ) &s2[0] << "]:" + s2
    << std::endl;

return EXIT_SUCCESS; }

移动后，虽然字符串的内容变了，但是真正存放字符串数据的地址并没有变。

如果内存地址不会改变，我们是否有理由确认实际上将执行深度复制而不是仅仅分配一个指向目标成员的指针？

谢谢！里昂

Answer 1

a movable object is one would not be copied deeply when it be assigned to another one of same type

只有有意义。在以下片段中

int i0 = 11;
int i1 = std::move(i0);

不会"stealing"只是因为没有东西可以偷。所以这个问题的前提是有缺陷的——如果这样做有意义的话，移动操作会"steal"被移动的内容。

另请注意，在 C++ 世界中，与 Java 和 C# 不同，对象是占用内存的一切 - 整数、指针、字符 - 所有这些都是对象。

std::string 使用称为 "short string optimization" 或 SSO 的优化技术。如果字符串足够短（并且 "short enough" 是实现定义的），则不会动态分配缓冲区，因此 "steal" 也不会分配任何内容。当移动如此短的字符串时，字符串的内容非常短，它只是被复制到移动到的字符串中而不会弄乱动态分配的缓冲区。

std::string的物体真的可以移动吗？

Is a object of std::string really movable?

c++

string

pointers

move-semantics