先声明一下,这里的内容大多是《C++编程思想》中的内容,我最近在学习C++,觉得里面的很多话不错,另外例子也都自己实验了一番,有些现象很有趣,希望与大家分享。
?引用(reference)(&)就像能自动地被编译器间接引用的常量型指针。
#include <iostream>
using namespace std;
int y;
int& r = y;//当一个引用被创建的时候,它必须被初始化为一个对象。
//你也可以这样写:
const int& q = 12;//(1)这时,引用就被绑定到一个存储位置中。
int x=0; //(2)
int& a =x;//(3)
int main()
{
cout<<"x = "<<x<<",a = "<<a<<endl;
a++;
cout<<"x = "<<x<<",a = "<<a<<endl;
system("pause");
return 0;
}
代码运行结果:
在位置(1),编译器分配了一个存储单元,它的初始值被初始化为12,于是这个引用就和这个存储单元联系上了。应用要点是任何引用必须和存储单元联系。访问引用时,就是访问这个存储单元。因此,增加a事实上就是增加x,这个可在main()函数中显示出来,思考一个引用最简单的方法就是把它当做一个奇特的指针,这个指针的一个优点是不必怀疑它是否被初始化了(编译器强迫它初始化),也不必知道怎样对它间接引用(这由编译器做)。
使用引用时有一定的规则:
1.当引用被创建时,它必须被初始化(指针则可以在任何时候被初始化)。
2.一旦一个引用被初始化为指向一个对象,它就不能改变为另一个对象的引用(指针则可以在任何时候指向另一个对象)。
3.不可能有NULL引用。必须确保引用是和一块合法的存储单元关联。
?函数中的引用:
最经常看见引用的地方是在函数的参数和返回值中。当引用被用作函数参数时,在函数内任何对引用的更改将对函数外的参数产生改变。当然,可以通过传递一个指针来做相同的事情,但引用具有更清晰的语法。
如果从函数中返回一个引用,必须像从函数中返回一个指针一样对待,当函数返回时,无论引用关联的是什么都应该存在,否则,将不知道指向哪一个内存。
int& h()
{
int q;
return q;//警告,返回的是局部变量或临时变量的地址
}
出现结果:
int& h()
{
static int x;
return x;//OK
}
这样就没有报错。
#include <iostream>
using namespace std;
int* f(int* x)
{
(*x)++;
return x;
}
int& g(int& x)
{
x++;
return x;
}
int main()
{
int a=0;
cout<<"f(&a) = "<<f(&a)<<endl;
cout<<"a = "<<a<<endl;
cout<<"g(a) = "<<g(a)<<endl;
cout<<"a = "<<a<<endl;
system("pause");
return 0;
}
可见f()函数传进去的是a的地址,返回的也是a的地址。
g()函数传进去的是a的引用,相当于传进去的a的存储单元的值,返回的是a的存储单元的值。
对函数f()的调用缺乏使用引用的方便性和清晰性,但很清楚这是传递一个地址。在函数g()的调用中,地址通过引用被传递,但表面上看不出来。
?常量引用
刚刚函数中参数是非常量对象时,这个引用参数才能工作。如果是常量对象,函数g()将不接受这个参数,这样做是一件好事,因为这个函数将改变外部参数。如果知道这函数不妨碍对象的不变性的话,让这个参数是一个常量引用将允许这个函数在任何情况下使用。这意味着,对于用户定义的类型,该函数只能调用常量成员函数,而且不应当改变任何公共的数据成员。
#include <iostream>
using namespace std;
void f(int& x)
{
x++;
}
void g(const int& x)
{
x++;
}
int main()
{
int a=0;
f(1);
g(1);
system("pause");
return 0;
}
调用f(1)会产生编译期间错误,这是因为编译器必须首先建立一个引用,即编译器为一个int类型分派存储单元,同时将其初始化为1并为其产生一个地址和引用捆绑在一起。存储的内容必须是常量,因为改变它没有任何意义,我们再不能对它进行操作。当改变这种数据的时候,编译器会指出错误,这是非常有用的提示,因为这个改变会导致信息丢失。
?指针引用
在C语言中,如果想改变指针本身而不是它所指向的内容,函数声明可能像这样:
void f(int **)
当传递它时,必须取得指针的地址:
int i = 47;
int* ip = &i;
f(&ip);
对于C++中的引用,语法清晰多了。函数参数变成指针的引用,用不着取得指针的地址。
int*& i理解的话,相比于int& i。我的理解是int*& i, i首先是一个引用,之后是对int*的引用,即指针的引用。
#include <iostream>
using namespace std;
void increment(int*& i)
{
i++;
}
int main()
{
int* i=0;
cout<<"i = "<<i<<endl;
increment(i);
cout<<"i = "<<i<<endl;
system("pause");
return 0;
}
结果很有意思,定义i是一个指针,指向的地址是0。执行increment(i)函数之后,指针加一,因为是整型变量的指针,指向下一个整型变量,内存地址就加了4。所以结果是:
有什么说错的地方,还望大家多多指正。