第66课 C++中的类型识别

时间：2018-09-06 23:09:16 阅读：238 评论：0 收藏：0 [点我收藏+]

标签：int idt enter 期望不能 end isp 原则 space

类型识别：

技术分享图片

为什么引入类型识别呢？因为面向对象中有一个非常重要的原则就是赋值兼容性原则，就是子类对象完全可以当成父类对象使用。

当我们拿到指针p，我们知道它到底指向子类还是父类对象吗？

p的静态类型是Base，本意是期望指向Base对象，但是由于赋值兼容性，指针有可能指向子类对象，子类对象在这里是动态类型。

技术分享图片

想要安全的转换就要得到b实际指向的动态类型，我们需要提前判断动态类型是什么。

C++中如何得到动态类型呢？

技术分享图片

示例程序：

 1 #include <iostream>
 2 #include <string>
 3 
 4 using namespace std;
 5 
 6 class Base
 7 {
 8 public:
 9     virtual string type()
10     {
11         return "Base";
12     }
13 };
14 
15 class Derived : public Base
16 {
17 public:
18     string type()
19     {
20         return "Derived";
21     }
22     
23     void printf()
24     {
25         cout << "I‘m a Derived." << endl;
26     }
27 };
28 
29 class Child : public Base
30 {
31 public:
32     string type()
33     {
34         return "Child";
35     }
36 };
37 
38 void test(Base* b)
39 {
40     /* 危险的转换方式 */
41     // Derived* d = static_cast<Derived*>(b);
42     
43     if( b->type() == "Derived" )
44     {
45         Derived* d = static_cast<Derived*>(b);
46         
47         d->printf();
48     }
49     
50     // cout << dynamic_cast<Derived*>(b) << endl;
51 }
52 
53 
54 int main(int argc, char *argv[])
55 {
56     Base b;
57     Derived d;
58     Child c;
59     
60     test(&b);
61     test(&d);
62     test(&c);
63     
64     return 0;
65 }

运行结果如下：

技术分享图片

我们不仅需要知道dynamic_cast转换是不是成功，还需要知道具体的类型到底是什么，因此，dynamic_cast在这里不够用。

虚函数返回类型的方式能解决问题，但是不够好，当我们增加新类时容易和以前的重复或者混淆。

多态解决方案的缺陷：

技术分享图片

C++的解决方案：

技术分享图片

示例程序：

 1 #include <iostream>
 2 #include <string>
 3 #include <typeinfo>
 4 
 5 using namespace std;
 6 
 7 class Base
 8 {
 9 public:
10     virtual ~Base()
11     {
12     }
13 };
14 
15 class Derived : public Base
16 {
17 public:
18     void printf()
19     {
20         cout << "I‘m a Derived." << endl;
21     }
22 };
23 
24 void test(Base* b)
25 {
26     const type_info& tb = typeid(*b);
27     
28     cout << tb.name() << endl;
29 }
30 
31 int main(int argc, char *argv[])
32 {
33     int i = 0;
34     
35     const type_info& tiv = typeid(i);
36     const type_info& tii = typeid(int);
37     
38     cout << (tiv == tii) << endl;
39     
40     Base b;
41     Derived d;
42     
43     test(&b);
44     test(&d);
45     
46     return 0;
47 }