在 Dart 编程语言中，可空类型（例如 String?）和非空类型（例如 String）在类型系统上有何不同？
考察说明
考查对 Dart 空安全类型系统的理解，包括类型声明、运行时行为及编码影响。
回答思路
- 【回答框架 1】Dart 的空安全特性用类型系统区分可空和非空。声明 String? 表示变量可以为 null，String 表示变量不能为 null。编译器会静态检查非空类型的使用，避免 null 导致运行时错误。
- 【回答框架 2】在运行时，可空类型和非空类型通常映射为相同的基础表示，但可空类型允许 null，非空类型则不允许。可空类型在读取时需进行空检查或使用空安全操作符（如 ?.、??），否则编译器会报错。
- 【回答框架 3】可空类型用于需要表示缺失值的场景，如从外部数据解析字段。非空类型则保证值必然存在，简化逻辑。类型系统在编译期强制执行这些规则，提高代码健壮性。
- 【关键点 1】String? 允许 null，String 不允许，编译器强制检查。
- 【关键点 2】可空类型读取需空处理，如 ?. 或 ??。
- 【关键点 3】两者运行时表示可能相同，但静态类型不同。
- 【关键点 4】空安全减少了空指针异常，使意图更清晰。
- 【易错点 1】误以为可空类型与动态类型类似，但实际有静态类型检查。
- 【易错点 2】忽略非空变量赋值为 null 的编译错误，导致代码无法运行。
- 【易错点 3】过度使用空断言（!）降低安全性。