我们先来简单介绍下&引用:
C和C++使用&符号来只是变量的地址。C++给&符号赋予了另一个含义,将其来声明引用。
例如,要将rodents作为rats变量的别名,可以这样做:
int rats;
int & rodents = rates;
其中,&不是地址运算符,而是类型标识符的一部分。上诉引用声明允许将rats和rodents互换——它们指向相同的值和内存单元。
必须在声明引用时将其初始化,而不能向指针那样,先声明,再赋值。
举个例子:
// secref.cpp -- defining and using a reference
#include <iostream>
int main()
{
using namespace std;
int rats = 101;
int & rodents = rats; // rodents is a reference
cout << "rats = " << rats;
cout << ", rodents = " << rodents << endl;
cout << "rats address = " << &rats;
cout << ", rodents address = " << &rodents << endl;
int bunnies = 50;
rodents = bunnies; // can we change the reference?
cout << "bunnies = " << bunnies;
cout << ", rats = " << rats;
cout << ", rodents = " << rodents << endl;
cout << "bunnies address = " << &bunnies;
cout << ", rodents address = " << &rodents << endl;
// cin.get();
return 0;
}
输出:
rats=101,rodents=101
rats address=0x00065fd44,rodents address= 0x00065fd44
bunnies=50,rate=50,rodents=50
rats address=0x00065fd48,rodents address= 0x00065fd44
也就是说,rats=bunnies 意味着“ 将bunnies变量的值付给rat变量 ”。简而言之,可以通过初始化声明来设置引用,但是不能用赋值来设置。
假设程序员试图这样做:
int rats=101;
int *pt =&rats;
int &rodents=*pt;
int bunnies=50;
pt =&bunnies;
将rodents初始化为*pt使得rodents指向rats。接下来将pt改为指向bunnies,并不能改变这样的事实,即rodents引用的是rats。
将引用用作函数参数
// cubes.cpp -- regular and reference arguments
#include <iostream>
double cube(double a);
double refcube(double &ra);
int main ()
{
using namespace std;
double x = 3.0;
cout << cube(x);
cout << " = cube of " << x << endl;
cout << refcube(x);
cout << " = cube of " << x << endl;
// cin.get();
return 0;
}
double cube(double a)
{
a *= a * a;
return a;
}
double refcube(double &ra)
{
ra *= ra * ra;
return ra;
}
输出:
27=cube of 3
27 = cube of 27
如果程序员的意图是让函数使用传递给它的信息,而不对这些信息进行修改,同时又想使用引用,则应使用常量引用。
double refcube(const double &ra);
如果这样做,当编译器发现代码修改了ra的值,将报错。
如果实参与引用参数不匹配,C++将生成临时参数。 当前,仅当参数为const引用时,C++才允许这样做。(c++ primer plus 264页)。因为假如类型不匹配的话,将创建临时参数,使用临时参数的数据改变不会影响传入的数据。换句话说,如果接受引用参数的函数的意图是修改作为参数传递的变量,则创建临时变量将阻止这种意图的实现。
注意:如果函数调用的参数不是左值或与相应的const引用参数的类型不匹配,则C++将创建类型正确的匿名变量,将函数调用的参数的值传递给该匿名变量,并让参数来引用该变量。
举个例子:
void swap(int &a,int &b)
{
int temp;
temp=a;
a=b;
b=temp;
}
long a=3,b=5;
swap(a,b);
这里的a,b与传入函数参数的a,b类型不匹配,因此编译器将创建两个临时int变量,将它们初始为3和5,然后交换临时变量的内容,而a和b保持不变。
然后我们来看下右值引用&&
引用右值的只要目的是实现移动定义。