右值和移动语义进阶

右值和移动

1. 前言

这里就不谈右值和移动的一些基础概念。这里主要谈一下，是不是我们可以无脑使用std::move

2. 左值和右值

我们都知道C++实际上分为左值和右值的。一般情况下，我们认为可以这样区分能够被取地址的值称为左值，不能被取地址的被称为右值。当然这里C/C++的原生字符串例外。

常见的左值比如

• 变量、函数或者数据成员的名字
• 返回左值引用的表达式，比如++x, x=1
  在函数调用的时候，左值可以绑定到左值引用的参数。比如T&，但是一个常量只能绑定到常左值引用。

例子

clas Foo
{
public:
	setValue(int& x)
	// setValue(const int& x);
}
Foo a;
a.setValue(10); // 常量是不可以绑定到非常量引用上面的，这里必须将注释去掉

反之，右值（纯右值，这里可以写忽略这个概念）是没有表示符，不可以取地址的表达式。

常见的右值比如

• 除了字符串字面常量外，一般的常量
• 临时对象
• x++

3. 右值引用

T &&是C++11新出现的类型。在我看来，实际上就是利用函数重载的方式，来针对不同的类型做不同的处理。

所以有了移动构造和移动赋值的俩个函数。
所谓的std::move，实际上就是做了一个类型转换，让其去匹配函数的右值引用版本。

1. 右值引用，一般都是转移堆对象。
2. 不要在返回值那里使用std::move，影响NRV优化

4. 完美转发

所以有了这么一个概念。

这里进行举例，来区分prvalue（纯右值）和xvalue（将亡值）。

Shape x = Circle(); // 这里的临时对象就是纯右值
getShape(std::move(x)); // 这里就将x变为了xvalue

所以就出现了这么一种情况。虽然它的类型时右值引用，但实际上它是一个左值。

void doSomething(const T&x);
void doSomething(T &&x);
void setValue(T &&x)
{
	doSomething(x); //这里会调用void doSomething(const T&x);
}

4.1 万能引用和右值引用区别

推荐《Effective Modern C++》，上面讲得很清楚C++11中，T&&这种语法形式有两种意思：右值引用（Rvalue reference），只能绑定右值万能引用（Universal reference），既能绑定右值，又能绑定左值只有发生类型推导的时候，T&&才表示万能引用。

template<typename T>
void Foo(T && arg);  // 发生类型推导，T&&表示万能引用
auto && i = 42;      // 发生类型推导，T&&表示万能引用


void Foo(int && arg);  // 没有类型推导，int&&表示右值引用，只能绑定右值
int && rRef = 3;       // 没有类型推导，int&&表示右值引用，只能绑定右值

作者：htiga 链接：https://www.zhihu.com/question/39125443/answer/79837400
来源：知乎 著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

因此，我们常见的这种写法

template <typename T>
void setValue(const T&);
template <typename T>
void setValue(T &&);

void setValue(const int&);
void setValue(int &&);

这俩实际上不是一个意思。对于万能引用来说，我们一般会使用完美转发来让其自己区分左值还是右值。

template <typename T>
void output(T &&x)
{
    cout << "万能引用" << endl;
}
template <typename T>
void output(const T &x)
{
    cout << "左值引用" << endl;
}

int main()
{
    int x;
    output(x);
    output(std::move(x));
    output(10);
    // 上述三个函数都会调用万能引用
}