C++引用—临时变量、引用参数和const引用和左值右值引用

转载https://blog.youkuaiyun.com/yusiguyuan/article/details/43526039

如果实参与引用参数不匹配，C++将生成临时变量。如果引用参数是const,则编译器在下面两种情况下生成临时变量：

         实参类型是正确的，但不是左值

         实参类型不正确，但可以转换为正确的类型

 

Double refcube(const double& ra)

{

 

        Returnra*ra*ra;

}

double side = 3.0;

double* pd = &side;

double& rd = side;

 long edge = 5L;

double lens[4]={2.3,3.4,4.5,6.7};

double c1 = refcube(side);  // ra 是side

double c2 = refcube(lens[2]); // ra是lens[2]

double c3 = refcube(rd);   // ra 是 rd

double c4 = refcube(*pd);  // ra 是*pd

double c5 = refcube(edge);  // ra 是临时变量

double c6 = refcube(7.0);  // ra 是临时变量

double c7 = refcube(side+10.0); // ra 是临时变量参数side lens[2] rd 和*pd都是有名称的、double类型的数据对象，因此可以为其创建引用，而不需要临时变量。但是edge虽然是变量，类型却不正确，double引用不能指向long。另一方面，参数7.0和side+10.0的类型都正确，但没有名称，在这些情况下，编译器都将生成一个临时匿名变量，并让ra指向它。这些临时变量只在函数调用期间存在

 

如果声明将引用指定为const，C++将在必要时生成临时变量、实际上，对于形参为const引用的C++函数，如果实参不匹配，则其行为类似于按值传递，为确保原始数据不被修改，将使用临时变量来存储值

 

       应尽可能使用const

使用cosnt可以避免无意总修改数据的编程错误

使用const使函数能够处理const和非const实参，否则将只能接受非const数据

使用const引用使函数能够正确生成并使用临时变量

 

const修饰左值引用

int & r = val + 1; //此句不合法，因为右值无法赋值给左值引用
const int& r = val + 1；//合法

右值引用

在上面的代码中，我们无法建立 int &rb = a + 1; 这样的语法，因为a + 1 此时是作为一个右值来使用的，我们无法把一个右值赋值给一个左值引用。（也就是左值引用相当于把一个变量的地址付给另一个变量，这两个变量可以访问同一个内存，右值仅仅是一个数，而非内存中的某块地址，因此无法把右值复制给左值引用）。

声明方法：Type && 右值引用名 = 右值表达式；

std::move()的用法

可以直接把左值或者右值转换成右值引用，使用方法：

int && rrval = std::move(val);

但是这里需要注意：在调用完std::move之后，不能再使用val，只能使用 rrval，这一点用于基本类型可能没什么直接影响，当应用到类函数的时候，用好std::move 可以减少构造函数数的次数

右值引用

为了解决移动语义及完美转发问题，C++11标准引入了右值引用（rvalue reference）这一重要的新概念。右值引用采用T&&这一语法形式，比传统的引用T&（如今被称作左值引用 lvalue reference）多一个&。
如果把经由T&&这一语法形式所产生的引用类型都叫做右值引用，那么这种广义的右值引用又可分为以下三种类型：

• 无名右值引用
• 具名右值引用
• 转发型引用

无名右值引用和具名右值引用的引入主要是为了解决移动语义问题。
转发型引用的引入主要是为了解决完美转发问题。

 无名右值引用

无名右值引用（unnamed rvalue reference）是指由右值引用相关操作所产生的引用类型。
无名右值引用主要通过返回右值引用的类型转换操作产生， 其语法形式如下：
static_cast<T&&>(t)
标准规定该语法形式将把表达式 t 转换为T类型的无名右值引用。
无名右值引用是右值，标准规定无名右值引用和传统的右值一样具有潜在的可移动性，即它所占有的资源可以被移动（窃取）。

 std::move()

由于无名右值引用是右值，借助于类型转换操作产生无名右值引用这一手段，左值表达式就可以被转换成右值表达式。为了便于利用这一重要的转换操作，标准库为我们提供了封装这一操作的函数，这就是std::move()。
假设左值表达式 t 的类型为T&，利用以下函数调用就可以把左值表达式 t 转换为T类型的无名右值引用（右值，类型为T&&）。
std::move(t)

 具名右值引用

如果某个变量或参数被声明为T&&类型，并且T无需推导即可确定，那么这个变量或参数就是一个具名右值引用（named rvalue reference）。
具名右值引用是左值，因为具名右值引用有名字，和传统的左值引用一样可以用操作符&取地址。
与广义的右值引用相对应，狭义的右值引用仅限指具名右值引用。
传统的左值引用可以绑定左值，在某些情况下也可绑定右值。与此不同的是，右值引用只能绑定右值。
右值引用和左值引用统称为引用（reference），它们具有引用的共性，比如都必须在初始化时绑定值，都是左值等等。

struct X {};

X a;

X&& b = static_cast<X&&>(a);

X&& c = std::move(a);

//static_cast<X&&>(a) 和 std::move(a) 是无名右值引用，是右值

//b 和 c 是具名右值引用，是左值

X& d = a;

X& e = b;

const X& f = c;

const X& g = X();

X&& h = X();

//左值引用d和e只能绑定左值（包括传统左值：变量a以及新型左值：右值引用b）

//const左值引用f和g可以绑定左值（右值引用c），也可以绑定右值（临时对象X()）
//右值引用b，c和h只能绑定右值（包括新型右值：无名右值引用std::move(a)以及传统右值：临时对象X()