C++的引用首先跟指针的大区别是引用不是一个对象,而指针是一个对象;其次引用在其定义时要初始化,而指针可以不用。
  int    val = 42;
  int    &rval = val;
  此时rval绑定了val,其实是rval是val的一个别名。你修改了两个其中的一个,其值都会改变。
  因为引用在一开始初始化了,所以一个引用只能引用一个变量。还有,引用只能引用对象,也是有地址的,不能是一个常数或者表达式。而且类型要匹配。
  int    &rval = 10;    //error: initializer must be an object
  double    dval = 3.14;
  int    &rdval = dval;    //error: initializer must be an int object
  References to const  常量引用
  不同于非常量的引用,常量引用所引用的对象不能修改
  const    int    ci = 1024;
  const    int    &r1 = ci;
  r1 = 42;    //error: r1 is a reference to const
  int    &r2 = ci;    //error: nonconst reference to a const object
  因为ci是一个常量,所以我们不能直接用一个引用来引用ci,因为我们不能修改ci。
  上面提到引用要引用正确的自身的类型,但是常量引用可以引用一个非const的对象,一个数,或者表达式。
  int    i = 42;
  const    int    &r1 = i;       //ok
  const    int    &r2 = 42;    //ok
  const    int    &r3 = r1 * 2;  //ok
  int    &r4 = r * 2;    //error: 非常量引用不能引用一个表达式
  让我们想想这是为什么?
  double    dval = 3014;
  const    int    &ri = dval;    //ok
  其实编译器帮我们多做了一步
  double    dval = 3014;
  const    int    temp = dval;    //创建一个暂时的常量对象来存放dval
  const    int    &ri = temp;      //将引用到这个暂时的常量
  正因为有这个无名的中转存量,所以常量引用才可以引用数,表达式,还有不同类型的对象。
  那为什么非常量引用不能这样呢?
  想想,刚才说的编译器帮我们弄了一个中转对象,其实我们引用是引用它,修改也修改它, 但它是无名的,也是找不到地址,也无法找着。修改了也没用,我们是要修改dval(在上面列子中)。
  所以说,只有常量引用才可以引用数字,表达式,不同类型的对象。因为我们不打算修改它,所以那个中转变量真的只是负责传递值,让常量引用初始化而已。(要是类型相同的话,没有必要创建无名中转变量了,因为直接用来初始化都可以。感谢@Kvtis的指出)
  后一个例子
  int    i = 42;
  int    &r1 = i;
  const    int    &r2 = i;
  r1 = 0;    //ok
  r2 = 0;    //error
  这样非常量引用和常量引用都引用一个值是可以的。非常量引用不用说了,跟对象绑在一起,是别名,修改引用的同时也修改了对象本身的内容。而常量引用,是跟上面一样,编译器帮我们创建了一个无名的中转变量来储存,其实也是赋值给常量对象初始化。你不能修改它是了。