文章目录
- [为什么 Rust 没有空指针？](#为什么 Rust 没有空指针？)
-
- 空指针的问题
- [Rust 的选择](#Rust 的选择)
- 设计哲学：把不可靠性转化为显式设计
- 总结
为什么 Rust 没有空指针？
在许多编程语言中，默认都是有空指针（null pointer）类型的，而 Rust 参考 Haskell 在语言层面彻底消灭空指针概念，从而从根源上消除了空指针异常（NullPointerException）这个运行时错误。
空指针的问题
空指针的问题在于值为空，而在于变量类型没有明确表达出这个值可能不存在。我们先看 C 语言中最经典的场景：
c
int* p = NULL;
*p = 10; // 运行时崩溃这里的问题不在于 NULL 本身，而在于变量 p 的类型是 int*，它无法告诉编译器 p 有可能是 NULL，只能等到运行时，程序尝试访问空地址时才会崩溃。
可以看出，空指针带来的后果是很显而易见的：
- 编译器无法做任何检查，只能被动等待运行时出错；
- 静态分析工具难以可靠识别所有可能的空指针场景；
- 错误发生后往往难以排查，排查时需要追溯整个调用链路，成本极高。
Rust 的选择
Rust 没有选择保留 null 并增加检查，而是参考 Haskell 直接在语言层面删除了 null 关键字，并提供 Option<T> 来替代 null。
Option<T> 的语义非常简单，它只有两种状态，有值和无值的：
Some(T)：表示有值，里面包裹着一个具体的T类型的值；None：表示无值，对应 null，但它是显式声明的。
举个简单的例子，声明一个可能为空的字符串：
rust
// 明确声明：name 可能为空，类型是 Option<String>
let name: Option<String> = None;
// 也可以给它赋值，用 Some 包裹具体值
let name: Option<String> = Some("Alice".to_string());Option<T> 之所以能解决空指针问题，在于 Rust 编译器会强制你处理 Option<T> 的所有可能状态。最常用的处理方式是使用 match 表达式，它会强制你穷尽所有可能：
rust
let name: Option<String> = Some("Alice".to_string());
match name {
Some(n) => println!("用户名：{}", n), // 处理"有值"的情况
None => println!("未输入用户名"), // 处理"无值"的情况
}如果我们没有处理所有可能，那么编译器会直接报错，根本不会让程序编译通过。这就把可能的运行时崩溃，提前变成了编译期错误。
设计哲学：把不可靠性转化为显式设计
理解了 Rust 对空指针的处理，其实就理解了 Rust 设计的核心哲学之一：把隐式行为变成显式表达。
空指针只是其中一个例子，Rust 中很多设计都遵循了这个原则：
- 所有权（ownership）：把内存管理从隐式的手动分配/释放，变成显式的所有权转移/借用，避免内存泄漏和野指针；
- 生命周期（lifetime）：把引用的有效期从隐式的开发者记忆，变成显式的生命周期标注，避免悬垂引用；
- 错误处理（Result）：把错误处理从隐式的返回错误码/抛出异常，变成显式的 Result 类型，强制开发者处理错误。
这些设计的共同目标只有一个：减少运行时的不确定性，把可能出现的错误提前暴露在编译期，让程序更安全、更可靠。
总结
回到最初的问题：Rust 为什么不允许空指针？本质原因是 null 是隐式的，它让变量的状态变得不确定，无法验证的隐式状态，最终会导致运行时崩溃，增加线上故障风险。
所以 Rust 用 Option<T> 替代了 null，把问题从运行时可能的崩溃，变成了编译期必须处理所有情况。这种设计，虽然增加了一点处理 None 的工作量，但却节省了大量的调试、排查线上故障的时间。