C++设计新思维（1）

本文所有的例证代码在ReactOS-0.3.14\include\c++\stlport\type_traits有所展示，这是reactos项目中的STL库文件编译期Assertion：

Template <class To,class From>

To safe_reinterpret_cast(From from)

{

Assert(sizeof(from)<=sizeof(To));

Return reinterpret_cast<To>(from);

}要保证转型时安全的，那么必须保证大的类型不能够转化为小的类型，上式提供了断言方式，在运行期作用。

如果我们需要保证在编译器就可以发现问题，那么需要另外一种更为巧妙的方法

#define STATIC_CHECK（expr）{char[expr?1:0];}

那么上面的安全转型检测将可以改写成下面这种方式：

Template <class To,class From>

To safe_reinterpret_cast(From from)

{

STATIC_CHECK(sizeof(from)<=sizeof(To));

Return reinterpret_cast<To>(from);

}

当然这个式子成立的前提是大小为0的数组要给出报错。下面更进一步，利用C++当中的模板来优化STATIC_CHECK。在这里要提两个概念：NULLCLASS和EMPTYCLASS。NULLCLASS表示只有声明而没有定义的类，而EMPTYCLASS的定义是既没有成员变量也没有成员函数（注意这时的EMPTYCLASS的大小并不是0，而是1）。

Template<bool> struct CompileTimeError;

Template<> truct CompileTimeError<TRUE>{};

STATIC_CHECK(expr) (CompileTimeError<expr!=0>)

这里，如果STATIC_CHECK里面的参数估值为真的时候，那么忧郁偏特化会生成一个EMPTYCLASS，但是如果估值为假的时候，则会生成一个NULLCLASS的实例，而这是不允许的，所以要报错。

当然还可以更进一步将STATIC_CHECK进行改造如下。

Template<bool> struct CompileTimeError

{

CompileTimeError（…）//省略号表示可以接受任何参数

};

Template<> truct CompileTimeError<FALSE>{};

STATIC_CHECK(expr,msg) {\

Class ERROR##msg{};\

（void*）sizeof(CompileTimeError<expr> (ERROR##msg()));\

}

 

（void）sizeof(CompileTimeError<expr> (ERROR##msg()));这一句本意并不是为了求大小，而是为了强制将ERROR##msg临时构造初来的实例转化为template<bool>CompileTimeError对象（否则无用语句可能被编译器优化掉），同时因为sizeof不是函数，所以实际sizeof当中的式子并未被求值。由于Template<> truct CompileTimeError<FALSE>类没有构造函数进行有效的转换，所以会报错。

类型映射为类型

Template<int v> struct int2type{enum{value=v}}

很明显在这里int2type<0>和int2type<1>是不同的类型。更近一步看一个类向其他类的转换。

Template<typename T> struct type2type{typedef T originalType;}很明显，这里实现了类型到类型的映射。当然这些加上偏特化就可以发挥威力了。例如：

Template<typename T,bool isPolymorphic>

Class notifyContainer

{

Private:

void DoSomething(T* pObj,int2type<false>)

{

T* pNewObj=pObj->Clone();

……

}

void DoSomething(T* pObj,int2type<true>)

{

T* pNewObj=new T（pObj）;

……

}

Public：

void DoSomething(T* pObj)

{

DoSomething(T* pObj,int2type<isPolymorphic>)

}

}

这样的情况同样也适用于type2type的情况，当然也不必担心内部的函数过多会增加程序的大小，编译器会自动优化掉那些没有生成的函数以及类。

编译期间的继承侦测

Template<typename T,typename U>

Struct Conversation{

Typedef char Small;

Class Big{char dummy[2];};

Static Small test(U);

Static T MakeT()；

Static Big test(…)；

Enum{

Exit=sizeof（test（MakeT（）））==sizeof（Small）

}；

}

最后的exit的取值如之前分析的，在三种情况下exit的值等于1，第一T和U是同一类型，第二U是T的基类，第三T是void。