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

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

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

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

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

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

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