引用本质上是一个隐式指针,为对象的一个别名,通过操作符 & 来实现。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