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