Question

std::string t1("aaa");
const char *p = t1.c_str();
std::string t2(std::move(t1));
if (p == t2.c_str()) {
    std::cout << "ok!" << std::endl;    
}

此代码在vs2012中没有打印。它只是在内部使用memmove将t1中的字符串复制到t2。为什么呢？

Answer 1

正如jrok所指出的，正如你所做的那样未定义的行为，所以你没有权利抱怨，无论如何实施的内容。实际上，它将取决于实施。该标准不要求移动 std::string的构造函数可以做任何与...有关的事情源字符串。如果实现使用小字符串优化（例如VC ++），字符串是小到足以获得资格，那么它就无法做任何事情但 memcpy字符;他们在char[]中字符串对象本身。 CoW实现（如g ++中的实现）可能没有做任何不同的事情，它在副本中做了什么构造函数，或者是因为它不值得烦;你不会真的省钱。（但它可能，因为只是交换指针会节省一点。）

我在VC ++中尝试过同样的事情，但字符串为100 字符。它做了交换（两个指针相等）。所以VC ++的行为取决于字符串是否小到足以让SSO申请。 G ++在所有情况下交换。

Answer 2

Visualtudio在字符串实际移动指针之前比较字符串的长度，通过调试std::move代码，它显示副本长度的字符串 16字节

void _Assign_rv(_Myt&& _Right) { // assign by moving _Right if (_Right._Myres < this->_BUF_SIZE) //_BUF_SIZE is 16, comment mine _Traits::move(this->_Bx._Buf, _Right._Bx._Buf, _Right._Mysize + 1); else { // copy pointer this->_Getal().construct(&this->_Bx._Ptr, _Right._Bx._Ptr); _Right._Bx._Ptr = pointer(); } this->_Mysize = _Right._Mysize; this->_Myres = _Right._Myres; _Right._Tidy(); }

Answer 3

具体来说，这里发生的是“小字符串优化”。

Visual C ++的STL（和许多其他人）有“胖”std::string类，它们可以在内部保存一个小字符串，并且需要零内存分配。这是对一些常见用例的优化。

即使使用std::move，因为您的字符串足够小以至于它完全存储在std::string内部，因此必须复制。如果您尝试使用更大的字符串，您的代码可能会起作用，但绝对不能保证它会，并且您不应该依赖于该行为。

基本上认为这些实现中的std::string与以下内容相似：

class string {
 // space for small strings; only used if _external is nullptr
 char  _local[16];
 // pointer to heap-allocated memory; if nullptr, the string is stored in _local
 char* _external;

 // stores a string using small-string optimization is appropriate
 void store(char* src) {
   if (std::strlen(src) < sizeof(_local)) {
     // small string, store in our local buffer and set _external to nullptr
     std::strcpy(_local, src);
     delete _external;
     _external = nullptr;
   } else if (src != _external) {
     // large string, allocate space in heap
     delete _external;
     _external = new char[std::strlen(src) + 1];
     std::strcpy(_external, src);
   }
 }

public:
 // assign a C string to this string
 string(char* src) : _external(nullptr) { store(src); }
 string& operator=(char* src) { store(src); return *this; }

 // be sure to properly use either _local or _external pointer
 char* c_str() { return _external ? _external : _local; }
 bool empty() const { return c_str()[0] == 0; }
};

在vs2012中移动一个字符串

3 个答案: