指针与引用的区别，指针与引用的底层实现是否一样？

原文链接：http://blog.csdn.net/lingfengtengfei/article/details/12345437

指针与引用，在More Effective C++ 的条款一有详细讲述，

条款一：指针与引用的区别 

指针与引用看上去完全不同（指针用操作符’*’和’->’，引用使用操作符’.’），但是它们似乎有相同的功能。指针与引用都是让你间接引用其他对象。你如何决定在什么时候使用指针，在什么时候使用引用呢？ 

首先，要认识到在任何情况下都不能用指向空值的引用。一个引用必须总是指向某些对象。因此如果你使用一个变量并让它指向一个对象，但是该变量在某些时候也可能不指向任何对象，这时你应该把变量声明为指针，因为这样你可以赋空值给该变量。相反，如果变量肯定指向一个对象，例如你的设计不允许变量为空，这时你就可以把变量声明为引用。 不存在指向空值的引用这个事实意味着使用引用的代码效率比使用指针的要高。因为在使用引用之前不需要测试它的合法性。 

指针与引用的第一个区别是：引用总是指向指向某个对象，定义引用而没有初始化是错误的

指针与引用的另一个重要的不同是指针可以被重新赋值以指向另一个不同的对象。但是引用则总是指向在初始化时被指定的对象，以后不能改变。 

总的来说，在以下情况下你应该使用指针，一是你考虑到存在不指向任何对象的可能（在这种情况下，你能够设置指针为空），二是你需要能够在不同的时刻指向不同的对象（在这种情况下，你能改变指针的指向）。如果总是指向一个对象并且一旦指向一个对象后就不会改变指向，那么你应该使用引用。 

还有一种情况，就是当你重载某个操作符时，你应该使用引用。最普通的例子是操作符[]。这个操作符典型的用法是返回一个目标对象，其能被赋值。 

底层实现相同：

下面是程序的变量在内存栈中的分布，引用变量一样也占用内存空间，而且应该是4个字节的空间。

   虽然从底层来说，引用的实质是指针，但是从高层语言级别来看，我们不能说引用就是指针，他们是两个完全不同的概念。有人说引用是受限的指针，这种说法我不赞同，因为从语言级别上，指针和引用没有关系，引用就是另一个变量的别名。对引用的任何操作等价于对被引用变量的操作。从语言级别上，我们就不要去考虑它的底层实现机制啦，因为这些对你是透明的。所以在面试的时候，如果面试的人问到这个问题，可以先从语言级别上谈谈引用，深入的话就从底层的实现机制进行分析。而不能什么条件没有就说：引用就是指针，没有差别

 

引用和指针都属于高层抽象，在实现层次已没有抽象这个东西了，指针的高层抽象已不存在了，所以引用是无法用指针来实现的。其实这句话应该这样讲：引用可能具有与指针相同的实现，这里之所以说可能，是因为引用如何实现是编译器设计者的事情，“与指针相同的实现”并不是唯一的实现方法（尽管可能是最常用的方法），编译器设计者可以根据自己的目标和需求自行选择引用的实现，只要结果符合引用的抽象语义就行了。