Dart语言中null safety（空安全）的设计目的是什么？

你提到的「意外给变量赋null后调用nullable_variable.foo()触发运行时错误」确实是空安全机制重点解决的问题，但这只是它的落地效果，不是全部的核心设计逻辑——它的本质是通过类型系统把空值风险从运行时前置到编译期，从根源上减少空指针相关的不可预期错误。

核心设计规则 #

• 非空类型默认：所有变量默认都是非空类型，比如声明String userName;时，这个变量从声明到生命周期结束都不可能为null，代码里但凡出现给它赋null的写法，编译阶段就会直接报错，从赋值源头堵死“意外塞null值”的可能。
• 可空类型显式声明：只有你主动给类型加?标记时，变量才允许存储null值，比如String? maybeName;，这时候类型系统会强制要求你在调用它的方法、访问它的属性前完成非空校验，没做校验的代码根本没法编译通过，自然不会出现运行时空调用报错。
• 配套语法补全校验逻辑：流分析自动识别作用域内的非空判断、?.安全调用、??空值兜底、!非空断言这些语法，都是为了让开发者明确空值的处理边界，不会漏过潜在的空风险。

注意：如果开发者主动使用!强行绕过类型检查，把实际为null的可空值当非空值用，依然会触发运行时错误，但这属于开发者明确知晓风险的主动操作，不属于无感知的意外空报错。

对你描述场景的对应说明 #

你说的空值方法调用触发runtime error，是空安全机制上线前Dart最常见的运行时崩溃原因之一，空安全确实把这类意外错误几乎全部消灭了，但它不是靠运行时拦截实现的，而是从变量赋值、类型约束、调用校验全链路在编译阶段就把不符合空规则的代码拦了下来：

• 对不允许为null的变量，根本不给你意外赋null的机会
• 对允许为null的变量，根本不给你不做判空就直接调用方法的机会

内容的提问来源于stack exchange，提问作者Steven