541-C++特别提供的四种类型转换方式

柔情只为你懂 2022-09-11 02:14 172阅读 0赞

**C语言中，类型强转一般就是这样：**

int a = (int)b;//把右边的类型强转成左边的类型，不安全，根据强转的类型造成内存大小会扩大的可能，访问不安全

## C++语言级别提供的四种类型转换方式 ##

const_cast : 去掉（指针或者引用）常量属性的一个类型转换
    static_cast : 提供编译器认为安全的类型转换（没有任何联系的类型之间的转换就被否定了，就编译不通过）
    reinterpret_cast : 类似于C风格的强制类型转换，谈不上什么安全
    dynamic_cast : 主要用在继承结构中，可以支持RTTI类型识别的上下转换

## const\_cast ##

**去掉（指针或者引用）常量属性的一个类型转换**  
![在这里插入图片描述][71d63e06ce37464f9422d464fb7505f6.png]  
可以看成模板。  
![在这里插入图片描述][watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBALeael-azveWuhw_size_20_color_FFFFFF_t_70_g_se_x_16]  
**底层的汇编指令是一模一样的。**  
**但是在转换变成汇编指令之前，编译阶段，就有所不同了。**  
![在这里插入图片描述][0bbf759f212740b5819854b89ed00d84.png]  
编译是没有问题的。  
![在这里插入图片描述][a8b9ebc15b7047b18eb17841ab4bde24.png]  
但是如果是这样：  
![在这里插入图片描述][8d885c38d1bf478fb76fc02c0ffff9f8.png]  
C++中把一个整型常量的地址转成一个指针类型不匹配的另一个类型的指针。  
![在这里插入图片描述][21c2ff742cd744b2a9c88d15cfc5d4c1.png]  
编译报错了。  
![在这里插入图片描述][fb037fe6d61a4a30a36ff54a96a6cb27.png]  
![在这里插入图片描述][42f5f2df7136482da926d4aa2b4fe7c8.png]  
**const\_cast在进行类型强转的时候，地址a的类型是和左边的类型和<>里面的去掉常量的类型是要保持一致的**  
![在这里插入图片描述][e3b65f87f9454ea2aca64811fae7662d.png]  
**这样const\_cast才能答应**  
强转，是语言级别的，不产生任何额外的指令代码，这两句在汇编指令上没有区别。

**我们再举一个例子：**  
![在这里插入图片描述][6a152941fdbe48eab90fcf64cb6ed9d3.png]  
![在这里插入图片描述][519719fff6904965a561ba19cad2a630.png]  
![在这里插入图片描述][05e2e4ace5d84df6918ad8d292310d96.png]

## static\_cast ##

**提供编译器认为安全的类型转换（没有任何联系的类型之间的转换就被否定了，就编译不通过）**  
![在这里插入图片描述][acac16fed74f4b4eacec702b11ee4e96.png]  
int和char是有关联有联系的，所以转换没问题。

**但是**  
![在这里插入图片描述][d704bba3b64447fd8d4bf46ce5129ff9.png]  
![在这里插入图片描述][aefd2db97ce3422fb72d53954c1265fd.png]  
这2个指针之间是没有任何联系的，就被否决了。

![在这里插入图片描述][a5362901915240318c76c66943ac61a4.png]  
![在这里插入图片描述][9e3dcbbe9e834141a5a443c398a631e0.png]  
**如果说让你转成功了，double类型的指针b指向了一个整型的内存，这个b一解引用，就是8个字节的内存，而实际上只有4个字节的整数内存，不安全。**  
![在这里插入图片描述][a1aac0ea75bc409e8ab5847b2d4d73bb.png]

![在这里插入图片描述][9c675ddd493d4fa3b9b99f30b23c755c.png]  
**C底层的类型强转不管你类型之间有没有联系**

![在这里插入图片描述][05343622046d4c6f83d7b00d49d65abf.png]  
**因为基类类型和派生类类型是继承结构上从上到下的类型。**  
**类型强转的时候，它们类型之间是有关系联系的。**  
static\_cast可以通过它们之间的互相转换，但是转换之后，代码到底安不安全是由开发者来保证，而不是由static\_cast保证。

![在这里插入图片描述][307020fad6fa4bcdb3b842742c8a4cf0.png]  
**reinterpret\_cast : 类似于C风格的强制类型转换，就是随意转了，没有任何安全可言**

