shellmad-08_C++新特性 强制转换dynamic_cast

dynamic_cast

用于具有虚函数的基类与派生类之间的指针或引用的转换。

• 基类必须具备虚函数

  原因：dynamic_cast是运行时类型检查，需要运行时类型信息(RTTI)，而这个信息是存储与类的虚函数表关系紧密，只有一个类定义了虚函数，才会有虚函数表。

• 运行时检查，转型不成功则返回一个空指针

• 非必要不要使用dynamic_cast，有额外的函数开销

常见的转换方式：

• 基类指针或引用转派生类指针（必须使用dynamic_cast）

• 派生类指针或引用转基类指针（可以使用dynamic_cast,但是更推荐使用static_cast）

#include "stdafx.h"
#include <iostream>
#include <string>

//基类与派生类之间的转换

class CFather
{
public:
    CFather() {
        m_nTest = 3;
    }

    virtual void foo() {
        std::cout << "CFather()::void foo()" << std::endl;
    }

    int m_nTest;
};

class CSon : public CFather
{
public:
    virtual void foo() {
        std::cout << "CSon::void foo()" << std::endl;
    }
};

int main() {
    CFather f;
    CSon s;
    CFather* pFather = &f;
    CSon* pSon = &s;

    //父类转子类（不安全）
    //pSon = pFather;
    // 有一种语法能够检测出这种转换是不安全的, dynamic_cast
    // 在运行时刻检测转换是否安全  
    pSon = dynamic_cast<CSon*>(pFather); //运行时的检测,返回空
    //pSon->foo(); //运行时，pSon为NULL

    //pFather = static_cast<CFather* >(&s); //子类转父类，安全
    pFather = dynamic_cast<CFather* >(&s); //子类转父类也可以通过dynamic_cast，但不是必须的
    pSon = dynamic_cast<CSon*>(pFather); //运行时的检测,可以通过类型检测
    pSon->foo();
}

---

代码运行分析:

dynamic_cast运行的时候检测出来pFather 转换成子类指针pSon, 是不安全的, 因此直接将pSon改成了NULL, 然后pSon->m_nSon = 123;会导致程序崩溃, 退出

所以一般dynamic_cast转换后, 需要增加if语句判断是否为空

	...
	pSon = dynamic_cast<CSon*>(pFather);
	if (pSon!= nullptr){
		pSon->m_nSon = 123;
	}
	...

本来就是子类的指针, 然后static_cast转换成父类, 再dynamic_cast转换成子类, 安全

	...
	// dynamic_cast能够在运行的时刻, 检测出被转换的指针的类型(依赖RTTI, 运行时类型识别的技术(编译器特有的技术))
	// Visio Stdio 项目-属性-C/C++-语言-启用运行时类型信息(是)
	// 是有额外的开销, 一般而言只有在向下转换时必须使用
	pFather = static_cast<CFather*>(pSon);
	pSon = dynamic_cast<CSon*> (pFather);
		if (pSon!= nullptr){
		pSon->m_nSon = 123;
	}
	...

向上转换也可以是用dynamic_cast, 但不推荐使用, 不需要额外的检测, 避免开销

	... 
	CFather* pFather = &f;
	CSon* pSon = &s;
	pFather = dynamic_cast<CFather*>(pSon);
	..

使用dynamic_cast的前提

必须要有虚函数
删掉虚函数后,

编译后, 报错提示:
运行时 dynamic_cast的操作必须包含多态类型
“dynamic_cast”:“CFather“不是多态类型

因为RTTI运行时, 依赖虚函数, 虚表的实现
使用动态类型转换->RTTI->(父类)虚函数->虚表
动态检测汇编图:

使用场景

具有多态类型的向下转换的必须使用, 其余情况可以不用