请解释 Swift 编译器在类型推断方面的工作机制，并说明这一特性带来的主要好处。

回答思路

1. 【回答框架 1】类型推断是编译器在无需显式类型标注的情况下，根据上下文自动推导出表达式或变量类型的机制。编译器通过类型检查器（type checker）分析代码中的表达式、函数调用和赋值关系，利用约束求解（constraint solving）技术来推导类型，并在必要时插入类型转换。
2. 【回答框架 2】在 Swift 中，类型推断基于 Hindley-Milner 风格的类型推断系统，但进行了扩展以支持重载和面向对象特性。编译器会收集类型约束，例如赋值操作要求左右类型一致，然后通过统一（unification）算法求解，得出最具体的类型。
3. 【回答框架 3】类型推断的优势主要体现在代码简洁性和可维护性上：减少重复的类型声明，使代码更易读；同时提高了泛型代码的灵活性，例如在集合操作中自动推断元素类型。这有助于开发者专注于业务逻辑而非类型细节。
4. 【回答框架 4】但类型推断也有局限性，例如在复杂表达式或重载函数时可能导致推断缓慢或类型模糊，因此 Swift 允许显式类型标注来消除歧义。另外，类型推断发生在编译期，不影响运行时性能。
5. 【关键点 1】类型推断是编译器基于上下文自动推导类型的过程，基于约束求解实现。
6. 【关键点 2】Swift 采用类 Hindley-Milner 推断系统，支持泛型和重载。
7. 【关键点 3】主要优势：代码简洁、可维护性高、泛型编程更灵活。
8. 【关键点 4】局限性：复杂场景可能推断不明确，需显式标注。
9. 【易错点 1】类型推断不保证运行性能，它仅影响编译期。
10. 【易错点 2】过度依赖推断可能导致类型模糊，尤其在重载或协议时。