首先先看代码:
#include <iostream>
using namespace std;
/*
类名:A
*/
class A
{
int num;
public:
A( int num );
~A();
A( A& a );
A operator=( int num );
friend ostream& operator<<( ostream& o, const A& a );
};
/*
A类的构造函数
*/
A::A( int num ):num(num)
{
cout << "Constructor is Called..." << "\t,addr = " << this << endl;
}
/*
A类的析构函数
*/
A::~A()
{
cout << "Destructor is Called..." << "\t,addr = " << this << endl;
}
/*
类A重载=运算符
*/
A A::operator=( int num )
{
cout << "operator= is Called..." << "\t\t,addr = " << this << endl;
return A(num);
}
/*
类A重载<<运算符
*/
ostream& operator<<( ostream& o, const A& a )
{
o << a.num;
return o;
}
/*
入口函数
*/
int main()
{
A a(10);
A b = (a = 20);
cout << "================================================" << endl;
cout << "a = " << a << "\t,addr = " << &a << endl;
cout << "b = " << b << "\t,addr = " << &b << endl;
cout << "================================================" << endl;
}
输出结果:
Constructor is Called... ,addr = 0027FC90
operator= is Called... ,addr = 0027FC90
Constructor is Called... ,addr = 0027FC84
================================================
a = 10 ,addr = 0027FC90
b = 20 ,addr = 0027FC84
================================================
Destructor is Called... ,addr = 0027FC84
Destructor is Called... ,addr = 0027FC90
这里主要浅析两个问题:
1.非引用返回临时匿名对象
2.临时匿名对象的析构
分析:
1.在类A中我们重载了“=”运算符,由此函数内部我们可以看到返回的是一个临时匿名对象,而且是非引用方式,所以不会改变对象a本身的值,很容易在输出结果中得出答案。
2.而( a = 20 )这整个表达式所返回是一个在重载了“=”运算符函数中的临时匿名对象,按照C++规定,临时匿名对象的生存期被定在一句语句的结束,但是我们看到,当程序离开重载“=”运算符函数的时候,临时匿名对象并没有被析构,那是什么原因呢,那我们来看看程序分析一下:
Constructor is Called... ,addr = 0027FC84
这个是进入到重载“=”运算符函数时候,因为创建了一个临时匿名对象所引发的构造函数调用,这个临时匿名对象的地址就是0027FC84,然后再看输出结果,我们发现对象b的地址也是0027FC84,难道b就是临时匿名对象?其实是编译器为了效率就直接把匿名对象变为b对象,这样就省了对b对象进行重新构造。