指针与引用的比较

在给函数参数传递方式作总结的过程中，让我对引用类型有了更进一步的认识。引用类型(reference)是在C++特有的一种新类型(与C相比较)，在很多情况下，它提供了与指针操作同等的能力。而且在很多情况下，使用引用是更好的方式。

                既然我们在这里要比较指针与应用，那么首先得清楚引用的具体含义。引用是一个const的指针，即一旦引用被赋值了，就不允许改变了，这和声明其他类型的const变量是一样的，同时在声明的同时必须为其赋值,否则是无法编译通过的。(Since you can't change the reference after you define it, you must bind the reference to an object at the beginning of its lifetime.)[1]

       第一点，使用引用类型，代码在编译的过程中，编译器会自动地为其解引用(disrefence)， 而不需要象使用指针那样，显示的使用解引用操作符(*)。这样就使得代码更加清晰而易读了。这一点在使用enum类型的时候特别明显。下面是一个例子：

[2]  enum day

{  Sunday, Monday, Tuesday,

  Wednesday, Thursday, Friday,

  Saturday, not_a_day

 };

day d;

d = Sunday;

while (d <= Saturday)

{

 // do something with d

 ++d;

}

         以上代码是不能编译通过的，因为++运算符并不能左右于day类型，虽然我们可以在声明d的时候，使用int而使得编译通过，但是这样做减弱编译器对于类型的检查能力。那么我们需要做的是将++运算符重载。

 day &operator++(day &d)

{

  d = (day)(d + 1);

  return d;

}

         通过返回引用的方式，而不是指针的方式，可以在使用这个被重载的运算符的时候就象使用内建的运算符一样。但是如果使用的是返回指针的方式的话：    

 day *operator++(day *d)

{

  *d = (day)(*d + 1);

  return d;

}

         在调用这个运算符的时候，就不得不使用++&d了。

         第二点，swap(a,b)这种函数调用的方式，传递的既可以是值，也可以是引用，而这是由函数的型参决定的。因此也有人认为，使用swap(&a, &b)会认为更加清晰，毕竟这样就知道传递的是指针了，一目了然。在这里，我不由想起C#中的语法，不仅在函数的型参中显式声明传递的是引用还是值，还要在函数被调用的时候体现出来，如swap( ref a, ref b)。从这里可以看出C#在语法上会更加严谨。