// fragment 1
// class for tracing into the source
class Int{
private:
int _value;
Int(int v):_value(v){}
~Int(){cout << "destructed " << _value << endl;
}
在函数中返回一个引用的用法:例如一下的代码片段,
// fragment 2
Int &returnRef(void){
Int *pi=new Int(1);
return *pi;
}
一般我们在一段代码中使用new创建指针对象时.都需要delete. 但是在fragment 2中并没有这样做. 因为在这里创建的对象需要被引用的方式返回.如果删除了.在后面的使用就会出现访问内存越界.
测试代码
// fragment 3
int main(void){
Int i=returnRef();
return 0;
}
// result:
// destructed 1
从这里可以看出.在fragment 3中的变量i其实是fragment 2中的指针对象.在main中自动被系统释放了. 引用函数返回的值要赋予给实例化的变量,这是一种比较合理的使用方法.可以让系统自动释放内存.
下一步,测试一下赋值操作和初始化的分别.测试代码如下
// fragment 4
int main(void){
Int i(2);
i=returnRef();
return 0;
}
// result:
// destructed 2
注意.这段代码造成了内存泄漏.,对象Int(1)的解析没有被执行.说明内存泄漏了.
再把代码改为:
// fragment 5
int main(void){
Int *pi;
pi=&returnRef();
delete pi;
return 0;
}
// result:
// destructed 1
Int(1)被释放了.
从以上测试得出结论.函数的引用返回必须被正确的使用.否则不可避免的会发生内存泄漏.