C ++ 11字符串赋值运算符

时间:2013-05-10 09:37:17

标签: c++ string c++11

看看这段代码:

#include <iostream>
#include <algorithm>
#include <fstream>
#include <iterator>

using namespace std;

int main()
{
ifstream text("text.txt");

istreambuf_iterator<char> iis(text);
string longest_phrase, _longest;

while (iis != istreambuf_iterator<char>()) {
    if ( *iis != '.' ) {
        _longest.push_back(*iis);
        ++iis;
        continue;
    }
    if ( _longest.size() > longest_phrase.size() )
        longest_phrase = move(_longest); //I want to move the data of _longest to longest_phrase. Just move! Not to copy!
    cout << _longest.empty(); //why _longest is not empty??
            //_longest.clear();
    ++iis;
}
text.close();
longest_phrase.push_back('.');
cout << "longest phrase is " << longest_phrase;
return 0;
}

此代码搜索文件中最长的短语。 那么为什么从左值到右值的转换不起作用呢?

编辑: 这就是为什么我认为它不起作用的原因:

class Vector {
public:
    Vector(vector<int> &&v): vec( move(v) ) {}
    vector<int> vec;
};

int main()
{
    vector<int> ints(50, 44);
    Vector obj( move(ints) );
    cout << ints.empty();
    return 0;
}

谢谢大家快速而有用的答案!

3 个答案:

答案 0 :(得分:9)

您不应对标准库的移动对象的状态做出具体假设,除非它是合法状态(除非指定了移动赋值运算符或移动构造函数的其他后置条件) )。

根据C ++ 11标准的第17.6.5.15段:

  

可以从(12.8)移动C ++标准库中定义的类型的对象。移动操作可能   明确指定或隐式生成。除非另有规定,否则此类移动物体应为   处于有效但未指定的状态。

此外,关于basic_string类模板的移动赋值运算符的第21.4.2 / 21-23段没有说明移动的字符串是否应保留在调用{{ 1}}在其上返回empty()

在这种情况下,调用true是合法的,因为它对调用它的empty()对象的状态没有任何先决条件;另一方面,你不能对它的回报值做出假设。

答案 1 :(得分:3)

其他答案指出,根据标准,您不能依赖于将该对象留空的字符串对象的移动操作。

但是,你应该期待比副本更有效的东西。当然发生的事情是你的编译器basic_string<>& operator=(basic_string<>&&)(字符串&#39;移动分配&#39;)是通过交换两个字符串对象来实现的(这正是标准的建议:&& #34;注意:A 有效的实现是swap(str)。&#34;)。

g ++显然以这种方式实现了字符串移动赋值。

因此,您不必担心效率 - 不应该对字符串进行不必要的复制。但是,如果您不再使用该对象,则需要确保在移动后清除从字符串移动的字符串。

答案 2 :(得分:1)

除了其他人之后关于移动和使用移动物体的说法之外,移动并不完全是你想要做的。您在概念上想要的是将_longest的内容分配给longest_phrase并清除_longest。你试图避免复制和重新分配是正确的,但你可以通过交换来轻松实现:

 if ( _longest.size() > longest_phrase.size() )
 {
    longest_phrase.clear(); // don't need the old content any more
    longest_phrase.swap(_longest); //move the data of _longest to longest_phrase
 }
 assert(_longest.empty());