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

完全无关的类型（如 std::string 与 std::vector）无法通过强制转换进行互换。

const 常变量的陷阱

对于 const 修饰的变量，理论上不可修改。但可以通过类型转换获取其地址并解引用修改内存值。这种方式是不安全的，因为编译器可能会优化读取行为。

int main() {
    const int c = 0;
    int* pc = (int*)&c;
    (*pc)++;
    cout << c << endl;   // 可能仍输出 0
    cout << *pc << endl; // 实际内存值已变为 1
    return 0;
}

编译器可能直接从寄存器或常量池读取 c 的值，而不是访问内存。若希望每次从内存读取，可使用 volatile 关键字修饰。

int main() {
    volatile const int c = 0;
    int* pc = (int*)&c;
    (*pc)++;
    cout << c << endl;   // 此时会输出 1
    cout << *pc << endl;
    return 0;
}

此外，C 语言风格的转换容易引发精度丢失或逻辑错误。例如，将无符号数 size_t 与有符号数比较可能导致死循环。

void fun(size_t n) {
    while (n >= 0) { // size_t 永远非负，此条件恒成立
        cout << n << endl;
        n--;
    }
}

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

C++ 四种类型转换

C++ 引入了四种明确的类型转换操作符，旨在提高代码的可读性和安全性。

static_cast

static_cast 用于静态层级之间的转换，涵盖了大部分隐式转换场景。它不能用于不相关的类型转换，且不会进行运行时检查。

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

reinterpret_cast

reinterpret_cast 用于底层比特位的重新解释，类似于 C 语言的强转。它可以将一种类型的指针转换为另一种类型的指针，但不保证语义正确性，且不可用于 const 属性的移除。

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

const_cast

const_cast 专门用于移除对象的 const 属性。注意，如果原始对象本身就是 const 定义的，修改它会导致未定义行为。

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

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); // 失败
    
    B b;
    fun(&b); // 成功
    return 0;
}

dynamic_cast 依赖 RTTI（运行时类型信息），通过虚函数表中的标记来判断对象实际类型。

RTTI 简介

RTTI（Run-time Type Identification）允许程序在运行时识别对象类型。C++ 主要通过以下方式支持：

1. typeid：获取变量的实际类型信息。
2. decltype：编译期推导类型。
3. dynamic_cast：基于虚函数的安全类型转换。

总结

C++ 提供了比 C 语言更严格的类型转换机制。static_cast 处理常规转换，reinterpret_cast 处理底层重解释，const_cast 管理常量属性，而 dynamic_cast 确保多态转换的安全。开发者应优先使用 C++ 风格的操作符，避免隐式转换带来的隐患，并在使用 const_cast 时格外小心未定义行为的风险。