避免创建不必要的大对象(把大对象转换为小对象)

在模板函数中，很多情况下，我们仅仅需要一个对象的类型，而并不需要这个对象的实体，例如：

 template<typenameT> void HandObject()

{

                cout<< typeid(T).name() << endl;

} 

在调用时，用户必须明确地指定模板类型：

HandObject<bigObject>();

很多时候，用户并不喜欢这种调用方式，或许用户更喜欢下面的方式：

template<typenameT> void HandObject(T)

{                                                                             

                cout<< typeid(T).name() << endl;

} 

但是这样用户必须传入一个T对象，如果这个T对象很大，或者构造很复杂的话，则是得不偿失的：为了用户易用，而不得不构建一个很大或者很复杂的临时对象，并且这个临时对象完全是不必要创建的。如：

struct bigObject

 {

                        int m_data[10240];

};

 

为了解决这个问题，我们可以使用一个Type2Type来把一个大对象转换为一个小得可以忽略不计的小对象。

 

template<typenameT> struct Type2Type

{

                typedefT OriType;

};

template<typenameT> void HandObject(Type2Type<T>)

{                                                                             

cout << typeid(T).name()<< endl;

}

 

这个Type2Type对象大小只为一个标记符尺寸：1字节。从而把一个大对象转化为一个小对象：把创建40K字节的bigObject对象改为创建1字节的Type2Type对象

则调用形式转换为：

HandObject(Type2Type<bigObject>());

HandObject还有另外一种形式：

 

template<typenameT> void HandObject(T,typename T::OriType* p= NULL)

{                                                                             

                cout<< typeid(T).name() << endl;

}

这两个HandObject形式可以并存，只是当模板匹配时，HandObject(Type2Type<T>)的匹配更优，从而HandObject(Type2Type<T>)被优先匹配，而HandObject(T,typename T::OriType* p= NULL)不被使用。