请解释 Dart 语言中的空安全特性指的是什么，并阐述引入空安全机制的初衷与必要性。

回答思路

1. 【回答框架 1】空安全是 Dart 2.12 起引入的类型系统特性，通过将可空类型和不可空类型在类型层面区分，让编译器在静态检查阶段就能捕获潜在的 null 引用错误。简单说，未明确标记为可空的变量默认不可为空，只有显式使用问号声明的变量才可能存储 null。
2. 【回答框架 2】引入空安全的根本原因是消除空引用异常这一最常见的运行时崩溃源。传统语言中任何引用类型变量都可能为 null，程序员必须依赖经验或额外检查来规避空指针，而 Dart 空安全把这一检查从运行时提前到编译期，显著提升代码健壮性与可维护性。
3. 【回答框架 3】在空安全体系下，Dart 提供了三种主要机制：可空类型用问号标记，不可空类型直接用类型名；使用前必须通过空检查、空断言或空合并运算符等显式解除空性；流分析能智能判断变量在特定代码分支中是否已非空，从而允许安全访问。
4. 【回答框架 4】空安全还引入了 late 关键字用于延迟初始化，以及 required 关键字标记必传参数，配合空安全规则共同构成完整的空值防护体系。这些设计让开发者在使用变量时能明确其可空状态，写出意图更清晰且更安全的代码。
5. 【关键点 1】空安全的核心是区分可空类型与不可空类型，编译期即可拦截多数空引用错误。
6. 【关键点 2】可为空变量需用问号声明，访问前须经空检查、空断言或空合并等显式处理。
7. 【关键点 3】late 与 required 等语法扩展配合空安全，覆盖延迟初始化和必传参数场景。
8. 【易错点 1】空安全并非万能，运行时仍可能因外部数据或绕过规则产生空值，不可完全替代运行时防御。
9. 【易错点 2】滥用空断言（!）会绕过编译器保护，强行解除空性可能引发运行时崩溃。