看到C++编程思想中有这样的一段代码
class Integer
{
....
public:
friend const & operator+(const Integer& a);
....
}
const & operator+(const Integer & a)
{
cout<<"+Integer\n";
return a;
}
这边返回了一个Integer的引用,没想明白这里用上const有什么区别,开始还误以为返回了函数中的临时变量,就研究,总结了下函数返回过程(临时变量)的这个问题。
一般来说在函数中返回值是没有问题的,返回的是值的一个拷贝,但是返回函数中声明的变量时,当函数调用结束,这块内存就被释放掉了,此时就会产生问题。
先看代码:
#include <iostream>
using namespace std;
class Integer
{
private:
int m_i;
static int count;
int id;
public:
Integer(int i):id(count+1), m_i(i)
{
count++;
cout<<"constructor"<<endl;
}
Integer(const Integer &cpy)
{
cout<<"copy function call\n";
m_i = cpy.m_i;
count++;
id = count;
}
~Integer()
{
count--;
cout<<"destructor"<<endl;
}
// const Integer &operator+(const Integer & i)
// {
// long tmp = m_i + i.m_i;
// Integer test = Integer(tmp);
// cout<<"operator here"<<endl;
// cout<<&test<<endl;
// return test;
// }
Integer operator+(const Integer & i)
{
long tmp = m_i + i.m_i;
Integer test = Integer(tmp);
cout<<"operator here"<<endl;
cout<<&test<<endl;
return test;
}
// Integer &operator+(const Integer & i)
// {
// long tmp = m_i + i.m_i;
// Integer test = Integer(tmp);
// cout<<"operator here"<<endl;
// cout<<&test<<endl;
// return test;
// }
friend ostream & operator<<(ostream &os, const Integer &m)
{
os<<"I am :"<<m.id<<'\t'<<"data:"<<m.m_i;
return os;
}
};
int Integer::count =0;
int main()
{
Integer m(1), n(2);
Integer p = m + n;
cout<<&p<<endl;
cout<<p;
return 0;
}
先看看这个函数的的行为
Integer operator+(const Integer & i)
程序一共创建了4个对象,3个由构造函数创建,一个由拷贝函数创建。当operator函数返回时首先调用拷贝函数创建第四个对象,然后析构函数被调用销毁临时对象,所以输出p时的id是4。
const Integer &operator 和Integer &operator两个的行为相似,这两个函数不调用拷贝函数,但是当他们返回时,返回引用(指针)的内存已经被销毁。
总结,调用函数时,在栈中创建的临时变量会被销毁,只能用来传值,不能用来传递引用(指针),可以返回在堆中分配的内存的指针,用new,malloc。而开头所说的其实是在函数外部分配的内存,函数调用后不会被销毁。
返回临时变量实际时比较危险的行为,而且会调用拷贝函数,最好的方式是通过函数参数输出,而利用返回值表明函数执行的状态。
第一次写技术博客,随便写写,不过自己感觉思路清晰不少了。