C++ 左值引用与右值引用

引用本质上是一个隐式指针,为对象的一个别名,通过操作符 & 来实现。C++11又提出了左值引用与右值引用的概念,一般如没有特殊说明,提到引用都是指传统的左值引用。这里顺便提一下变量的两个属性:左值和右值。左值是变量的地址,右值是变量存储的内容。变量本质即存储空间的名称,编译后变为对应地址。

左值引用

一个C++引用声明后必须被初始化,否则编译不过,初始化之后就相当与一个变量(地址为初始化时所引用变量的地址)。由于拥有共同的地址,而且也是同一个类型,所以对其操作就相当于对原对象的操作,用法和普通变量相同。与指针最大的区别:指针是一种数据类型,而引用不是。当其用作函数传参时,传递的就是变量的左值即地址

例子:

#include<iostream>
using namespace std;
void change(int & a){
	a=12;
	cout<<"引用类型的形参a地址是: "<<&a<<endl;
}
int main() {
	int a = 3;
	int & ref_a = a;  	//引用类型的变量 定义的时候 必须初始化,否则编译不过;
	cout << "a     地址: " << &a << endl;
	cout << "ref_a 地址:" << &ref_a << endl;
	int * p_a = &a;
	ref_a = 5;
	cout << "a is: " << a << endl;
	*p_a = 8;
	cout << "赋值 *p_a为 8, then a is: " << a << endl;
	cout << "引用 ref_a is: " << ref_a << endl;
	int c = 33;
	ref_a = c; //引用类型初始化后,不能再引用别的对象,等价于其所引用的类型的变量;
	cout << "c     地址:" << &c << endl;
	cout << "ref_a 地址: " << &ref_a << endl;
	cout << "a is:" << a << endl;
	change(a);
	cout << "a is:" << a << endl;
}

输出为:

a     地址: 0x28fed4
ref_a 地址:0x28fed4
a is: 5
赋值 *p_a为 8, then a is: 8
引用 ref_a is: 8
c     地址:0x28fed0
ref_a 地址: 0x28fed4
a is:33
引用类型的形参a地址是: 0x28fed4
a is:12

函数返回值为引用类型,这个使用也比较常见,详见:C++函数值返回引用

例子:

#include<iostream>

/* 函数返回值时会产生一个临时变量作为函数返回值的副本,而返回引用时不会产生值的副本 */
int & fun() {
	int *p = new int(5);
	std::cout << "p's address is: " << p << std::endl;
	return *p;
}

int main() {
	int & a = fun(); //声明引用类型,接收返回的引用
	std::cout << "a is: " << a << std::endl;
	std::cout << "a's address is: " << &a << std::endl;
	delete &a;
	std::cout << "------------------------\n";
	int b = fun(); // 声明 int 类型,接受返回 int 类型的引用, 也可以编译通过
	std::cout << "b is: " << b << std::endl;
	std::cout << "b's address is: " << &b << std::endl;
	return 0;
}

输出:

p's address is: 0x651708
a is: 5
a's address is: 0x651708
------------------------
p's address is: 0x651708
b is: 5
b's address is: 0x28ff40

右值引用

右值引用 (Rvalue Referene) 是 C++ 新标准 (C++11, 11 代表 2011 年 ) 中引入的新特性 , 它实现了转移语义 (Move Sementics) 和精确传递 (Perfect Forwarding)。详细:C++11 标准新特性: 右值引用与转移语义,它的主要目的有两个方面:

  • 消除两个对象交互时不必要的对象拷贝,节省运算存储资源,提高效率;
  • 能够更简洁明确地定义泛型函数;

右值引用形式:类型 && a= 被引用的对象。与左值的区别在于:右值是临时变量,如函数返回值,且不变。右值引用可以理解为右值的引用,右值初始化后临时变量消失。

例子:

#include <iostream>
using namespace std;
int glo=10;
void process(int && a){
	glo+=a;

}

void process(int &a){
	glo-=a;
}

int get_return(){
	int b=3;
	return b;
}

int main() {
	int a = 10;
	process(8);
	cout<<glo<<endl;
	process(a);
	cout<<glo<<endl;
	int && k = 	get_return();
	cout<<k<<endl;
	return 0;
}

输出:

18
8
3
©️2020 CSDN 皮肤主题: 编程工作室 设计师:CSDN官方博客 返回首页