上一篇
非类型安全是什么意思？，如何避免和解决风险？
什么是类型安全与非类型安全
类型安全（Type Safety）是编程语言的一种特性，它保证程序在运行时不会因类型错误而出现未定义行为，在类型安全的语言中，不能将一个浮点数当作函数指针来调用，或者把一个整数当成字符串来使用。
非类型安全（Type Unsafety）则相反，语言允许或无法阻止某些操作导致类型错误，这些错误可能在编译期间不被发现，而在运行时产生不可预测的结果（如内存损坏、崩溃或安全漏洞）。
非类型安全的主要表现
- 弱类型转换：允许将一种类型强制转换为不兼容的类型，例如在C语言中把 int 转换为 float 后解引用。
- 联合体（Union）：不同的类型共享同一块内存，写入一种类型后以另一种类型读取，可能违反类型约定。
- 指针算术和裸露指针：直接操作内存地址，越界修改或非法访问其他对象。
- 未经检查的向下转型：在面向对象语言中，父类向子类转换时不进行类型检查，导致运行时错误。
- 可变类型与类型擦除：如
void 指针可以指向任意类型，丢失类型信息。
非类型安全的常见例子
| 语言/场景 | 例子 | 说明 |
|---|---|---|
| C/C++ | int a = 42; float p = (float)&a; printf("%f", p); | 将整数内存按浮点数解释，结果依赖硬件表示 |
| C++ 联合体 | union { int i; float f; } u; u.i = 42; cout << u.f; | 通过 f 读取 i 写入的内存，行为未定义 |
| C 语言 | void ptr = malloc(10); int ip = (int)ptr; ip = 5; | 裸指针转换，无类型保证 |
| 数组越界 | int arr[5]; arr[10] = 0; （C/C++） | 越界写内存，破坏其他变量或结构 |
| 向下转型（C++） | Base b = new Derived(); Other o = (Other)b; | 非法的 static_cast 可能导致未定义行为 |
| 类型擦除（Java 泛型早期） | 类型擦除后，运行时可能通过强制转换产生 ClassCastException | 虽异常，但不会导致内存损坏，相对安全 |
非类型安全的风险
- 未定义行为：程序可能崩溃、产生错误结果，甚至被利用进行攻破。
- 安全漏洞：缓冲区溢出、类型混淆等是许多漏洞（如内存破坏、代码执行）的根源。
- 可移植性降低：依赖特定编译器行为或硬件表示，不同平台结果不同。
- 维护困难：代码隐含假设，不易理解，调试困难。
与非类型安全相关的语言特性
- C/C++：以追求性能著称，但提供了大量非类型安全机制（如指针转换、reinterpret_cast、union 等），程序员需自行保证正确性。
- C# 的 unsafe 代码：允许使用指针，但需在 unsafe 块中显式声明，并通过编译器选项开启。
- Rust 的 unsafe 块：将非类型安全操作限制在 unsafe 代码块内，并强制保证内存安全，但仍允许类型不安全操作（如 transmute）。
- Java 和 C#（安全代码） 通常提供类型安全，但通过反射、泛型类型擦除或 Unsafe 类（Java）可能引入非类型安全操作。
相关问题与解答
问题1：非类型安全是否一定意味着不安全？
不一定,非类型安全通常指语言允许违反类型系统约束，但程序员可以通过正确使用该特性来避免实际风险，C 语言中的 void 用于泛型编程，但若程序员误用则会带来未定义行为，一些语言（如 Rust）通过 unsafe 块将风险隔离，并强制要求程序员保证条件成立，从而在安全性与灵活性之间取得平衡。非类型安全是语言特性，而实际安全取决于代码的编写质量。
问题2：为什么有些高性能语言（如 C、C++）仍然保留非类型安全，而不完全采用类型安全？
主要原因在于性能和底层控制，类型安全检查通常需要运行时判断或编译器插入额外代码，消耗资源，对于系统编程、嵌入式、游戏引擎等领域，直接操作内存和类型转换能带来更高效的索引、更紧凑的数据表示和更贴近硬件的操作，许多历史遗留代码和库依赖这些特性，完全移除会破坏大量现有工作，这些语言选择信任程序员，将安全责任交给开发者，同时提供优化机会。
