泛型函数是一种在函数定义时可以指定使用哪种类型的函数，而在函数调用时再具体指定该类型的函数。通过泛型函数，我们可以在一个函数中处理不同类型的数据，从而提高代码的复用性和可扩展性。
在 Swift 中，使用 <T> 或 <T: SomeProtocol> 语法来定义泛型函数，其中 <T> 表示任意类型，而 <T: SomeProtocol> 表示 T 类型必须符合 SomeProtocol 协议。
基本语法
泛型函数的基本语法如下：
func functionName<T>(parameter: T) -> T {
// code here
}
在上面的代码中，我们使用尖括号(<T>)声明一个泛型类型参数T。在函数的参数列表中，我们将parameter参数的类型设置为T，并将函数的返回类型设置为T。这表示该函数可以接受任何类型的参数，并返回该参数的同一类型。
示例代码
下发实现了一个简单的 add 函数，该函数可以对所有符合 Numeric 协议的类型进行加法运算，而对于其他类型则会编译错误。
func add<T>(_ a: T, _ b: T) -> T where T: Numeric {
return a + b
}
let x = add(1, 2) // x = 3
let y = add(1.0, 2.5) // y = 3.5
let z = add("Hello, ", "world!") // z = "Hello, world!"
let w = add(true, false) // error: cannot convert value of type 'Bool' to expected argument type 'Numeric'
map函数
map函数是一个常见的泛型函数，它将一个类型的值转换为另一个类型的值。在Swift中，map函数通常用于数组、集合或序列等数据类型。
func map<T, U>(_ array: [T], _ transform: (T) -> U) -> [U] {
var result = [U]()
for item in array {
result.append(transform(item))
}
return result
}
在上面的代码中，我们声明了两个泛型类型参数T和U。函数接受一个数组array和一个函数transform，该函数将类型T的值转换为类型U的值。函数遍历array中的每个元素，并使用transform函数将其转换为类型U的值，最后将所有转换后的值存储在一个新的数组中，并将其返回。
filter函数
filter函数是另一个常见的泛型函数，它用于从一个数组或集合中筛选出符合特定条件的元素。在Swift中，filter函数通常用于数组、集合或序列等数据类型。
func filter<T>(_ array: [T], _ isIncluded: (T) -> Bool) -> [T] {
var result = [T]()
for item in array {
if isIncluded(item) {
result.append(item)
}
}
return result
}
在上面的代码中，我们声明了一个泛型类型参数T。函数接受一个数组array和一个函数isIncluded，该函数用于确定array中的每个元素是否应包含在结果数组中。函数遍历array中的每个元素，并使用isIncluded函数检查该元素是否应包含在结果数组中，最后将符合条件的所有元素存储在一个新的数组中，并将其返回。
总结
泛型函数是Swift中非常有用的功能，它使我们能够编写通用代码，可以在多种类型上工作，而不必为每种类型编写单独的函数。在上面的学习笔记中，我们学习了泛型函数的基本语法，并使用示例代码进行了演示。我希望这篇学习笔记可以帮助您更好地理解Swift中的泛型函数。
网友评论