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。在这里要提两个概念:NULLCLASSEMPTYCLASSNULLCLASS表示只有声明而没有定义的类,而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()));\

}

 

voidsizeof(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(testMakeT()))==sizeofSmall

};

}

最后的exit的取值如之前分析的,在三种情况下exit的值等于1,第一TU是同一类型,第二UT的基类,第三Tvoid


  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值