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