5 / 46
complex operator +(const complex &a,const complex &b){
„„//同上
这样就可以用 c=a+b 来表示复数加法了，这是最简洁也最清晰的一种形式。所以，一
个函数的函数名、参数个数和类型、返回值类型应该能够自然地体现出这个函数所要实现
的操作。（清晰原则 1）
上面的方法似乎已经非常完美了，但是其实还有问题：性能问题。在 add 函数里，我
们定义了一个局部变量 c，然后把 c 作为返回值，实际上返回的是 c 的一个副本，这种复制
导致了不必要的开销。尽管复制一个复数所需的时间微不足道，但是推而广之，假如是做
矩阵加法呢？矩阵 C=add(A,B)，如果 C 是 100*100 的矩阵，那么就要把 C 的 10000 元素都
进行复制，这时间可就不能忽视了。其实，我们在传入参数 a 和 b 时，用的是引用传参
（complex &a,complex &b），而不是按值传参（complex a,complex b），就是为了避免在传参
数过程中多余的复制运算。所以要尽量减少对变量的复制。（快速原则 1）
如何解决返回时多余的复制操作？这是 C++独有的一个缺陷，Java 和 C#并不存在这个
问题。在 Java 和 C#里，返回的只是引用，并不需要复制。C++也可以返回引用啊，比如这
样：
complex& add(const complex &a,const complex &b){
„„//同上
但是，这样做并不能如愿，因为返回的是对局部变量 c 的引用，局部变量在函数返回
的时候就会自动销毁，也就是说，返回的是对一个不复存在的变量的引用！这样带来的后
果，是不可预测的。所以，要保证每个指针或引用不指向实际并不存在的变量。（安全原
则 1）（引用的实质就是指针）
局部变量是在栈中创建的，所以函数一返回就自动销毁，那可不可以在堆中创建变量
c？比如这样：
complex& add(const complex &a,const complex &b){
complex* pc=new complex();//在堆中创建变量 c
pc->x=a.x+b.x;
pc->y=a.y+b.y;
return *pc;
}
实际上，Java 和 C#就是这样做的。但是 C++这样做会有一个严重问题：你在堆中创建
了变量，什么时候回收？如果不回收，则会浪费内存（或者叫内存泄漏），如果要回收，则
每次用完这个返回值之后都要自己手动回收，比如说：
complex& c=add(a,b);
„„//用 c 进行其它运算
delete &c; //手动回收
这简直就是麻烦。Java 和 C#以及其它很多高级语言都有自动垃圾回收机制，所以不需
要手动回收，但是 C++却只能这样。总之，在堆中创建的变量，要保证能回收。（安全原则
2）
现有 C++很难解决这个问题，不过，即将发布的 C++新标准，加入了“右值引用”的
新特性，可以完美地解决这个问题。网上有很多资料，具体我就不介绍了。
在现有的情况下，只能根据实际需要进行折衷设计，一般牺牲快速原则用 c=a+b。
评论1