std::string 参数的右值答案

【问题标题】：rvalue for a std::string parameterstd::string 参数的右值
【发布时间】：2019-04-10 18:56:14
【问题描述】：

当我传递文本时，以下代码中的 LVALUE 和 RVALUE 在实践中有什么区别？我的意思是，在字符串的这种特定情况下（字符串是字符串文字），使用 RVALUE (&&) 有什么好处吗？

void write_Lvalue(const std::string &text) {
    //...
}

void write_Rvalue(const std::string &&text) {
    //...
}

int main() {
    write_Lvalue("writing the Lvalue");
    write_Rvalue("writing the Rvalue");
}

【问题讨论】：

不应使用 FWIW const std::string &&text。通过使右值引用引用const，您破坏了右值引用的目的。如果是const，则无法将其移出，因为这是一个变异操作。

标签： c++ c++11 rvalue-reference temporary-objects

【解决方案1】：

首先，常量右值引用并不是很有用，因为你不能移动它们。移动值需要可变引用才能工作。

让我们以你更正的例子为例：

void write_lvalue(std::string const& text) {
    //...
}

void write_rvalue(std::string&& text) {
    //...
}

int main() {
    write_lvalue("writing the Lvalue");
    write_rvalue("writing the Rvalue");
}

在这种情况下，两者完全等价。在这两种情况下，编译器必须创建一个字符串并通过引用发送它：

int main() {
    // equivalent, string created
    // and sent by reference (const& bind to temporaries)
    write_lvalue(std::string{"writing the Lvalue"}); 

    // equivalent, string created
    // and sent by reference (&& bind to temporaries)
    write_rvalue(std::string{"writing the Rvalue"});
}

那么为什么要有接受右值引用的函数呢？

这取决于你对字符串做什么。可以从以下位置移动可变引用：

std::string global_string;

void write_lvalue(std::string const& text) {
    // copy, might cause allocation
    global_string = text;
}

void write_rvalue(std::string&& text) {
    // move, no allocation, yay!
    global_string = std::move(text);
}

那么为什么要使用右值引用呢？为什么不使用可变左值引用？

这是因为可变左值引用不能绑定到临时对象：

void write_lvalue_mut(std::string& text) {
    // move, no allocation... yay?
    global_string = std::move(text);
}

int main() {
    std::string s = /* ... */;
    write_lvalue_mut(std::move(s)); // fails
    write_lvalue_mut("some text"); // also fails
}

但是可变右值引用可以绑定到右值，如上所示。

【讨论】：

可变左值引用也不适用于const 左值，并且对用户非常粗鲁（他们必须假设他们的变量可能会被函数更改）。

【解决方案2】：

在这种情况下没有任何好处。 write_Rvalue 只接受右值。而write_Lvalue 将只接受左值。

当你传递一个字符串文字时，一个临时的std::string 将从字符串文字构造。右值变体已经可以绑定到 this，因为您已经传递了一个临时变量，而左值变量可以绑定到该临时变量，因为它是 const。

例如，这不会编译：

void write_Lvalue(const std::string &text) {
    //...
}

void write_Rvalue(const std::string &&text) {
    //...
}

int main() {
    std::string a = "hello";
    write_Rvalue(a);
}

因为我们试图将左值 a 传递给只接受右值的函数。

使用右值类型可以获得的好处是它们可以被移动。关于为什么移动可以更快here 有一篇很棒的帖子。

使你的右值const 违背了它的目的，尽管如 cmets 中所说，因为它不能再被移动了。

【讨论】：