(1)初始化要求不同。引用在创建的同时必须初始化,即引用到一个有效的对象;而指针在定义的时候不必初始化,可以在定义后面的任何地方重新赋值。
(2)可修改性不同。引用一旦被初始化为指向一个对象,它就不能改变为另一个对象的引用;而指针在任何时候都可以改变为指向另一个对象。给引用赋值并不是改变它和原始对象的绑定关系。
(3)不存在NULL引用,引用不能使用指向空值的引用,它必须总是指向某个对象;而指针则可以是NULL,不需要总是指向某些对象,可以把指针指向任意的对象,所以指针更加灵活,也容易出错。
(4)测试需要的区别。由于引用不会指向空值,这意味着使用引用之前不需要测试它的合法性;而指针则需要经常进行测试。因此使用引用的代码效率比使用指针的要高。
(5)应用的区别。如果是指一旦指向一个对象后就不会改变方向,那么应该使用引用。如果有存在指向NULL(不指向任何对象)或在不同的时刻指向不同的对象这些可能性,应该使用指针。
实际上,在语言层面,引用的用法和对象一样;在二进制层面,引用一般都是通过指针来实现的,只不过编译帮我们完成了转换。总体来说,引用既具有指针的效率,又具有变量使用的方便性和直观性。
之所以说传引用比传指针安全,由于不存在空引用,并且引用一旦被初始化为指向一个对象,它就不能改变为另一个对象的引用,因此引用很安全。对于指针来说,它可以随时指向别的对象,并且可以不被初始化,或为NULL,所以不安全。const指针仍然存在空指针,并且有可能产生野指针。
下面是一些重要的复杂指针的声明:
(1)一个整型数: int a ;
(2)一个指向整型数的指针: int*a ;
(3)一个指向指针的指针,它指向的指针是指向一个整型数的 : int **a ;
(4)一个有10个整型数的数组: int a[10] ;
(5)一个有10个指针的数组,该指针是指向一个整型数的: int *a[10] ;
(6)一个指向有10个整型数数组的指针: int (*a)[10] ;
(7)一个指向函数的指针,该函数有一个整型参数并返回一个整型数:int(*a)(int) ;
(8)一个有10个指针的数组,该指针指向一个函数,该函数有一个整型参数并返回一个整型数: int (*a[10])(int) ;
(9)f是指向void max(int x,int y)类型的函数指针:void (*f)(int,int);
(10)fn是返回int指针类型的函数:int *fn();
(11)p是一个指向const的指针,指向一个常量:const int*p;
(12)q是一个const指针:int*const q ;
(13)ptr是指向const的const的指针:const int*const ptr ;