很早就了解到RTTI,但一直没有机会用到它,
随便举个例子,在MFC的应用程序中,GetDlgItem()返回一个CWnd*,可是大家通常都直接cast,CEditCtrl *p = (CEditCtrl *)GetDlgItem(IDC_EDIT);
大家对这种语法都习以为常,我亦是如此。
因为想使用RTTI的时候却发觉并不是那么方便,心里总是不舒服。
CEditCtrl *pEdit = dynamic_cast<CEditCtrl*>( GetDlgItem(IDC_EDIT) );
总觉得明明知道就是CEditCtrl*,却还要在运行时检查,有那么点不爽,可惜如果使用C语法,感觉又不符合标准C++的style,长此以往,得出了一个偷懒的方法,
template< typename DestType, typename SrcType >
DestType same_hierarchy_cast( SrcType src )
{
assert( dynamic_cast< DestType >( src ) );
return static_cast< DestType >( src );
}
这个函数可以用于在一个体系上cast。
CEditCtrl *pEdit = same_hierarchy_cast< CEditCtrl * >( GetDlgItem( IDC_EDIT ) );
这样可在debug版本中保证运行时检查,(由dynamic_cast来确保是否存在可行的转换,并且src不为NULL),而在release版本中去掉这些开销(只执行static_cast)。
毕竟debug版本中运行正确,没有理由release版本中错误。
需要注意的是,这个cast不支持跨越cast,即
struct b
{
virtual ~b() {}
};
struct d1 : b {};
struct d2 : b {};
struct d : d1, d2 {};
void f1( d2 *pd2 )
{
// compile error
d1 *pd1 = same_hierarchy_cast< d1 * >( pd2 );
}
编译出错的原因很简单,因为static_cast本身就不支持跨越cast. :)
改成这样就可以了。
//
d1 *pd1 = same_hierarchy_cast< d * >(pd2 );
这里利用了一个implicit conversion from d* to d1*,
从上面的类结构中,还能够发现这样一个问题。
void f2( b* pb )
{
//
d1 *pd1 = same_hierarchy_cast< d1 * >( pb );
}
//
d2 *pd2 = new d;
f2( pd2 );
这是一个隐藏很深的错误,d对象中实际上存在2个b子对象。
f2()中的pb( b* )是由pd2( d2* ) implicit conversion而来,
这样,
d1 *pd1 = dynamic_cast< d1 * >( pb ); 可以跨越造型到pb所指向的d所包含的d1子对象,
而d1 *pd1 = static_cast< d1 * >( pb ); 却没有这样的能力,(在这儿编译器认为pb指向pd1中的一个b子对象,而不是由pd2中的,经典的错误)。
上面两个表达式获得的值是不一样的,但编译器却不会给你任何提示。
看起来没有什么好的方法来解决这个问题,在多重继承的情况下,建议最好还是用dynamic_cast吧。
Dr. BS认为,强制是C中最丑陋的特征之一,正因为如此,C++中提供了一堆cast来取代它(每个都针对不同的情况)。标准C++是绝对不推荐C style的强制的,可是我发觉还是离不开它。
比如:
b *pb = new d;
在这儿,编译器会报告一个错误,ambiguous,它不知道应该从哪儿转换,通常大多数程序员(也包括我)会这样写:
b *pb = (d1*) new d; or b *pb = (d2*) new d;
dynamic_cast用在这里纯粹是浪费,static_cast呢?感觉也不是很好。因为这只是隐式的转换,没有必要强制,怎样才能让它更自然一点,当然可以这样:
d1 *pd1 = new d;
b *pb = d1;
这也未免太。。。??
我感觉在C++中只有添加隐式转换的关键字,才能杜绝c style强制的使用。还好这个功能可以自己轻易实现。
template< typename DestType, typename SrcType >
DestType implicit_cast( SrcType src )
{
return src;
}
于是乎,前面那个例子就可以写成:
b *pb = implicit_cast< d1 * >( new d );
or
b *pb = implicit_cast< d2 * >( new d );
这样一来,即使d, d1, d2的关系改变了(如没有了父子关系),那么编译器立刻会报告出错误,而使用前者,你将什么也不知道,直到程序崩溃。
分享到:
相关推荐
RTTI应用:let's cast
Rtti(反思)实践此回购包含rtti(反射库)实践
博客中使用的完整源码【MFC(2)】,仿真了 MFC 的 RTTI。博客地址: http://blog.csdn.net/raito__/article/details/51684826
了解魔术般的技巧:RTTI初学者指南.flv
Delphi的RTTI机制文档
rtti-obfuscator:混淆二进制文件中的所有RTTI(运行时类型信息)
MFC源代码 RTTI.02MFC源代码 RTTI.02MFC源代码 RTTI.02MFC源代码 RTTI.02MFC源代码 RTTI.02MFC源代码 RTTI.02MFC源代码 RTTI.02MFC源代码 RTTI.02MFC源代码 RTTI.02MFC源代码 RTTI.02MFC源代码 RTTI.02MFC源代码 ...
blog文章:一种线程消息驱动及RTTI分发操作的示例
个人收集的RTTI机制....好的话就顶
c++ RTTI深度解析, 运行时类型识别技术
delphi RTTI功能示例 演示如何在delphi 中使用rtti
MFC框架仿真,实现RTTI和动态创建
在C++中如果使用多态继承类,对于多态性的对象,在程序编译时可能会出现无法确定对象的类型的情况,这事就需要通过RTTI动态识别对象的类型。因此,本文探讨了RTTI的使用细节。同时,由于有些平台C++编译器(如...
候老师讲的RTTI 资源难得 希望大家喜欢
Delphi RTTI usage example
MFC中的RTTI,动态创建,消息映射,消息传递。
运行时类型识别演示
C运行时类型信息RTTI及类型转换的简单介绍
RTTI(Run-Time Type Information),通过运行时类型信息程序能够使用基类的指针或引用来检查这些指针或引用所指的对象的实际派生类型。
讨论 dynamic_cast,static_cast<> 和 reinterpret_cast<> and Runtime Type Information