您可以将 std::string 的子字符串分配给自身吗？

Question

我最近发现需要将std::string 的内容替换为其自身的子字符串。我认为在这里调用的最合乎逻辑的函数如下，来自http://www.cplusplus.com/reference/string/string/assign/：

子字符串 (2)      string& assign (const string& str, size_t subpos, size_t sublen);

复制从字符位置 subpos 开始并跨越 sublen 个字符的 str 部分（或者直到 str 的结尾，如果 str 太短或 sublen 是 string::npos）。

     str
另一个字符串对象，其值被复制或移动。

     subpos
str 中作为子字符串复制到对象的第一个字符的位置。如果这大于 str 的长度，则抛出 out_of_range。注意：str 中的第一个字符由值 0（不是 1）表示。

     sublen
要复制的子字符串的长度（如果字符串较短，则复制尽可能多的字符）。 string::npos 的值表示直到 str 结尾的所有字符。

但是，我不确定这是否允许，或者它是否会损坏字符串数据。例如，我知道memcpy() 不允许（或至少不保证在这种情况下不会损坏）用自身的（一部分）覆盖内存区域（请参阅memcpy() vs memmove()）。但是不知道上面的方法有没有同样的限制。

更一般地说，如果我应该能够自己找出这个问题的答案，你能评论一下吗？我链接到的文档中没有任何内容可以让我清楚地知道这个问题的答案是什么，除了 也许 str 参数描述中的限定符“Another”（“另一个 字符串对象”），这似乎暗示它不能是 this 对象，尽管我不认为这是明确的。这是文档中的弱点吗？

Answer 1

没有。

这个操作是由[string::assign]/4定义的：

basic_string& assign(const basic_string& str, size_type pos,
    size_type n = npos);

效果：确定要分配的字符串的有效长度rlen 作为n 和str.size() - pos 中较小的一个并调用assign(str.data() + pos rlen)。

(dat typo)

然后：

basic_string& assign(const charT* s, size_type n);

效果：将*this控制的字符串替换为字符串 长度为n，其元素是s指向的元素的副本。

这并没有说明str.assign(str, 0) 是否安全（特别是，我们无法知道何时每个字符的副本会发生！）。

因此我强烈建议你避免这样做。

Answer 2

不要尝试。

它可能有效，但正如所选答案中所建议的那样，不能确保它是安全的。在最好的情况下，根据您的实现，将创建一个临时对象，然后将其销毁。

一种模拟方法，它不会创建临时对象并且确实比调用assign 和substr 更快：

void trimTo(string & s, size_t pos = 0, size_t len = string::npos)
{ 
    s.erase(pos + len); 
    s.erase(pos, len); 
}

那么，

trimTo(myString, fromPos, numChars);

作为

myString.assign(myString.substr(fromPos, numChars);

但它至少快两倍。

Answer 3

显然，这与 operator= 的决定相同（防止自赋值）。

_Myt& assign(const _Myt& _Right,
    size_type _Roff, size_type _Count = npos)
    {   // assign _Right [_Roff, _Roff + _Count)
    _Right._Check_offset(_Roff);
    _Count = _Right._Clamp_suffix_size(_Roff, _Count);

    if (this == &_Right)
        erase((size_type)(_Roff + _Count)), erase(0, _Roff);    // substring
    else if (_Grow(_Count))
        {   // make room and assign new stuff
        _Traits::copy(this->_Myptr(),
            _Right._Myptr() + _Roff, _Count);
        _Eos(_Count);
        }
    return (*this);
    }