在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)被释放了.
从以上测试得出结论.函数的引用返回必须被正确的使用.否则不可避免的会发生内存泄漏.