首先先看代码:
#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对象进行重新构造。