引用,简单粗暴的解释叫做别名,简单粗暴的例子就是,我是熊叫大雄,但是很多时候别人不叫我熊叫大雄,会叫我大雄,粤语地区朋友爱叫我阿雄,有人叫我雄,所以,熊叫大雄这个变量的值是我,雄、大雄、阿雄是熊叫大雄的别名,通过别名叫到的值还是我,晕了没?
这一篇主要讲引用做函数参数,引用还有其它内容,不过我觉得做函数参数比较常用且好理解一点,
1、创建引用
引用的创建形式有点类似指针,但是又有不同,一般这样创建引用:
int dNum1 = 1;
const int dNum2 = 1;
int &dNum11 = dNum1; // OK
int &dNum111; // ERROR
int &dNum1111 = 1; // ERROR
int &dNum21 = dNum2; // ERROR
上面这两句已经表明,引用的创建的时候就必须初始化的,也就是创建一个引用的时候不能够先说有个别名再说这个别名是谁的,必须是先有变量再有该变量引用,而且这个变量还不能是常量,否则也错误
在《C++ Primer Plus》一书有个说法是引用更接近const指针的伪装,例如声明引用的时候就有点像是这样:
int &dNum11 = dNum1;
==>
int * const dNum11 = &dNum1
所以,引用一旦声明之后就将与初始化的变量长伴一生,一生双存,一死双亡,一变俱变。
2、引用做函数参数
我觉得这个是比较能体现引用价值的地方之一。我们知道,在使用带参函数的时候,我们需要考虑的是参数的传入是否是变量本身,因为函数中有些操作可能是要对原变量进行改变的,之前C语言的做法是用指针来传递原变量地址,这样的好处是如果需要将改变传回或者改变原变量则不需要返回值,可以通过传入指针直接改变。那C++提供了引用的新特性,所以修改传入参数的时候就可以这样用了:
void suibianla(int &dInput)
{
dInput++;
}
int main(int argc, char* argv[])
{
int dNum1 = 1;
const int dNum2 = 1;
int &dNum11 = dNum1;
std::cout << dNum1 << std::endl;
std::cout << dNum11 << std::endl;
suibianla(dNum1);
std::cout << dNum1 << std::endl;
std::cout << dNum11 << std::endl;
system("pause");
return 0;
}
这种方式跟指针做参数的方式有点类似,但是跟指针参数还是有区别的。
引用做参数的一些特点:
1、传递引用是传递原变量,不需要做变量拷贝,普通的变量做函数参数的时候会开辟内存拷贝数值,而传递引用则不需要开辟内存;
2、传递引用限制比传递普通函数严格,比如:
void suiBianLa(int dInput)
{
std::cout << "dInput 地址 " << &dInput << std::endl;
dInput++;
}
void aiZuoNiJiuZuoNi(int &dInput)
{
std::cout << "dInput 地址 " << &dInput << std::endl;
dInput++;
}
suiBianLa(dNum1 + 1); // OK
aiZuoNiJiuZuoNi(dNum1 + 1); // ERROR
aiZuoNiJiuZuoNi()的参数是引用,suiBianLa()的参数是普通变量,这个时候aiZuoNiJiuZuoNi()的使用是会报错的:
error C2664: “void aiZuoNiJiuZuoNi(int &)”: 无法将参数 1 从“int”转换为“int &”
3、如果既想用引用,又不想原始变量被改变,那么就用常量引用:
void aiZuoNi(const int &dInput)
{
std::cout << "dInput 地址 " << &dInput << std::endl;
dInput++; // ERROR
}
因为是常量引用,所以不能对输入引用变量做改变的操作。
4、仅当使用常量引用的时候,如果输入参数与引用参数不匹配,才会生成临时变量,这种不匹配体现为:
(1)、实参的类型正确,但不是左值;
(2)、实参的类型不正确,但是可以转换为正确的类型。
有点不好理解,左值是啥?简单粗暴的说就是变量、数组元素、结构成员、引用和接触引用的指针等,非左值有字面常量、包含多项式的表达式等。
void aiZuoNi(const float &fInput)
{
std::cout << "fInput地址 " << &fInput<< std::endl;
}
long lNum = 1L;
float fNum = 1L;
aiZuoNi(lNum); // lNum是long型,fInput是临时变量
aiZuoNi(fNum); // fInput是fNum,没有临时变量
aiZuoNi(2.0); // 2.0常量,有临时变量
aiZuoNi(fNum + 1); // fNum + 1是表达式,有临时变量
同时注意到,aiZuoNi(fNum + 1)在非常量引用的时候是不行的,在常量引用下是可以的。
void aiZuoNi(const float &dInput)
{
std::cout << "dInput = " << dInput << std::endl;
std::cout << "dInput 地址 " << &dInput << std::endl;
}
long lNum = 1L;
float fNum = 1L;
aiZuoNi(lNum);
std::cout << "lNum = " << lNum << std::endl;
std::cout << "lNum 地址 " << &lNum << std::endl;
aiZuoNi(fNum);
std::cout << "fNum = " << fNum << std::endl;
std::cout << "fNum 地址 " << &fNum << std::endl;
aiZuoNi(2.0);
aiZuoNi(fNum + 1);
上述代码的运行结果是:
可以看到地址一样的只有aiZuoNi(fNum)调用的情况。
《C++ Primer Plus》给出的三个使用常量引用的理由是:
1、可以避免无意中修改数据的变成错误;
2、能够处理const和非const实参,否则只能使用非const数据,参见aiZuoNiJiuZuoNi(dNum1 + 1); // ERROR
3、使函数能够正确生成并使用临时变量
3、引用和指针的区别
-
声明方式不同,引用声明的时候必须初始化定义,指针可以先声明,再定义指向某个地址;
-
指针是需要分配内存的,指针本身占用内存来存储变量地址,引用不用,引用是原变量的别名,就还是原变量自己;
-
有多级指针,没见过多级引用;
-
sizeof(引用)得到的是所指向的变量(对象)的大小,而sizeof(指针)得到的是指针本身的大小,而不是指向对象的大小;
-
指针自增减是地址的增减。引用的自增减是变量值得自增减;
-
函数引用参数是类型安全,指针参数则不是(故常见指针参数需判断指针是否有效);
-
引用是从一而终,指针是见异思迁;
假如你不够快乐
也不要把眉头深锁
人生本来短暂
为什么 还要栽培苦涩
打开尘封的门窗
让阳光雨露洒遍每个角落
走向生命的原野
让风儿熨平前额
博大可以稀释忧愁
深色能够覆盖浅色