Optional 用类型系统表达"值可能不存在"

可选类型把”这个值可能没有”这件事编码进类型本身（Int? 而非 Int），而不是像 C/Java 那样用 null/nil 悄悄混进普通类型里、只能靠运行时判断或文档约定。声明为非可选类型的变量在编译期就保证一定有值，想表达”可能缺失”必须显式加问号，编译器会强制在使用前处理空值分支。发散：这本质是把”空值风险”从运行时错误前移到了编译时的类型检查，是很多现代语言（Rust 的 Option、Kotlin 的可空类型）共享的思路。