[C/C++]一个简易的类型判别器

                                一个简易的类型判别器 yOvm`9  
             J sEa23  
                        在某些时候，我们需要判别一个对象的类型，C++提供了RTTI（运行时类型信息）机制，比如使用 typeid 关键字，但 Bjarne 建议尽量不要使用RTTI来判定对象类别，他提倡多使用使用 dynamic_cast 替代 typeid。当然typyid能准确判定对象的类型，而dynamic_cast不一定总能告诉我们对象的确切类型。 5 B=^v#m  
|$7vI&m  
下面是一个简单的类型判别器（不能用于基本类型，如int、double等）： HQ{JwW!m  
代码: 全选/* TYA~#3G)  
* File: TypeUtils.h z;u  
* Author: kwarph [ kwarph@gmail.com ] S'HnBn /  
* Time: 2009-3-21 下午03:25:02 zuJtpMn  
* {%#)5l
)  
* Copyright (C) 2008-2009, kwarph, All Rights Reserved. RNQK  
*/  RDtU43  
DvM5 k  
#ifndef TYPEUTILS_H_ b^[F""!e  
#define TYPEUTILS_H_ Iz[@^IUx=  
LbtX0^  
template<typename T> wR{'y)$  
struct InstanceOf { $
TI5vhQ  
jVH|uX"M5Y  
    template<typename T1> MfmACd^3$  
    static bool test(const T1*& ptr) { al`3Lu0  
        const T* t = dynamic_cast<const T*> (ptr); "HYQqNj?Z  
        return t != 0; ` }3qhar  
    } J6<rX[ yZe  
G7=pBf  
    template<typename T1> #Mg]GeDJ{  
    static bool test(T1*& ptr) { &[&r2>a  
        T* t = dynamic_cast<T*> (ptr); A_;8IlW  
        return t != 0; -WQ^gcO=7  
    } !pJeA)W;  
a {ab*tM  
    template<typename T1> 2y%,p{="  
    static const T* get(const T1*& ptr) { -rKO
)}  
        const T* t = dynamic_cast<const T*> (ptr); s[gKc'  
        return t; -n0C4kZ2o  
    } $#|gLVOQ  
xF8}:z0  
    template<typename T1> [TCP-bU  
    static T*& get(T1*& ptr) { d(:3
  
        return dynamic_cast<T*> (ptr); ]qB:PtX  
    } 7#<c>~   
}; + S4fGT  
B>Wu;a.:L  
#endif /* TYPEUTILS_H_ */             VxzkQ}o  
IHp_A  
Q  Q： 570508473 CDi<<,  
邮  件：athzhang@gmail.com L>Mpi$L  
电  话：(0512) 55253348,(0) 18912671348 ?`[NFqv_]  
地  址：江苏省 昆山市 前进西路1088号虹桥大厦 2单元 6楼 0 'Vg6E]/  

Q  Q： 570508473 ]B=C|usJ  
主页：http://www.xuanyuan-soft.cn +u'I0>)S  
论坛：http://www.xuanyuan-soft.cn/forums

Re: 一个简易的类型判别器 O3V.^_k;  
F~U!1)  
 j<"nO(  
其实很多场合用得上的，比如我们目前进行的CAD项目，在前台的界面的绘图区中选取一批对象，其中也许有Line、Conic、BezierCurve、 BSplineCurve等，但都属于Curve，我们可以对它们的共有特性进行统一修改（比如在对话框1中列举公共的特性，即Curve的属性），但如果我们选择的是一条直线，那么我们必须确定这个被选择的对象就是Line，弹出合适的对话框（罗列Line对象的可修改的属性），这个时候，我们可以用上面的InstanceOf。 &W }<:WH~  
%]p6Kn/>  
当然，好的设计总能减少对类型确认的需要，但我想应该不能完全避免吧。 >5T_g2pkv  
;7Oi!BC  
昆山轩辕高端IT培训中心 +CM7C%U   
Q  Q： 570508473 a <X0e>  
邮  件：athzhang@gmail.com Mp\<cE  
电  话：(0512) 55253348,(0) 18912671348 @;wzsh >o  
地  址：江苏省 昆山市 前进西路1088号虹桥大厦 2单元 6楼

Re: 一个简易的类型判别器 [RU NuO   
#f'DEo<b  
`0#H]=$2h  
下面作一个简单的测试，假设有一组对象，其继承关系如下： y,+[$u7h  
#p y
im_  
animal.png 6-,m}Ce\  
    animal.png (8.28 KiB) 被浏览 187 次 2H?d+6Pt3  
6xgv:,  
o4=Yu7L  
:XT?jdg  
我们可以这么使用 InstanceOf类： L*?!Z^k  
oUW<4l  
代码: 全选 'b:Ne,<  
    Animal* a1 = new Lion; i~qfGl p6)  
    Animal* a2 = new Swallow; L*]E`Xxd9  
aW5~Be$ _  
    // 1，判断 a1 是不是鸟类： Qs+k)e,  
    bool isBird = InstanceOf<Bird*>::test(a1); // isBird为false，a1是狮子 :\V,k~asl  
{w`:KR6o7  
    // 2，判断 a1 是不是狮子： ]T{E (9  
    bool isLion = InstanceOf<Lion*>::test(a1); CdhSp$>  
[5pCL0<c@  
    // 3，判断 a2 是不是鸟类： <d$A)S};W  
    isBird = InstanceOf<Bird*>::test(a1); // isBird为true，a2 是燕子，所以是鸟类 WO%h"'iJ  
RSWcaATZN  
xDrV5bg
 
9F_6}.O  
在 3，判断 a2 是不是鸟类 的判断中，typeid无法达到我们所要的效果，因为： @Y'I,e  
6`puTL?  
代码: 全选 
StQ@g  
    isBird = (typeid(*a2) == typeid(Bird)); // isBird 为 false ,@Z_{,b  
A1JzW)B  
T+TF-] J  
g_D-(J`IK,  
typeid()返回的是对象实际的类型，也就是说Swallow虽然是Bird，但这是两个不同的类型。 3;BvnD7  
r#~K[qb  
Q  Q： 570508473  M4<+%EV}  
邮  件：]athzhang@gmail.com _p4}<pG  
电  话：(0512) 55253348,(0) 18912671348 .S vyj  
地  址：江苏省 昆山市 前进西路1088号虹桥大厦 2单元 6楼 )