项：
（1）不能返回局部变量的引用。这条可以参照 Effective C++[1]的 Item 31。主要原因是局部
变量会在函数返回后被销毁，因此被返回的引用就成为了"无所指"的引用，程序会进入
未知状态。
（2）不能返回函数内部 new 分配的内存的引用。这条可以参照 Effective C++[1]的 Item 31。
虽然不存在局部变量的被动销毁问题，可对于这种情况（返回函数内部 new 分配内存的
引用），又面临其它尴尬局面。例如，被函数返回的引用只是作为一个临时变量出现，而
没有被赋予一个实际的变量，那么这个引用所指向的空间（由 new 分配）就无法释放，
造成 memory leak  

。 （3）可以返回类成员的引用，但最好是 const。这条原则可以参照

Effective C++[1]的 Item 30。主要原因是当对象的属性是与某种业务规则（business rule）相
关联的时候，其赋值常常与某些其它属性或者对象的状态有关，因此有必要将赋值操作
封装在一个业务规则当中。如果其它对象可以获得该属性的非常量引用（或指针），那么
对该属性的单纯赋值就会破坏业务规则的完整性。
（4

“

”

）流操作符重载返回值申明为 引用 的作用：

流操作符<<和>>，这两个操作符常常希望被连续使用，例如：cout << "hello" << endl; 因
此这两个操作符的返回值应该是一个仍然支持这两个操作符的流引用。可选的其它方案包
括：返回一个流对象和返回一个流对象指针。但是对于返回一个流对象，程序必须重新
（拷贝）构造一个新的流对象，也就是说，连续的两个<<操作符实际上是针对不同对象
的！这无法让人接受。对于返回一个流指针则不能连续使用<<操作符。因此，返回一个流
对象引用是惟一选择。这个唯一选择很关键，它说明了引用的重要性以及无可替代性，也
许这就是 C++语言中引入引用这个概念的原因吧。赋值操作符=。这个操作符象流操作符一
样，是可以连续使用的，例如：x = j = 10;或者(x=10)=100;赋值操作符的返回值必须是一

 

个左值，以便可以被继续赋值。因此引用成了这个操作符的惟一返回值选择。 例 3
＃i nclude <iostream.h> int &put(int n); int vals[10]; int error=-1;
void main() {
put(0)=10; //以 put(0)函数值作为左值，等价于 vals[0]=10; put(9)=20; //以 put(9)函数值作为
左值，等价于 vals[9]=20; cout<<vals[0]; cout<<vals[9]; }
int &put(int n) {
if (n>=0 && n<=9 ) return vals[n];
else { cout<<"subscript error"; return error; } }
（5）在另外的一些操作符中，却千万不能返回引用：+-*/ 四则运算符。它们不能返回引
用，Effective C++[1]的 Item23 详细的讨论了这个问题。主要原因是这四个操作符没有 side 
effect，因此，它们必须构造一个对象作为返回值，可选的方案包括：返回一个对象、返
回一个局部变量的引用，返回一个 new 分配的对象的引用、返回一个静态对象引用。根据
前面提到的引用作为返回值的三个规则，第 2、3 两个方案都被否决了。静态对象的引用又
因为((a+b) == (c+d))会永远为 true 而导致错误。所以可选的只剩下返回一个对象了。
6. “

”

引用 与多态的关系？

引用是除指针外另一个可以产生多态效果的手段。这意味着，一个基类的引用可以指向它

 

的派生类实例。 例 4
Class A; Class B : Class A{...}; B b; A& ref = b; 7. “

”

引用 与指针的区别是什么？

指针通过某个指针变量指向一个对象后，对它所指向的变量间接操作。程序中使用指针，
程序的可读性差；而引用本身就是目标变量的别名，对引用的操作就是对目标变量的操
作。此外，就是上面提到的对函数传 ref 和 pointer

 

的区别。 8. 

“

”

什么时候需要 引用 ？

流操作符<<和>>、赋值操作符=的返回值、拷贝构造函数的参数、赋值操作符=的参数、其它