C++ 是介于汇编语言与高级语言之间的一种“全能”语言。它的能力是其他任何基于VMA（冯-诺曼架构）计算机的高级程序设计语言无法望其项背的，而性能也只有C语言可与之伯仲。
　　然而长期以来，喜欢C++和憎恨C++的阵营，恶斗了三十多年，谁也说服不了谁。其中的一个重要原因是：C++的逻辑和语意难以分割，计算机学术界很难把它形式化（比如具有像Haskell那样的数学美）， 这和量子力学里的不确定性类似，爱因斯坦对此讨厌之极。
　　这里我不想评论两方的对错，但是我想C++的一个基本的概念，也是重要的概念之一的“reference"，作一番论述，看看是否说得通。
　　读者如果读过拙文“ http://blog.csdn.net/ly8838/article/details/38638491”，可能会对reference微妙的一面有所共鸣的。这里我想进一步谈谈reference的一些细节。
　　要想叙述reference，我们不得不从更基本的定义 - 直接对象（direct object）说起.
　　C++中，直接对象是“常规变量”（normal variable）， 具有“值语意”（value semantics），和rvalue 语意。 这还没有引入reference，已经陷入逻辑上“循环定义”的怪圈了。要想跳出，只有举例：
　　long x;
　　MyClass m;  // MyClass is a user defined class
　　上面x和m都是“直接变量”，它们在内存中的区域可以不同：可以在程序的静态空间（全程变量），可以在工作堆栈内（自动变量），也可在动态空间内（间接地包含在母object中）。由于所在区域不同，这些直接变量对程序性能的特征影响很大（以后的博克会提及）。但是重要的，是它们和传统的“基本型变量（primitive type variable）”在语法和用法上的相似。这是C++为何会支持它的重要原因。
　　对于首先学习C#，JavaScript， 或其他现代语言的程序员来说，“直接变量”几乎没有对应的概念。而更加令人不解的是，在“动态空间（heap）”中，直接变量只能“间接”地存在。而能够“直接使用”动态变量"的方法只有“指针”和“reference”. 这里又陷入了循环：解释直接变量时，又无法绕开“指针”和“reference”。
　　那么reference到底是什么呢？看看微基的解释，（http://en.wikipedia.org/wiki/Reference_(C%2B%2B)），它几乎也是同意反复，后只有用“比喻”来解释。也是说，不用“指针”，“内存地址”等概念无法解释。
　　那么，通俗上的说法“reference 是变量的alias (同体异名？)”是否说得通呢？
　　我认为，对于初学者来说，alias可谓好的“比喻”。请看：
　　int x = int(10);           // line1
　　int & r = x;                // line2: r is an alias of x
　　r++;                         // line3: x is now 11
　　r = 3;                       // line4: x is now 3
　　assert (&r == &x);     // line5: r points to x
　　我们看到，上面的程序显示，r 和 x 几乎没任何区别，好像是形影相随，难分难舍。这正是C++的宗旨：让reference的变量和直接变量具有“等同”的语法，用法。
　　作为初级程序员来说，知道到这个用法也够了，但是“一点点知识是危险的”。如果我们以为x 和 r 是一个东西，那错了：
　　首先，x 是“直接变量”，而r是间接变量，所以它们在语意上是完全不一样的（编译出来的代码大相庭径）。你可以说这与我无关，会应用行了，这也不错，不过并不能高枕无忧：在另一个环境里，你可能会因为不清楚object reference 和 direct object 的区别而出错，或是写出性能差别极大的程序。
　　从语意上看，line2 几乎等于 r = &x (取x的地址），无怪乎许多人认为 reference 其实是指针， 而且line5证明它的确指着它的“直接变量”。知道这一点，对于下列代码很重要：
　　class X {…}
　　void myXFunction(X x) {…}
　　void myXFunction2(const X & x) {…}
　　如果认为X& 是 X 的“alias”，而且用法一样， 那么你可能不需要myXFunction2，但是如果你知道X&的语意和X * 一样，你才会推论出myXFunction2的性能一般会比myXFunction好，特别是当X里面包含大量“成员”时，myXFunction2不用copy 内容，只需copy地址 （我们说这是浅拷贝- shallow copy）， 而myXFunction必须传入的内容copy 到argument变量中（我们说这是深拷贝- deep copy）。
　　在这里，语意盖过了逻辑。const X &x 的用法，特别是语意，好用指针来诠释才说得过去。