![在这里插入图片描述][4cf64fe1a66a47638f9c79421c9b1e21.png]  
指针解引用8个字节，而原本内存只有4字节，造成了不安全。

## dynamic\_cast ##

**主要用在继承结构中，可以支持RTTI类型识别的上下转换**  
![在这里插入图片描述][watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBALeael-azveWuhw_size_20_color_FFFFFF_t_70_g_se_x_16 1]  
![在这里插入图片描述][3e620db428b447d696e8798003ca69a7.png]  
![在这里插入图片描述][watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBALeael-azveWuhw_size_13_color_FFFFFF_t_70_g_se_x_16]  
![在这里插入图片描述][8b48a8c07d1b41b28b337f01db4bfb29.png]  
![在这里插入图片描述][7ad68356c5184a068969fe9cf7b9003c.png]  
**但是，有可能，随着项目的进行，软件开发的需求改变了，我们要增加新的需求：**  
![在这里插入图片描述][watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBALeael-azveWuhw_size_20_color_FFFFFF_t_70_g_se_x_16 2]

**那么在下面这个函数，要进行判断：**  
如果指向的是其他派生类的对象，那么调用这个func就可以了，但是，如果指向的是Derive2这个对象，就不要调用这个func方法，应该调用derive02func这个方法。  
![在这里插入图片描述][2bf730ffd0504ed48766f7f48684a440.png]  
**我们现在的软件设计就要去实现这个功能。我们有什么办法呢？**  
**现在就要识别\*p的类型，到底指向的是哪个对象，如果是Derive这个对象， 就要重新调用函数**  
1、我们可以通过typeid(\*p).name() == "Derive"比较，判断类型  
p指针是Base类型的指针，Base里面是虚函数，识别的是运行时的动态绑定，就是指针指向的对象，进而访问其虚函数表，取的是RTTI的类型。

**2、但是我们现在是用dynamic\_cast进行RTTI类型的转换**

class Base//抽象类 
    {
        
    public:
    	virtual void func() = 0;
    };
    class Derive1 : public Base
    {
        
    public:
    	void func() {
         cout << "call Derive1::func" << endl; }
    };
    class Derive2 : public Base
    {
        
    public:
    	void func() {
         cout << "call Derive2::func" << endl; }
    	//Derive2实现新功能的API接口函数
    	void derive02func() 
    	{
         
    		cout << "call Derive2::derive02func" << endl; 
    	}
    };
    /*
    typeid(*p).name() == "Derive"
    */
    void showFunc(Base *p)
    {
        
    	//dynamic_cast会检查p指针是否指向的是一个Derive2类型的对象？
    	//通过p访问->vfptr访问->vftable RTTI信息 如果是，dynamic_cast转换类型成功，
    	//返回Derive2对象的地址，给pd2；否则返回nullptr
    	//static_cast是编译时期的类型转换  dynamic_cast是运行时期的类型转换，是支持RTTI信息识别的
    	Derive2 *pd2 = dynamic_cast<Derive2*>(p);
    	if (pd2 != nullptr)
    	{
        
    		pd2->derive02func();
    	}
    	else
    	{
        
    		p->func();//动态绑定  *p的类型 Derive2  derive02func
    	}
    }
    int main()
    {
        
    	Derive1 d1;
    	Derive2 d2;
    	showFunc(&d1);
    	showFunc(&d2);
    
    	return 0;
    }

![在这里插入图片描述][44be01b850f24785ad87f60ca664b900.png]  
**使用static\_cast也是可以类型转换成功的，因为Base和Derive是有关联的，有继承关系，但是是永远都可以转换成功，所以无法识别出Derive2，看起来是Derive2对象了，实际上有可能是其他派生类对象，这就非常不安全了。**  
![在这里插入图片描述][75f8b3fcaa9e48f6861a9222e48f277f.png]  
![在这里插入图片描述][255987bf923547d7956d8e5be5da6a71.png]

