返回值（引用or值传递）

 

1.    返回值是“引用传递”替换“值传递”

如果函数的返回值是一个对象，有些场合用“引用传递”替换“值传

递”可以提高效率。而有些场合只能用“值传递”而不能用“引用传递”，否则会

出错。

例如：

class String

{⋯

// 赋值函数

String & operate=(const String &other);

// 相加函数，如果没有friend 修饰则只许有一个右侧参数

friend String operate+( const String &s1, const String &s2);

private:

char *m_data;

}

String 的赋值函数 operate = 的实现如下：

String & String::operate=(const String &other)

{

if (this == &other)

return *this;

delete m_data;

m_data = new char[strlen(other.data)+1];

strcpy(m_data, other.data);

return *this; // 返回的是 *this 的引用，无需拷贝过程

}

对于赋值函数，应当用“引用传递”的方式返回 String 对象。如果用“值传递”的

方式，虽然功能仍然正确，但由于 return 语句要把 *this 拷贝到保存返回值的外部存

储单元之中，增加了不必要的开销，降低了赋值函数的效率。例如：

String a,b,c;

⋯

a = b; // 如果用“值传递”，将产生一次 *this 拷贝

a = b = c; // 如果用“值传递”，将产生两次 *this 拷贝

String 的相加函数 operate + 的实现如下：

String operate+(const String &s1, const String &s2)

{

String temp;

delete temp.data; // temp.data 是仅含‘ /0’的字符串

temp.data = new char[strlen(s1.data) + strlen(s2.data) +1];

strcpy(temp.data, s1.data);

strcat(temp.data, s2.data);

return temp;

}

对于相加函数，应当用“值传递”的方式返回 String 对象。如果改用“引用传递”，

那么函数返回值是一个指向局部对象 temp 的“引用”。由于 temp 在函数结束时被自动

销毁，将导致返回的“引用”无效。例如：

c = a + b;

此时 a + b 并不返回期望值，c 什么也得不到，流下了隐患。

2. return 语句的效率

如果函数返回值是一个对象，要考虑 return 语句的效率。例如

return String(s1 + s2);

这是临时对象的语法，表示“创建一个临时对象并返回它”。不要以为它与“先创建

一个局部对象 temp 并返回它的结果”是等价的，如

String temp(s1 + s2);

return temp;

实质不然，上述代码将发生三件事。首先， temp 对象被创建，同时完成初始化；然

后拷贝构造函数把 temp 拷贝到保存返回值的外部存储单元中；最后， temp 在函数结束

时被销毁（调用析构函数）。然而“创建一个临时对象并返回它”的过程是不同的，编

译器直接把临时对象创建并初始化在外部存储单元中，省去了拷贝和析构的化费，提高

了效率。

类似地，我们不要将

return int(x + y); // 创建一个临时变量并返回它

写成

int temp = x + y;

return temp;

由于内部数据类型如 int,float,double 的变量不存在构造函数与析构函数，虽然该“临

时变量的语法”不会提高多少效率，但是程序更加简洁易读。