C语言类型转换有哪些？隐式转换与强制转换详解

C 语言支持的类型转换  

1. 隐式转换（自动转换）

编译器自动完成，无需手动书写转换标记，分两类场景：

（1）赋值 / 运算提升

• 小范围类型→大范围类型（安全无损）：char → short → int → long → float → double

char c = 10;
int a = c; // 隐式提升，无精度丢失
double d = a + 3.14; // int自动转double运算

• 有符号与无符号混合运算：有符号自动转为无符号，极易出现负数逻辑错误

int x = -1;
unsigned int y = 5;
if(x > y) // 成立！-1转无符号为极大正数

（2）函数传参、返回值隐式转换

形参类型与实参不匹配、返回值和函数返回类型不匹配时自动转换。

2. 显式强制转换（C 风格强转）

语法：(目标类型)变量/表达式

double num = 3.99;
int a = (int)num; // 直接截断小数，结果3
int* p = (int*)0x1000; // 任意指针互转

C 风格强转缺陷

1. 无区分转换场景：数值截断、指针互转、常量剥离全部用同一种写法，可读性极差
2. 不做类型安全校验：可随意转换无关类型，编译不报错，运行极易内存崩溃
3. 无法过滤常量属性、多态类型等细分场景，调试困难

3. C 转换核心痛点

C 强转一把抓，没有细分安全 / 危险转换，大型项目中难以定位类型转换 bug，因此 C++ 引入 4 套分类强转语法。

二、C++ 支持的类型转换

C++ 完全兼容 C 所有转换规则，同时新增标准化、分类化显式转换，还拓展面向对象场景的多态转换。

1. 保留原有两套转换

1. 隐式转换：规则同 C，但增加类的构造函数隐式转换、拷贝转换

class Test {
public:
    Test(int a) {} // 单参数构造支持隐式转换
};
void func(Test t);
func(10); // int隐式转Test对象

1. C 风格(Type)强转：仅为兼容历史代码，工程开发禁止使用

2. C++ 新增函数式强转（老式）

语法：Type(变量)，仅基础数值类型可用，指针不支持，局限性大：

int a = int(3.14);

3. C++ 核心：4 种标准化显式转换（推荐唯一写法）

统一语法模板：xxx_cast<目标类型>(待转换值)四种转换各司其职，编译器会做对应安全检查，代码可读性拉满，下文单独详解。

4. C++ 独有的类层次转换

• 向上转型（子类→父类）：隐式安全转换，无切片风险
• 向下转型（父类→子类）：无多态时禁止隐式，必须强转；有多态依赖dynamic_cast安全校验

三、C++ 四种显式强制类型转换详解

1. static_cast 静态转换（编译期校验，最常用）

适用场景：良性、有逻辑关联的类型转换，编译期完成类型检查，运行无开销

允许场景

1. 基础数值类型互转（int/double/char 等，允许精度丢失）

double d = 2.718;
int a = static_cast<int>(d); // 截断小数

1. 父子类指针 / 引用向上转型（子类→父类，完全安全）

class Base{};
class Son : public Base{};
Son s;
Base* p = static_cast<Base*>(&s);

1. void * 与普通指针互转（不能无关指针直接互转）

int x = 10;
void* v = &x;
int* p = static_cast<int*>(v);

禁止场景

• 无关类型指针直接互转（int*→double * 编译报错）
• 剥离 const 常量属性（需用 const_cast）
• 无继承关系类指针转换

特点：无运行时开销，仅编译校验，无多态类型判断

2. const_cast 常量属性转换（唯一能删 const/volatile）

唯一作用：增删变量的 const、volatile 修饰符，不能改变底层数据类型

用法

const int a = 10;
int* p = const_cast<int*>(&a); // 去除const
*p = 20; // 未定义行为：修改字面量const常量UB
int b = 20;
const int* cp = &b;
int* rp = const_cast<int*>(cp);
*rp = 30; // 合法，原变量非const

限制

1. 只能修改顶层 const，不能转换基础数值 / 指针类型
2. 禁止通过 const_cast 修改原生 const 常量（未定义行为）
3. 多用于函数兼容：传入 const 对象，但函数需要非 const 形参

