深入理解C++中的对象和对象引用

      有言在先： 返回局部对象和引用， 就像返回局部变量的地址一样， 非常非常危险， 要避免使用。  下面程序中有的地方返回了局部对象的指针， 实际上也是危险的， 但本文先不讨论这个。

 

      先来看一个入门级的程序：

 

#include <iostream>
using namespace std;

class A
{
public:
	A()
	{
		cout << "A constructor" << endl;
	}
};

void fun(A a)
{

}

int main()
{
	A a;
	cout << "---" << endl;
	fun(a);

	return 0;
}

 

      结果为：

 

A constructor
---

     编译器自动产生的拷贝构造函数得到了调用。

 

 

#include <iostream>
using namespace std;

class A
{
public:
	~A()
	{
		cout << "A deconstructor" << endl;
	}
};

void fun(A a)
{

}

int main()
{
	A a;
	cout << "---" << endl;
	fun(a);

	return 0;
}

     结果为：

 

---
A deconstructor
A deconstructor

     注意， 有两个对象， 所以有两次析构。

 

       在第一个程序中， 我们来显式定义一下拷贝构造函数：

 

#include <iostream>
using namespace std;

class A
{
public:
	A()
	{
		cout << "A constructor" << endl;
	}

	A(A& a)
	{
		cout << "copy constructor" << endl;
	}
};

void fun(A a)
{

}

int main()
{
	A a;
	cout << "---" << endl;
	fun(a);

	return 0;
}

       结果为：

 

A constructor
---
copy constructor

      可见， 拷贝构造函数确实被调用了

 

     

      我们来继续看：

 

#include <iostream>
using namespace std;

class A
{
public:
	A()
	{
		cout << "A constructor" << endl;
	}

	A(A& a)
	{
		cout << "copy constructor" << endl;
	}

	~A()
	{
		cout << "A deconstructor" << endl;
	}

};

void fun(A &a)
{

}

int main()
{
	A a;
	cout << "---" << endl;
	fun(a);

	return 0;
}

      结果为：

 

A constructor
---
A deconstructor

     可见， 没有对象的拷贝。 这样， 在fun函数中， 就省略了拷贝的过程， 而是直接引用a. 节省时间， 节省空间， 真好。

 

      

     

#include <iostream>
using namespace std;

class A
{
public:
	A()
	{
		cout << "A constructor" << endl;
	}

	A(A& a)
	{
		cout << "copy constructor" << endl;
	}

	~A()
	{
		cout << "A deconstructor" << endl;
	}

};

A fun()
{
	A a;
	cout << "------" << endl;
	return a;
}

int main()
{
	A a;
	cout << "---" << endl;
	fun();

	return 0;
}

      结果为：

 

A constructor
---
A constructor
------
copy constructor
A deconstructor
A deconstructor
A deconstructor

 

      继续看：

 

#include <iostream>
using namespace std;

class A
{
public:
	A()
	{
		cout << "A constructor" << endl;
	}

	A(A& a)
	{
		cout << "copy constructor" << endl;
	}

	~A()
	{
		cout << "A deconstructor" << endl;
	}

};

A& fun()
{
	A a;
	cout << "------" << endl;
	return a; // 翻译局部对象的引用， 危险。
}

int main()
{
	A a;
	cout << "---" << endl;
	fun();

	return 0;
}

      结果为：

 

A constructor
---
A constructor
------
A deconstructor
A deconstructor

      看吧， 在函数返回的时候， 是返回引用的， 这样， 又少了一次拷贝。

 

      继续看一个稍微复杂一点的：

 

#include <iostream>
using namespace std;

class A
{
public:
	A()
	{
		cout << "A constructor" << endl;
	}

	A(A& a)
	{
		cout << "copy constructor" << endl;
	}

	~A()
	{
		cout << "A deconstructor" << endl;
	}

};

A fun(A a)
{
	A aa;
	cout << "------" << endl;
	return aa;
}

int main()
{
	A a;
	cout << "---" << endl;
	fun(a);

	return 0;
}

      结果：

 

A constructor
---
copy constructor
A constructor
------
copy constructor
A deconstructor
A deconstructor
A deconstructor
A deconstructor

 

      对上面程序进行优化：

 

#include <iostream>
using namespace std;

class A
{
public:
	A()
	{
		cout << "A constructor" << endl;
	}

	A(A& a)
	{
		cout << "copy constructor" << endl;
	}

	~A()
	{
		cout << "A deconstructor" << endl;
	}

};

A& fun(A& a)
{
	A aa;
	cout << "------" << endl;
	return aa;  // 返回局部对象的引用， 危险。
}

int main()
{
	A a;
	cout << "---" << endl;
	fun(a);

	return 0;
}

      结果为：

 

A constructor
---
A constructor
------
A deconstructor
A deconstructor

       可见， 对象引用在C++中确实有很大的好处。比传对象快捷高效， 比指针更优美。