难道的std :: string转移构造实际移动？

Question

所以在这里我得到了一个小的测试程序：

#include <string>
#include <iostream>
#include <memory>
#include <vector>

class Test
{
public:
  Test(const std::vector<int>& a_, const std::string& b_)
    : a(std::move(a_)),
      b(std::move(b_)),
      vBufAddr(reinterpret_cast<long long>(a.data())),
      sBufAddr(reinterpret_cast<long long>(b.data()))
  {}

  Test(Test&& mv)
    : a(std::move(mv.a)),
      b(std::move(mv.b)),
      vBufAddr(reinterpret_cast<long long>(a.data())),
      sBufAddr(reinterpret_cast<long long>(b.data()))
  {}

  bool operator==(const Test& cmp)
  {
    if (vBufAddr != cmp.vBufAddr) {
      std::cout << "Vector buffers differ: " << std::endl
        << "Ours: " << std::hex << vBufAddr << std::endl
        << "Theirs: " << cmp.vBufAddr << std::endl;
      return false;
    }

    if (sBufAddr != cmp.sBufAddr) {
      std::cout << "String buffers differ: " << std::endl
        << "Ours: " << std::hex << sBufAddr << std::endl
        << "Theirs: " << cmp.sBufAddr << std::endl;
      return false;
    }
  }

private:

  std::vector<int> a;
  std::string b;
  long long vBufAddr;
  long long sBufAddr;
};

int main()
{
  Test obj1 { {0x01, 0x02, 0x03, 0x04}, {0x01, 0x02, 0x03, 0x04}};
  Test obj2(std::move(obj1));

  obj1 == obj2;


  return 0;
}

我的软件用于测试：

编译器：GCC 7.3.0

编译器标记：-std = C ++ 11

操作系统：Linux薄荷19（塔拉）与上游版本的Ubuntu 18.04 LTS（仿生）

结果我在这里看到，这一举动后，矢量缓冲器仍具有相同的地址，但字符串缓冲区没有。所以在我看来，它分配的，而不是仅仅交换缓冲区指针新鲜。是什么原因导致这样的行为？

Answer 1

你可能会看到small/short string optimization的影响。为了避免不必要的分配为每个微小的串，std::string的许多实施方式包括小尺寸固定阵列以保持小弦，而不需要new（此数组通常repurposes一些不必需的其他成员时动态分配还没有被使用，因此它消耗很少或根本没有额外的内存来提供它，无论是小型或大型strings），而那些字符串不从std::move受益（但他们是小，所以它的罚款）。较大的字符串将需要动态分配，并像您期望的意志为转移的指针。

只是为了演示，在g++此代码：

void move_test(std::string&& s) {
    std::string s2 = std::move(s);
    std::cout << "; After move: " << std::hex << reinterpret_cast<uintptr_t>(s2.data()) << std::endl;
}

int main()
{
    std::string sbase;

    for (size_t len=0; len < 32; ++len) {
        std::string s1 = sbase;
        std::cout << "Length " << len << " - Before move: " << std::hex << reinterpret_cast<uintptr_t>(s1.data());
        move_test(std::move(s1));
        sbase += 'a';
    }
}

Try it online!

产生上举施工的15或更小（大概与建筑指针大小而变化）的长度改变高（堆栈）地址，但切换到该移动施工后保持不变一旦你打长度为16或更高（开关低（堆）的地址是在16，17不，因为它是NUL终止的字符串，因为C ++ 11和更高的需要它）。

100％清楚：这是一个实现细节。在C ++规范的任何部分需要这种行为，所以你不应该依赖于它发生在所有，当它发生时，你不应该依赖于它出现的特定字符串的长度。