pass by reference的滥用情况
reference的方式返回必然需要创建一个对象,耗费资源,这已经是一个糟糕的行为。
1. 返回reference指向一个local对象(也就是在stack空间创建的对象)
const Ra& operator*(const Ra& lhs, const Ra& rhs)
{
Ra ret(lhs.n*rhs.n, lhs.d*rhs.d);
return ret;
}
local对象在函数退出前就被销毁了,这是一个“无定义行为”,十分危险,返回指针指向一个local对象的行为同理。
2. 在heap内构建一个对象,并返回reference指向它。
const Ra& operator*(const Ra& lhs, const Ra& rhs)
{
Ra* rp = new Ra(lhs.n*rhs.n, lhs.d*rhs.d);
return *rp;
}
需要调用者实施delete,即使调用者意识良好,依然可能造成内存泄漏:
Ra w, x, y, z;
w = x * y * z; //operator*(operator*(x, y), z)
调用了两次new,调用者无法取得operator*返回的reference背后隐藏的那个指针,无法对该指针实施delete。
3. 返回的reference指向class内的static对象。
这确实避免了(函数调用时)构造函数被调用,但引发了其他问题:
Ra a, b, c, d;
if((a*b) == (c*d)){
//当乘积相等时,做适当的动作
}
表达式始终为true,两次operator*调用确实各自改变了static对象的值,但由于它们返回的都是reference,指向同一对象,调用端始终看到的是static对象的“现值”。
当你必须使用by-value时,就交给编译器“优化”吧。
请记住:
绝不要返回pointer或reference指向一个local对象,或返回reference指向一个heap-allocated对象,或返回pointer或reference指向一个local static对象。