类型推断与类型注解

Swift编译器根据赋值号右侧字面量的形式推断变量类型（类型推断），无需显式声明；需要覆盖推断结果或延迟赋值时，用冒号语法显式声明类型（类型注解，如Int）。这是静态类型系统在开发体验和安全性之间的折中：既保留了动态语言般简洁的书写方式，又能在编译期而非运行期捕获类型不匹配（如字符串与整数相加会被直接拒绝编译）。发散：这种”默认推断、按需标注”模式后来被Kotlin、TypeScript等语言广泛采纳，反映静态类型语言正在向脚本语言的书写体验靠拢，而不牺牲编译期检查。