C++中的右值绑定混淆

rvalue binding confusion in C++

本文关键字：绑定 C++      更新时间：2023-10-16

我有三个函数调用，我认为应该一视同仁，但显然不是。我试图理解为什么三个中有一个不编译（g++-std=c++0x）。

// Minimal example to reproduce a compile bug I want to understand.
#include <iostream>
#include <string>
using namespace std;

void bar(const string &&x) { cout << "bar: " << x << endl; }
string returns_a_string() { return string("cow"); }
int main( int argc, char *argv[] )
{
    bar(string("horse"));     // ok
    bar(returns_a_string());  // ok
    string aardvark = "aardvark";
    bar(aardvark);            // not ok, fails to compile, error in next comment
    /*
      rvalue-min.cpp:29:22: error: cannot bind ‘std::string {aka std::basic_string<char>}’ lvalue to ‘const string&& {aka const std::basic_string<char>&&}’
      rvalue-min.cpp:10:6: error:   initializing argument 1 of ‘void barR(const string&&)’
    */
}

这个问题有点像C++0x右值引用-左值右值绑定，但是，如果那里有答案，我很抱歉，我没能把它提炼出来。

我想要的是能够用任何类型的字符串调用我的函数bar（），并让它正常工作。定义void barR(const string &x)已经足够了，但我真的很想了解原因。

非常感谢您帮助我们理解为什么第三个电话不同。

r值引用参数的目的是专门检测对象何时为r值。因为如果一个对象是r值，那么函数知道它不会再被使用，所以它可以对它做任何它想做的事情。如果l值可以绑定到r值引用，那就意味着我所说的检测实际上并没有发生。

如果要将l值传递给其中一个函数，则需要使用std::move。通过std::move将一个对象传递给一个接受r值引用的函数，就像在说，"在这里，拿走这个对象，把它的内脏挖出来，我不在乎它会发生什么"。

出于您的目的，正确的答案是使参数const引用。r值被绑定到const引用是非常愉快的。除了move构造函数，生成r值引用参数几乎从来都不是正确的做法。

您需要使用std::move。这很好：

bar(std::move(aardvark));
相关文章：