类型推断与显式类型标注

上一章你注意到，我们写 let x = 42，从没说过 x 是整数。Swift 怎么知道的？答案就是”类型推断”。这一章把它讲透，也说说什么时候你得自己动手标注类型。

1-1 什么是类型推断

类型推断，就是编译器根据你给的初值，自动猜出这个值的类型。你写 let meaningOfLife = 42，编译器一看 42 像个整数，就把 meaningOfLife 推断成 Int。你完全不用写 : Int。

let meaningOfLife = 42      // 推断为 Int
let pi = 3.14159            // 推断为 Double
let message = "hi"          // 推断为 String
let isOpen = true           // 推断为 Bool

这背后的逻辑是：Swift 是类型安全的语言，每个值都有确定的类型，每个存放值的地方也有类型。既然你给了初值，编译器顺藤摸瓜就能定下类型，没必要让你再写一遍。

1-2 为什么这很爽

对比一下。在 C 或老式 Java 里，你可能要写 int meaningOfLife = 42;，类型写两遍。Swift 里类型推断帮你省掉了重复，代码更短，但类型检查一点没少——编译器依然严格，只是把脏活揽自己身上了。

类型推断不是”弱化类型”，恰恰相反，它是”强类型但少打字”。程序照样安全，你却更省力。这也是 Swift 被称为”表达力强”的体现之一。

1-3 浮点数默认推断成 Double

一个细节值得记住：当你写一个带小数点的字面量，Swift 一律推断成 Double，而不是 Float。

let price = 9.99   // 是 Double，不是 Float

Double 比 Float 精度高、范围大，Swift 默认选更稳的那个。如果你确实想要 Float（比如和显卡数据打交道），就得显式标注，下一节讲。

1-4 什么时候需要显式类型标注

类型推断很聪明，但不是万能。下面几种情况你得自己写上类型。

第一种：声明时没给初值，编译器无从推断。

var welcomeMessage: String

这里只说”welcomeMessage 是字符串类型”，值以后再说。因为此刻没有初值，编译器猜不出类型，必须你标。

第二种：你想强制某个更具体的类型。比如 let weight: Float = 9.99，明确要求 Float 而非默认的 Double。

第三种：字面量本身歧义时。整数和浮点混在一起，上下文会推成 Double，但如果你想让某段结果明确是某种类型，写明更稳。

1-5 显式标注怎么写

写法是：名字后面跟冒号，再加类型名。冒号读作”的类型是”。

var welcomeMessage: String
let red, green, blue: Double

第二行一口气声明三个 Double 变量，类型标在最后那个名字后面即可。冒号前后的空格是习惯写法，让代码透气。

1-6 类型一旦确定就不能混装

类型推断定下的类型，和显式标注一样牢固。一个被推断成 Int 的常量，后面绝不可能装进字符串。

let count = 10      // Int
count = "ten"       // 错误：类型不匹配

这就是类型安全在起作用：它阻止你无意中把错误类型的值塞进来。初学时可能觉得”管得宽”，但正是这种严格，让一大类 bug 在编译期就被摁住。

1-7 字面量 vs 类型的小把戏

有个容易迷糊的点：数字字面量（比如 3、0.14159）本身”没有类型”，只有被放进某个上下文才被赋予类型。所以 3 + 0.14159 能直接相加，因为编译器在求值现场才决定类型（这里推成 Double）。

但一旦字面量被赋给常量或变量，那个常量/变量就有了固定类型，之后再和别的类型混用就要显式转换。这个区别后面讲类型转换时会再碰到，先留个印象。

1-8 推断不是弱类型

类型推断是 Swift”少写代码多办事”的典型体现。你不用像某些老语言那样把类型写两遍，编译器替你省了重复劳动，但类型检查一点没放松。理解这点很重要：推断不等于”弱类型”，Swift 依然铁面无私地要求类型匹配。

为什么浮点字面量默认推断成 Double 而非 Float？因为 Double 精度更高、范围更大，是更安全的默认。只有当你明确要省内存或对接 GPU 数据时，才手动标 Float。日常小数一律 Double，这是社区共识。

显式标注什么时候写？记住三句话：有初值基本不写；没初值必须写；要特定类型才写。比如 var message: String 因为没初值编译器猜不出，必须标。标类型时冒号读作”的类型是”，名字: 类型 的空格是习惯，让代码透气。

一个进阶但有用的直觉：数字字面量本身”没有类型”，只有被放进上下文才被赋予类型。所以 3 + 0.14159 能直接加（现场定类型），但一旦 3 进了 Int 变量，再和 Double 混用就要显式转换。这个区别连起来看类型转换那章会更通透。

类型推断也不是万能，过度依赖有时会让代码意图变模糊。当一处值的类型不那么一目了然、或你想明确给读者”这里就该是某类型”的信号时，主动写个类型标注，反而更清晰。标注是工具，用在该用的地方，别为了秀技巧或纯粹偷懒。

1-9 补记：不确定类型时怎么查

如果你从动态类型语言（如 Python、JS）转来，会格外感激类型推断：既不用像 Java 那样写两遍类型，又有静态类型的安全。Swift 把这两者的好处捏在一起。刚开始你可能不确定”编译器到底推断出啥类型”，Xcode 和多数编辑器把鼠标悬停在变量上就能看到，命令行里也能用 :type 之类的方式查（REPL 中）。不确定时查一下，比猜靠谱。

1-10 小结

Swift 用类型推断，根据你给的初值自动定下类型，所以多数时候你不用写类型标注，代码更短却依然类型安全。需要显式标注的场合主要是：声明时没初值、想要比默认更具体的类型（如 Float）、或为了可读性刻意写明。标注写法是 名字: 类型。下一章我们系统认识 Swift 有哪些基础数据类型。