RTTI应用:let's cast

原创 2002年05月10日 09:52:00

很早就了解到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的关系改变了(如没有了父子关系),那么编译器立刻会报告出错误,而使用前者,你将什么也不知道,直到程序崩溃。

 


 

浅议 Dynamic_cast 和 RTTI与虚函数表的关系

浅议 Dynamic_cast 和 RTTI 写这篇博文的目的是,记录学习过程。 对于问题要较真,在解决这个问题中会学到很多,远远超过自己期望,锻炼思维,享受这个过程。 问题: Static...
  • u010585135
  • u010585135
  • 2015年05月06日 10:10
  • 617

C++的RTTI和dynamic_cast效率问题

在网上经常看到有人说,dynamic_cast的效率问题.当然因为它是运行 时的cast,开销必然少不了. 对于down cast,可以用static_cast代替,只不过不太安全. 对于钻石结构...
  • debugconsole
  • debugconsole
  • 2013年07月19日 13:56
  • 5424

如何为Ubuntu 14.04上的多Apache虚拟主机环境设置Let's Crypt安全证书

提供:ZStack云计算 内容简介SSL证书负责对Web服务器之内服务器与客户端之流量提供加密保护,同时亦可为访问应用程序的用户带来额外安全保障。Let’s Encrypt作为一款免费工具,能够显著简...
  • zstack_org
  • zstack_org
  • 2016年11月29日 09:54
  • 844

Let's Encrypt 证书浏览器不支持(不识别)怎么办?

1、浏览器怎么判断支不支持某个证书? 流量器有内置一个根证书列表,如果您网站的证书授权机构的根证书在这个列表里,那么就支持,如果没在这个列表里,就不支持。 2、不支持应该怎么办? 1、换个浏览器可能就...
  • wzj0808
  • wzj0808
  • 2016年12月05日 13:51
  • 1797

Windows服务器上完成Let’s Encrypt免费SSL证书的自动化更新部署(apache)

首先,如果不了解SSL证书推荐看这篇文章http://www.cnblogs.com/guogangj/p/4118605.html Let’s Encrypt是一家致力于推动网站SSL加密普...
  • lichenzero
  • lichenzero
  • 2017年07月18日 13:54
  • 2674

Let's Encrypt从明年年初开始签发通配符证书

Let's Encrypt在其博客中声明将于2018年1月开始发行通配符证书。通配符证书是一个常用的功能,它可以保护任何数量的基础域的子域名(例如* .example.com),允许管理员为域及其所有...
  • TrustAsia
  • TrustAsia
  • 2017年07月13日 09:02
  • 368

ubuntu下Let’s Encrypt的使用

1.安装letsencrypt sudo apt-get install letsencrypt 2.生成证书 letsencrypt certonly --webroot -w /var/www/h...
  • wwz_henu
  • wwz_henu
  • 2017年12月26日 21:11
  • 80

https研究(四)用Let's Encrypt实现Https双向认证)

使用 Let's Encrypt申请SSL证书,在tomcat服务器中配置,实现https
  • qq_27424559
  • qq_27424559
  • 2017年03月28日 22:16
  • 834

Let's Encrypt永久免费SSL证书过程教程及常见问题

Let's Encrypt作为一个公共且免费SSL的项目逐渐被广大用户传播和使用,是由Mozilla、Cisco、Akamai、IdenTrust、EFF等组织人员发起,主要的目的也是为了推进网站从H...
  • helen_shw
  • helen_shw
  • 2017年02月17日 11:57
  • 6354

Let's Pee

        王小波在一篇文章中说,见到有人穿着一件T shirt,上面印着“Go,Lets Pee”,觉得简短有力让人振奋,后来知道了Pee是小便的意思,得出了一个结论,就是振奋之前,先要搞清是件...
  • madbull
  • madbull
  • 2004年07月17日 14:27
  • 916
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:RTTI应用:let's cast
举报原因:
原因补充:

(最多只允许输入30个字)