揭秘 Swift 4 中的泛型：深入浅出，突破误区

2023-12-31 10:24:52

前言

作为 Swift 的中流砥柱，泛型以其灵活性著称，然而却常让许多开发者望而却步，尤其是在应用开发领域。事实上，泛型并非专门为图书馆、框架或 SDK 而生，对于提升代码质量而言，它在应用开发中也大有可为。本文将另辟蹊径，以一个餐厅的场景为切入点，带领读者深入浅出地领略 Swift 中泛型的奥秘，打破常见的误解，助力开发者轻松掌握泛型精髓。

泛型：灵活性与类型安全的完美结合

泛型的魅力在于，它允许我们创建可以处理不同数据类型的代码。就好比餐厅中的菜单，它不限定于特定的菜品，而是可以根据顾客的口味和偏好灵活调整。同样，泛型代码也不局限于特定的数据类型，它可以适应各种类型的数据，就像菜单可以根据不同顾客的需求而变化一样。

Swift 中的泛型使用尖括号（<>）来定义，里面可以放置一个或多个类型参数。例如，我们可以创建一个名为 Restaurant<T> 的泛型类，其中 T 表示餐厅可以处理的数据类型。这样一来，我们就可以创建处理不同类型数据的餐厅，比如 Restaurant<String>（处理字符串）、Restaurant<Int>（处理整数）或 Restaurant<Any>（处理任意类型）。

类型推断：让代码更简洁

Swift 的另一大亮点是类型推断，它可以自动推断泛型参数的类型。就拿餐厅的场景来说，我们可以直接创建 Restaurant("意大利面")，而不用显式指定类型参数为 String。这是因为编译器能够根据我们提供的参数自动推断出 T 的类型。

协变和逆变：扩展泛型的灵活性

泛型的灵活性还可以通过协变和逆变进一步扩展。协变允许我们扩展泛型类型的子类型，就好像我们在餐厅菜单中添加新的菜品一样。例如，我们可以创建一个 Restaurant<Food>，其中 Food 是一个父类，然后创建 Restaurant<Pizza>，其中 Pizza 是 Food 的子类。这样一来，Restaurant<Pizza> 就可以处理所有 Food 类型的菜品，就像菜单可以容纳各种各样的菜品一样。

逆变则允许我们收窄泛型类型的父类型，就好像我们在餐厅菜单中移除某些菜品一样。例如，我们可以创建一个 Restaurant<Cookable>，其中 Cookable 是一个接口，然后创建 Restaurant<PizzaCooker>，其中 PizzaCooker 是 Cookable 的实现。这样一来，Restaurant<PizzaCooker> 只能处理可以烹饪披萨的设备，就像菜单只能包含可以烹饪的菜品一样。