[71d63e06ce37464f9422d464fb7505f6.png]: /images/20220829/a24ac013f3dc4ed58859eda1e6aed479.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBALeael-azveWuhw_size_20_color_FFFFFF_t_70_g_se_x_16]: /images/20220829/1ea8ff51e7fe4659b96ef3ff46036bc3.png
[0bbf759f212740b5819854b89ed00d84.png]: /images/20220829/73994d81bb994586b25f8e5e977e740d.png
[a8b9ebc15b7047b18eb17841ab4bde24.png]: /images/20220829/bd823024374c48a89346e240b35038cd.png
[8d885c38d1bf478fb76fc02c0ffff9f8.png]: /images/20220829/c862f98448f04e6ea5f5bedd9890552a.png
[21c2ff742cd744b2a9c88d15cfc5d4c1.png]: /images/20220829/3cc82aed5c6942e9aeb327d19c2287c6.png
[fb037fe6d61a4a30a36ff54a96a6cb27.png]: /images/20220829/551eec6ac37d4f9392e0e5bddf48f4c6.png
[42f5f2df7136482da926d4aa2b4fe7c8.png]: /images/20220829/c1d2f307bf984a53ab8f941662d37873.png
[e3b65f87f9454ea2aca64811fae7662d.png]: /images/20220829/1cd0282af81a4253b4716bda1459dc83.png
[6a152941fdbe48eab90fcf64cb6ed9d3.png]: /images/20220829/e519be1a59044b7395b35e8e11768e5b.png
[519719fff6904965a561ba19cad2a630.png]: /images/20220829/0c000b4785c54d678140e79da326e8f8.png
[05e2e4ace5d84df6918ad8d292310d96.png]: /images/20220829/1818621bb58a49458373b1d5312ec0d9.png
[acac16fed74f4b4eacec702b11ee4e96.png]: /images/20220829/12e34ce633d14504bdbf91435a2498ec.png
[d704bba3b64447fd8d4bf46ce5129ff9.png]: /images/20220829/da4cb878974c40979f540d8495a69777.png
[aefd2db97ce3422fb72d53954c1265fd.png]: /images/20220829/829860ed653641a4b8362636e16d00e8.png
[a5362901915240318c76c66943ac61a4.png]: /images/20220829/22846d2b6e444206b508d904f0fb8123.png
[9e3dcbbe9e834141a5a443c398a631e0.png]: /images/20220829/57e54869f93c4847a5062e8bed966fb4.png
[a1aac0ea75bc409e8ab5847b2d4d73bb.png]: /images/20220829/7f5245a4f6b24be8b49256332c5e06a3.png
[9c675ddd493d4fa3b9b99f30b23c755c.png]: /images/20220829/754bf7c558ab4d36ad76d77b9f5a7220.png
[05343622046d4c6f83d7b00d49d65abf.png]: /images/20220829/547926dc02844e4d9240b76228c8b506.png
[307020fad6fa4bcdb3b842742c8a4cf0.png]: /images/20220829/d3a442cafd8445d6ab139df16c773497.png
[4cf64fe1a66a47638f9c79421c9b1e21.png]: /images/20220829/d46ef703b0e643d0a32ea657b1bd248c.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBALeael-azveWuhw_size_20_color_FFFFFF_t_70_g_se_x_16 1]: /images/20220829/3a9c017f47014a9ab9a153304be32b0d.png
[3e620db428b447d696e8798003ca69a7.png]: /images/20220829/e047e2b1d2784905a112a03544e6d200.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBALeael-azveWuhw_size_13_color_FFFFFF_t_70_g_se_x_16]: /images/20220829/f24824d26d3542d4a840b77d6ac1fc97.png
[8b48a8c07d1b41b28b337f01db4bfb29.png]: /images/20220829/5a1d4fda7ffe4c7ba4e7a9844cb64916.png
[7ad68356c5184a068969fe9cf7b9003c.png]: /images/20220829/c9f6e4dc69c24c2e88970edcfd7c4b85.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBALeael-azveWuhw_size_20_color_FFFFFF_t_70_g_se_x_16 2]: /images/20220829/6a27c78b85644a75b47224d8de3237a9.png
[2bf730ffd0504ed48766f7f48684a440.png]: /images/20220829/f42dbd92323a428cb3c69a8befa6f704.png
[44be01b850f24785ad87f60ca664b900.png]: /images/20220829/cbab9dc373c9493db4c9c7a4550e0df9.png
[75f8b3fcaa9e48f6861a9222e48f277f.png]: /images/20220829/c551e8ac7ab546bdb80042dc9a9fa526.png
[255987bf923547d7956d8e5be5da6a71.png]: /images/20220829/13fc4130525345da9c164b3e3fe2529d.png