首页 > 代码库 > 指针和引用的比较

指针和引用的比较

一 Reference 和指针的区别

虽然使用引用(reference)和指针都可间接访问另一个值,但它们之间有两个重要区别。第一个区别在于引用总是指向某个对象:定义引用时没有初始化是错误的。第二个重要区别则是赋值行为的差异:给引用赋值修改的是该引用所关联的对象的值,而并不是使引用与另一个对象关联。引用一经初始化,就始终指向同一个特定对象(这就是为什么引用必须在定义时初始化的原因)。 考虑以下两个程序段。第一个程序段将一个指针赋给另一指针: 
 int ival = 1024, ival2 = 2048; 
 int *pi = &ival, *pi2 = &ival2; 
 pi = pi2; // pi now points to ival2 

赋值结束后,pi 所指向的 ival 对象值保持不变,赋值操作修改了 pi 指针的值,使其指向另一个不同的对象。现在考虑另一段相似的程序,使用两个引用赋值: 
 
int &ri = ival, &ri2 = ival2; 
ri = ri2; // assigns ival2 to ival 

这个赋值操作修改了 ri 引用的值 ival 对象,而并非引用本身。赋值后,这两个引用还是分别指向原来关联的对象,此时这两个对象的值相等。 


int *ip[4];    // array of pointers to int
int (*ip)[4];  // pointer to an array of 4 ints


三 typedef 简化指向多维数组的指针

typedef 类型定义可使指向多维数组元素的指针更容易读、写和理解。以下程序用 typedef 为 ia 的元素类型定义新的类型名: 

int ia[3][4]; // array of size 3, each element is an array of ints of size 4 
int (*ip)[4] = ia; // ip points to an array of 4 ints 
ip = &ia[2]; // ia[2] is an array of 4 ints

typedef int int_array[4]; 
int_array *ip = ia; 
可使用 typedef 类型输出 ia 的元素: 
 for (int_array *p = ia; p != ia + 3; ++p) 
   for (int *q = *p; q != *p + 4; ++q) 
     cout << *q << endl; 
外层的 for 循环首先初始化 p 指向 ia 的第一个内部数组,然后一直循环到 ia 的三行数据都处理完为止。++p 使 p 加 1,等效于移动指针使其指向 ia 的下一行(例如:下一个元素)。