在C++中,函数的返回引用用法

// 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)被释放了.

从以上测试得出结论.函数的引用返回必须被正确的使用.否则不可避免的会发生内存泄漏.