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存在疑问，下一步将深入了解，准确的+重载的写法。