Visual Studio2010新特性--C++王者归来（3）-泛型编程-转移构造函数

泛型编程（generic programming）关注于产生通用的软件组件，让这些组件在不同的应用场合都能很容易地重用。在c++中，类模板和函数模板是进行泛型编程极为有效的机制。

什么是临时对象？定义：当且仅当离开一段上下文(context)时在对象上执行的仅有的操作是析构函数时，一个对象被看成是临时的。这里上下文可能是一个表达式，也可能是一个语句范围，例如函数体。

创建、复制和销毁临时对象是vc++编译器干的最多的事情，但临时对象会降低性能.转移构造函数就是解决C++存在的不必要的复制问题的方法。

对象生成器对象生成器是一种函数模板，依据其参数产生新的对象。可以把它想象成泛型化的构造函数。有些情况下，欲生成的对象的精确类型很难甚至根本无法表示出来，这时对象生成器可就管用了。对象生成器的优点还在于它的返回值可以直接作为函数参数，而不像构造函数那样只有在定义变量时才会调用。移动构函数就是为了解决C++存在的不必要的复制问题的方法。

VC++2010在c++语言里面增加了一个特殊的新特性，转移构造函数，解决C++存在的不必要的复制问题的方法。

代码由vc++2010调试通过！备有详细的注释!

#include "stdafx.h"
#include <vector>
#include <iostream>

using namespace std;

bool g_bTraceOutput = true;

class CSomeObject
{
public:
	CSomeObject()
		: m_iBufferSize(0)
		, m_pBuffer(NULL)
		, m_iInstanceID(ms_iInstanceCounter++)
	{
	}

	// 普通构造函数
	CSomeObject(unsigned int iBufferSize)
		: m_iBufferSize(iBufferSize)
		, m_pBuffer(NULL)
		, m_iInstanceID(ms_iInstanceCounter++)
	{
		if (g_bTraceOutput)
			cout << "In NORMAL constructor for ID " << m_iInstanceID << " (size=" << m_iBufferSize << ")" << endl;
		if (m_iBufferSize > 0)
		{
			m_pBuffer = new char[m_iBufferSize];
			memset(m_pBuffer, 0, m_iBufferSize);
		}
	}

	// 拷贝构造函数
	CSomeObject(const CSomeObject& objSource)
		: m_iInstanceID(ms_iInstanceCounter++)
	{
		if (g_bTraceOutput)
			cout << "In COPY constructor from ID " << objSource.m_iInstanceID  << " to ID " << m_iInstanceID << " (size=" << objSource.m_iBufferSize << ")" << endl;
		m_iBufferSize = objSource.m_iBufferSize;
		if (m_iBufferSize > 0)
		{
			m_pBuffer = new char[m_iBufferSize];
			memset(m_pBuffer, 0, m_iBufferSize);
		}
	}

	~CSomeObject()
	{
		if (g_bTraceOutput)
			cout << "In destructor for ID " << m_iInstanceID << " (size=" << m_iBufferSize << ")" << endl;
		if (m_pBuffer)
			delete [] m_pBuffer;
		m_pBuffer = NULL;
	}

protected:
	unsigned m_iBufferSize;
	char* m_pBuffer;
	int m_iInstanceID;
	
	static int ms_iInstanceCounter;
};
int CSomeObject::ms_iInstanceCounter = 0;

class CSomeObjectWithMoveConstructor : public CSomeObject
{
public:
	CSomeObjectWithMoveConstructor()
		: CSomeObject()
	{
	}

	// 普通构造函数
	CSomeObjectWithMoveConstructor(unsigned int iBufferSize)
		: CSomeObject(iBufferSize)
	{
	}

	// 拷贝构造函数
	CSomeObjectWithMoveConstructor(const CSomeObjectWithMoveConstructor& objSource)
		: CSomeObject(objSource)
	{
	}

	// 转移构造函数
	CSomeObjectWithMoveConstructor(CSomeObjectWithMoveConstructor&& objSource)
	{
		if (g_bTraceOutput)
			cout << "In MOVE constructor from ID " << objSource.m_iInstanceID << " to ID " << m_iInstanceID << " (size=" << objSource.m_iBufferSize << ")" << endl;

		m_iBufferSize = objSource.m_iBufferSize;
		m_pBuffer = objSource.m_pBuffer;

		objSource.m_iBufferSize = 0;
		objSource.m_pBuffer = NULL;
	}
};

int _tmain(int argc, _TCHAR* argv[])
{
	vector<CSomeObjectWithMoveConstructor> vec1;
	cout << "Adding first object to vector:" << endl;
	vec1.push_back(CSomeObjectWithMoveConstructor(1024));
	cout << endl << "Adding second object to vector:" << endl;
	vec1.push_back(CSomeObjectWithMoveConstructor(1024));

	g_bTraceOutput = false;

	cout << endl << "Press any key to run some timings..." << endl;
	cin.get();

	static int siBufferSize = 1024*1024*10;
	static int siObjectCount = 100;

	// 第一次无转移构造函数
	cout << "Without move constructor: /t";
	DWORD dwStart = GetTickCount();
	vector<CSomeObject> vec2;
	for (int i=0; i<siObjectCount; ++i)
	{
		vec2.push_back(CSomeObject(siBufferSize));
	}
	DWORD dwEnd = GetTickCount();
	cout << "Elapsed time: " << (dwEnd-dwStart) << " milliseconds." << endl;
	vec2.clear();

	// 第2次有转移构造函数
	cout << "With move constructor: /t";
	dwStart = GetTickCount();
	vector<CSomeObjectWithMoveConstructor> vec3;
	for (int i=0; i<siObjectCount; ++i)
	{
		vec3.push_back(CSomeObjectWithMoveConstructor(siBufferSize));
	}
	dwEnd = GetTickCount();
	cout << "Elapsed time: " << (dwEnd-dwStart) << " milliseconds." << endl;
	vec3.clear();

	return 0;
}

供大家学习vc++2010新特性，欢迎技术交流

c++标准没有定义临时对象，但是它假定临时对象是匿名的，例如函数的返回值。按照我们的更一般化的定义，在函数中定义的命名的栈分配的变量也是临时的。