将 std::string 移动到函数参数

Question

我想将一个大的 std::string 移动到类的成员中。

这是我的代码：

#include <cassert>
#include <string>
#include <iostream>
using namespace std;

class SomeClass {
public:
    void some_method(std::string&& str) {
        my_str = str;
    }

    std::string my_str;
};

int main() {
    SomeClass some_class;

    std::string large_str(100000, 'a');

    some_class.some_method(std::move(large_str));

    assert(large_str.empty());
    assert(!some_class.my_str.empty());
    return 0;
}

当移动之后，我预计large_str 是空的，但是这个代码断言在assert(large_str.empty()) 行失败。

我是不是误解了std::move的语义？

Answer 1

我是不是误解了std::move的语义？

部分，是的。您忘记将函数参数 str 转换为右值。在some_method 内，它又变成了一个左值。要解决这个问题：

void some_method(std::string&& str) {
    my_str = std::move(str);
    //       ^^^^^^^^^ Necessary: invoke std::move a 2nd time
}

但请注意以下几点。 “移出”std::string 对象不是您应该在assert 上使用的。来自here，重载#8（强调我的）：

移动构造函数。使用移动语义构造带有 other 内容的字符串。 other 保持有效，但未指定状态。

您不希望您的程序依赖于未指定的状态（即使发生特定实现使std::string::size 在消耗其资源后返回 0）。