C++ 四种类型转换详解：static_cast、dynamic_cast、const_cast、reinterpret_cast

const 常变量的修改风险

通过类型转换去除 const 属性并修改内存值是不安全的。编译器可能会将 const 变量优化为寄存器值或常量替换，导致读取到的值与实际内存不一致。使用 volatile 修饰可强制每次从内存读取，但仍需谨慎。

int main() {
    volatile const int c = 0;
    int* pc = (int*)&c;
    (*pc)++;
    cout << c << endl;
    cout << *pc << endl;
    return 0;
}

C 风格转换的隐患

C 语言转换简单但存在陷阱。例如 size_t 是无符号类型，若循环条件判断不当（如 while(n >= 0)），当 n 为无符号数时可能陷入死循环。

void fun(size_t n) {
    while (n >= 0) {
        cout << n << endl;
        n--;
    }
}

int main() {
    fun(5);
    return 0;
}

C++ 的四种类型转换

C++ 提供了四种显式转换操作符，旨在提高代码的可读性和安全性。

static_cast

static_cast 用于编译期确定的转换。它涵盖了 C 语言中大部分隐式转换的场景，如基本类型转换、父子类之间的向上转换（多态基类指向派生类对象）。

int main() {
    int a = 0;
    double b = static_cast<double>(a);
    return 0;
}

注意：它不能用于不相关的类型转换，也不能移除 const 属性。

reinterpret_cast

reinterpret_cast 用于底层比特位的重新解释。它可以把一种类型的指针转换为另一种类型的指针，常用于硬件交互或协议解析。但它不进行任何安全检查，滥用极易导致未定义行为。

int main() {
    int a = 0;
    int* pa = reinterpret_cast<int*>(a);
    return 0;
}

此操作符不能用于 const 转换，且通常不建议在日常业务逻辑中使用。

const_cast

const_cast 专门用于添加或移除变量的 const 属性。这是唯一能移除 const 属性的转换操作符。

int main() {
    const int a = 0;
    int* pa = const_cast<int*>(&a);
    return 0;
}

警告：如果原对象本身是 const 定义的，通过指针修改其值属于未定义行为。仅当原始对象非 const 而只是被 const 指针引用时才安全。

dynamic_cast

dynamic_cast 用于运行时类型检查，主要用于多态体系下的向下转换（父类指针转子类指针）。它要求基类必须包含虚函数。

• 向上转换：子类转父类，天然安全，无需转换。
• 向下转换：父类转子类。如果实际对象不是该子类，返回 nullptr（指针）或抛出异常（引用）。

class A {
public:
    virtual void f() {}
};
class B : public A {};

void fun(A* a) {
    B* b = dynamic_cast<B*>(a);
    if (b == nullptr) {
        cout << "转换失败" << endl;
    } else {
        cout << "转换成功" << endl;
    }
}

int main() {
    A a;
    fun(&a); // 输出：转换失败
    return 0;
}

dynamic_cast 依赖 RTTI（运行时类型信息），通过虚函数表进行标记检查，确保转换的安全性。

RTTI 简介

RTTI（Run-time Type Identification）即运行时类型识别，C++ 通过以下方式支持：

1. typeid：获取对象的实际类型信息。
2. decltype：编译期推导类型。
3. dynamic_cast：基于 RTTI 的安全多态转换。

总结

C++ 的类型转换机制比 C 语言更加严格和安全。

• 优先使用 static_cast 处理常规转换。
• 仅在必要时使用 dynamic_cast 进行多态向下转换。
• const_cast 需极度谨慎，避免破坏 const 语义。
• reinterpret_cast 应视为底层工具，避免滥用。

掌握这些转换的区别，能有效减少程序崩溃和未定义行为的发生。