C++学习笔记之 引用

先声明一下，这里的内容大多是《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。所以结果是：

有什么说错的地方，还望大家多多指正。