3. reinterpret_cast 重解释转换（最危险，无任何校验）

纯粹二进制比特重解释，不做任何类型校验，编译直接放行

适用场景（仅底层开发）

1. 整数与指针互转（硬件地址操作）

int* addr = reinterpret_cast<int*>(0xffff0000);

1. 无关类型指针强制互转（字节序列化、底层内存解析）

long long num = 0x12345678;
char* bytes = reinterpret_cast<char*>(&num);

巨大风险

完全跳过类型安全，转换后访问极易越界、内存错乱，业务代码尽量不用，仅驱动 / 网络底层使用。

4. dynamic_cast 动态转换（运行时多态安全校验）

唯一带运行时检查的转换，仅支持含虚函数的多态父子类指针 / 引用，依赖 RTTI 机制

核心作用：安全向下转型（父类→子类）

class Base { virtual void func(){} }; // 必须有虚函数才有多态
class Son : public Base {};
Base* p = new Son;
// 安全向下转，类型匹配返回子类指针，失败返回nullptr
Son* s = dynamic_cast<Son*>(p);
Base* pb = new Base;
Son* err = dynamic_cast<Son*>(pb); // 不匹配，err=nullptr

引用版本：转换失败抛出bad_cast异常

Base& rb = *new Base;
Son& rs = dynamic_cast<Son&>(rb); // 抛出异常std::bad_cast

关键限制

1. 基类必须存在虚函数，否则编译报错
2. 仅支持类继承指针 / 引用，不支持基础类型、void*
3. 运行时查询虚表 RTTI 信息，有微小性能开销

四种转换对比速查表

四、RTTI 运行时类型识别

1. 什么是 RTTI

Run-Time Type Information，运行时类型信息。程序运行阶段可以获取对象的真实类型，核心支撑dynamic_cast与typeid。

2. 两大核心组件

（1）dynamic_cast（前文已讲）

依赖 RTTI 做运行时类型比对，判断父类指针实际指向的子类类型。

（2）typeid 运算符：获取类型信息

语法：typeid(对象/类型)，返回std::type_info类型常量对象

#include <typeinfo>
int a = 10;
cout << typeid(a).name() << endl; // 输出int类型名
class Base{virtual void f(){}};
class Son:public Base{};
Base* p = new Son;
// 判断运行时真实类型
if(typeid(*p) == typeid(Son)){
    cout << "实际是Son对象" << endl;
}

区分静态类型 vs 动态类型

• typeid(指针)：取指针本身静态类型（Base*）
• typeid(*指针)：多态类取运行时真实动态类型（Son）

3. type_info 常用接口

1. .name()：返回类型名字符串（编译器格式不统一）
2. 支持==/!=运算符，直接对比两个类型是否一致

4. RTTI 开关与性能

1. 编译器默认开启 RTTI；可手动关闭（GCC：-fno-rtti，VS：关闭 RTTI 选项）
2. 关闭后果：dynamic_cast、typeid编译报错
3. 开销：每个多态类增加 type_info 元数据，类型转换时运行查表，性能损耗极小，业务开发无需顾虑

5. RTTI 适用场景

1. 多态分支判断，替代大量 if-else 强转
2. 插件架构、反射简易实现
3. 日志打印对象真实类型，调试多态代码

6. 替代方案（无 RTTI 开销）

给基类增加虚函数返回类型枚举，手动标记子类类型，完全不依赖 RTTI，嵌入式低性能设备常用。

五、工程开发规范总结

1. 禁止使用 C 风格(Type)强转、老式Type()函数强转，统一使用 4 种 xxx_cast
2. 普通数值、安全父子向上转换优先static_cast
3. 仅剥离 const 属性使用const_cast，绝不修改原生 const 常量
4. 底层硬件、字节解析才用reinterpret_cast，业务代码杜绝
5. 多态向下转型必须用dynamic_cast，配合 RTTI 保证安全
6. 运行时判断对象真实类型使用typeid，依赖 RTTI
7. 无虚函数的普通父子类向下转型，只能static_cast，自行保证类型合法（无运行校验）

六、总结

以上为个人经验，希望能给大家一个参考，也希望大家多多支持脚本之家。

最新评论