12、泛型编程全解析：从基础到协议导向设计

泛型编程全解析：从基础到协议导向设计

1. 多泛型类型的使用

在编程中，若需要使用多个泛型类型，可通过逗号分隔来创建多个占位符。以下是为单个函数定义多个占位符的示例：

func testGeneric<T,E>(a:T, b:E) {
    print("\(a) \(b)")
}

在这个例子里，我们定义了两个泛型占位符 T 和 E 。此时，可将 T 占位符设为一种类型， E 占位符设为另一种不同的类型。不过，由于参数类型不同，我们无法交换它们的值，泛型还存在其他限制。例如，下面的泛型函数看似有效，但实现时会报错：

func genericEqual<T>(a: T, b: T) -> Bool{
    return a == b
}

报错信息为“binary operator ‘==’ cannot be applied to two ‘T’ operands”。因为在代码编译时，参数类型未知，Swift 不清楚能否对这些类型使用相等运算符，从而抛出错误。不过，我们可以使用类型约束来告知 Swift 期望类型具备特定功能。

2. 泛型的类型约束

类型约束规定泛型类型必须继承自特定类或遵循特定协议，这使我们能在泛型类型中使用父类或协议定义的方法和属性。通过重写 genericEq