请教个关于多态的问题

windoze

基类指针转型到子类指针不要用dynamic_cast，应该用static_cast，除非你不确定这个指针是不是真的指向一个子类对象。

windoze

回复 10# littledick

转型前你总得猜一下吧，好多地方都有类似的东西：

1. 
   
2. struct Base {
   
3.     virtual int type_tag()=0;
   
4. };
   
5. 
   
6. struct Sub1 : public Base {
   
7.     virtual int type_tag() { return 1; }
   
8. };
   
9. 
   
10. struct Sub2 : public Base {
    
11.     virtual int type_tag() { return 2; }
    
12. };
    
13. 
    
14. ...
    

复制代码

然后用的时候就会这么写：

1. 
   
2. void f(Base *p) {
   
3.     switch(p->type_tag()) {
   
4.     case 1: {
   
5.         Sub1 *ps1=static_cast<Sub1 *>(p);
   
6.         ps1-> ...
   
7.     }
   
8.     case 2: {
   
9.         Sub2 *ps1=static_cast<Sub2 *>(p);
   
10.         ps2-> ...
    
11.     }
    
12.     }
    
13. }
    

复制代码

我知道这段代码很丑，不过重点不在这儿，而是说这段代码里就应该用static_cast，不应该用dynamic_cast

必须用dynamic_cast的地方是这样的：

1. 
   
2. struct Base1 {
   
3.     virtual ~Base1(){}
   
4. };
   
5. struct Base2 {
   
6.     virtual ~Base2(){}
   
7. };
   
8. struct Sub : public Base1, Base2 { ... };
   
9. 
   
10. void f(Base1 *pb1) {
    
11.     Base2 *pb2=dynamic_cast<Base2 *>(pb1);
    
12.     pb2->...
    
13. }
    

复制代码

上面这段代码必须用dynamic_cast，否则就是错的。