本文主要整理自博文C++中的指针与引用及C++中引用传递与指针传递区别(进一步整理)。
指针
对于一个类型T,T*就是指向T的指针类型,也即一个T*类型的变量能够保存一个T对象的地址,而类型T是可以加一些限定词的,如const、volatile等等。见下图,所示指针的含义:
引用
引用是一个对象的别名,主要用于函数参数和返回值类型,符号X&表示X类型的引用。见下图,所示引用的含义:
指针和引用的区别
共同点:
都是地址的概念。指针指向一块内存,它的内容是所指内存的地址;而引用则是某块内存的别名。
引用不可以为空,但指针可以为空
前面也说过了引用是对象的别名,引用为空——对象都不存在,怎么可能有别名!故定义一个引用的时候,必须初始化。因此如果你有一个变量是用于指向另一个对象,但是它可能为空,这时你应该使用指针;如果变量总是指向一个对象,也就是说,你的设计不允许变量为空,这时你应该使用引用。如下图中,如果定义一个引用变量,不初始化的话连编译都通不过(编译时错误,见下图)。而声明指针是可以不指向任何对象,也正是因为这个原因,使用指针之前必须做判空操作,而引用就不必。
引用不可以改变指向,对一个对象"至死不渝";但是指针可以改变指向,而指向其它对象
说明:虽然引用不可以改变指向,但是可以改变初始化对象的内容。例如就++操作而言,对引用的操作直接反应到所指向的对象,而不是改变指向;而对指针的操作,会使指针指向下一个对象,而不是改变所指对象的内容。见下面的代码:
1 #include<iostream> 2 3 using namespace std; 4 5 int main(int argc, char** argv) 6 7 { 8 int i = 10; 9 int& ref = i; 10 ref++; 11 cout << "i=" << i << endl; 12 cout << "ref=" << ref << endl; 13 int j = 20; 14 ref = j; 15 ref++; 16 cout << "i=" << i << endl; 17 cout << "ref=" << ref << endl; 18 cout << "j=" << j << endl; 19 20 return 0; 21 }