String中返回对象和返回对象引用的对比

在林锐的《高质量C++编程》里面有这一段描述：

如果函数的返回值是一个对象，有些场合用“引用传递”替换“值传递”可以提高效率。而有些场合只能用“值传递”而不能用“引用传递” ，否则会出错。

例如：

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 什么也得不到，流下了隐患。

总结如下：

1.一般赋值重载函数，返回的是对象的引用，其原因如下：A.可以省去将对象复制给外部对象时使用的临时对象的开销 B.可以使用该函数的返回值作为左值，实现“链式表达式”，如果单纯的返回对象，则只是一个右值，为常量

2.对于+和*等二目运算符而言，则需要返回对象，其原因如下：因为+和*会产生一个临时对象，返回临时对象的引用，会造成悬垂指针。

但是最后的return temp存在疑问，下一步将深入了解，准确的+重载的写法。