Dart 语言中，空安全特性在编译阶段是通过哪些机制来确保代码不会出现空引用问题的？其底层的实现原理，包括类型系统、流分析、以及代码生成等方面，具体是如何工作的？请详细解释。

回答思路

1. 【回答框架 1】Dart 空安全的核心是类型系统将可空类型与不可空类型在类型层面区分。默认所有类型不可为空，只有显式使用 ? 声明的类型才可空，编译器在编译期强制检查所有可能为空的值的使用。
2. 【回答框架 2】编译期通过流分析（flow analysis）追踪变量的可空性状态。例如，通过条件判断、类型检查、赋值等操作，编译器会更新变量的可空性信息，并在使用点验证是否满足安全要求。
3. 【回答框架 3】底层原理包括类型提升（type promotion）和代码生成。编译器在分析后，会在需要的地方插入隐式空检查或类型转换，并在运行时如果违反约定则抛出异常。但这种检查是防御性的，主要靠编译期静态分析保证。
4. 【回答框架 4】空安全还通过库的迁移与注解机制（如 ? 和 required），让新旧代码共存。编译器在编译时检查所有调用点，确保遵守可空性约定，从而在源码层面消除大部分空引用错误。
5. 【关键点 1】类型系统区分可空与不可空类型，默认不可空。
6. 【关键点 2】编译期流分析动态追踪变量可空性，实现类型提升。
7. 【关键点 3】底层在代码生成时插入防御性检查，静态分析为主。
8. 【关键点 4】迁移机制和注解保证新旧库兼容时仍维持安全。
9. 【易错点 1】空安全并不消除所有空错误，例如泛型或动态类型仍可绕过检查。
10. 【易错点 2】类型提升有局限性，变量被闭包捕获等场景可能提升失效。
11. 【易错点 3】运行时检查仅是兜底，依赖编译期的完整分析未必覆盖所有动态场景。