泛型编程是一种程序设计的技巧，它允许我们编写可以处理多种类型的代码。在 Swift 中，泛型编程是一种非常强大且常用的技术，可以帮助我们构建出更加灵活和可重用的代码。
泛型函数
Swift 中的泛型函数可以处理任意类型的数据，并且可以使用泛型类型参数来定义输入和输出的类型。
func swap<T>(_ a: inout T, _ b: inout T) {
let temp = a
a = b
b = temp
}
var a = 5
var b = 10
swap(&a, &b) // a = 10, b = 5
var x = "Hello"
var y = "World"
swap(&x, &y) // x = "World", y = "Hello"
在上面的例子中，我们定义了一个泛型函数 swap，它接收两个输入参数，并且使用 inout 关键字表示这是一个可变参数。通过使用泛型类型参数 <T> 来定义输入参数的类型，我们可以在调用函数时传递任意类型的参数。
泛型类型
在 Swift 中，我们可以定义泛型类型，这样我们可以在不同的数据类型上进行操作，而不是只针对特定的类型。
struct Stack<T> {
private var elements: [T] = []
mutating func push(_ element: T) {
elements.append(element)
}
mutating func pop() -> T? {
return elements.popLast()
}
func peek() -> T? {
return elements.last
}
}
var stack = Stack<Int>()
stack.push(10)
stack.push(20)
stack.push(30)
stack.pop() // 30
stack.peek() // 20
var stringStack = Stack<String>()
stringStack.push("Hello")
stringStack.push("World")
stringStack.pop() // "World"
stringStack.peek() // "Hello"
在上面的例子中，我们定义了一个泛型类型 Stack，它可以用于存储不同类型的数据。使用 <T> 来定义类型参数，我们可以在创建 Stack 实例时指定要存储的特定类型。
泛型约束
在有些情况下，我们可能想要对泛型类型进行额外的约束，以确保它可以满足特定的条件。在 Swift 中，我们可以使用泛型约束来限制泛型类型所属的类型。
例如，我们可以定义一个泛型函数，它只能接受遵循某个协议的类型。
func printPrefix<T: CustomStringConvertible>(_ value: T) {
print("Prefix:", value.description)
}
printPrefix(10) // Prefix: 10
printPrefix("Hello") // Prefix: Hello
protocol Numeric {
static func +(lhs: Self, rhs: Self) -> Self
}
func addNumbers<T: Numeric>(_ a: T, _ b: T) -> T {
return a + b
}
addNumbers(5, 10) // 15
addNumbers(3.14, 2.5) // 5.64
在上面的例子中，我们使用 CustomStringConvertible 协议约束了泛型类型 T，以确保它可以被打印出来。我们还定义了一个 Numeric 协议，并使用该协议约束了另一个泛型函数，以确保参数类型是可以进行加法操作的。
结语
泛型编程是 Swift 中非常强大且常用的技术。通过使用泛型函数、泛型类型和泛型约束，我们可以编写出更加灵活、可重用和类型安全的代码。在日常的开发中，我们可以广泛应用泛型编程来提高代码的质量和效率。希望本篇博客对你理解和使用 Swift 中的泛型编程有所帮助！
本文来自极简博客，作者：紫色玫瑰，转载请注明原文链接：Swift中的泛型编程
