泛型允许你定义一个宽松、可重用的函数或者类型,使用泛型能够避免代码的重复,也能以更清楚和抽象的方式来表达程序的意图。
泛型是Swift语言提供的强大功能之一,Swift提供的许多标准库都使用了泛型来创建,如Swift提供的数组和词典类型。通过使用泛型,你能使用一个数组和词典来包含和存储任何类型的元素。
1.1 泛型函数
使用Swift语言你能定义一个可以工作于任意类型的泛型函数,从而不必为每种类型都定义一个具有相同功能的函数,这样就可以大大减少代码的重复。
如对一个实现任意类型值交换(swap)的函数,可以在Swift语言中定义一个下面的泛型函数。
func swap<T>(inout a:T,inout b:T)
{let temporaryA
=aa =b
b =temporaryA
}
以上语法定义了一个实现任意类型值交换的通用版本函数,也称为泛型函数。定义泛型函数的语法为:定义一个通用函数名字及其后面跟着的一个闭合的三角括号<>,三角括号中包含一个字母T(可以是任意有效的标识),称为类型参数,用来指代该泛型函数定义中要使用到的类型的占位(如作为泛型函数中的输入参数和返回类型的占位)。泛型函数使用该类型参数来代替实际的类型名(可以是Int,String,
或Double等)。
类型参数使用的实际类型在每次泛型函数调用时由Swift语言根据传送给泛型函数的值的类型推定确定。如下例子所示,T被相应推断为Int和String类型。
var someInt =3
var anotherInt =107
swap(&someInt, &anotherInt)
var someString ="hello"
var anotherString ="world"
swapTwoValues(&someString, &anotherString)
类型参数用来定义泛泛型函数中参数的类型和返回类型,以及作为泛型函数体内的类型注释。
一个泛型函数中可以提供多个类型参数,每个类型参数在三角括号中以逗号分割。
1.2 泛型类型
与Array和Dictionary实现机制类似, Swift也允许用户定义一个能工作于任意类型的泛型类型(泛型类、泛型结构、泛型枚举)。
如下定义了一个可以使用任意类型的一个堆栈类。
structStack<T>
{var items
=T[]()mutating fund push(item:T)
{items.append(item)
}
mutating func pop()
->T {return items.removeLast()
}
}
与泛型函数类似,也在跟着定义的泛型类型名字后面的三角括号内定义泛型类型用到的占位类型参数。
如上例所示,占位类型参数在泛型类型定义中可以用作泛型类型中的属性类型的占位,也可作为泛型类型中方法、下标方法用到的参数或返回类型的占位。
占位类型参数的实际类型在泛型类型使用时使用初始化语法指定,如下使用上面定义泛型类型定义了一个实际类型(字符串类型)的堆栈,泛型类型的类型参数的实际类型(String)在类型名Stack后面的三角括号中指定。
var stackOfStrings = Stack<String>()
stackOfStrings.push(“uno")
let fromTheTop
=stackOfStrings.pop()
1.3 类型限制
在泛型函数和泛型类型定义中,有时需要对使用到的类型施加一些进一步的类型限制。
如在Swift语言的词典类型中要求词典的键值必须保持唯一。因此Swift语言对词典的键值类型施加的类型限制是键值类型必须符合 Hashable协议(Hashable协议是Swift标准库中定义的一种特定协议,所有的Swift基本类型默认都是符合Hashable协议的,因此都是可hashable的)。
类型限制语法:
与函数参数列表的类型定义类似:在类型参数名后面放一个类或协议来规定类型参数要遵从的类型限制,两者之间以分号分割。
如下是一个带类型限制的泛型函数的语法:
func someFunction<T:SomeClass,U:SomeProtocol>(someT:T,someU:U)
{
// function body goes here
}
该泛型函数带有两个类型参数,分别以T和U代表,T的类型限制是T必须是SomeClass类型,U的类型限制是U必须符合SomeProtocol协议。
泛型类型的类型限制语法与泛型函数类似。
如下是一个使用类型限制定义的在一个数组中查找值的一个泛型函数findIndex的例子及其使用。
该例子对类型参数施加了一个类型限制:规定类型参数必须符合Equatable协议(也是Swift标准库中定义的一种协议,要求任意符合该协议的类型必须实现==和!=操作符,用来对那种类型的两个值进行比较,所有Swift的标准类型都提供对该协议的支持)。
func findIndex<T:Equatable>(array:T[],valueToFind:T)
->Int? {for (index,value) in enumerate(array)
{if value
==valueToFind {returnindex
}
}
return nil
}
let doubleIndex =findIndex([3.14159,0.1,0.25],9.3)
1.4 协议的泛化
在定义一种协议时,作为协议定义的一部分,能够为协议用到的类型声明一个或多个相关占位类型,相关占位类型是协议用到的类型的占位名或别名,其实际类型在协议采用时才规定。相关类型在协议定义中使用typealias关键字规定。如下是协议泛化的例子。
例子定义了一个名为Container的协议,Container协议中声明了一个称为ItemType的相关占位类型,用来在协议中作为协议规定的方法需求append的参数类型和脚本方法需求的返回类型的类型占位。
protocol Container {
typealias ItemType
mutating func append(item:ItemType)
var count:Int
{get }subscript(i:Int)
->ItemType {get }}
以下是该协议的使用例子:
struct IntStack:
Container {// original IntStack implementation
var items
=Int[]()mutating fund push(item:Int)
{items.append(item)
}
mutating func pop()
->Int {return items.removeLast()
}
// conformance to the Container protocol
typealias ItemType
=Int//该行可以去掉,让Swift自动进行类型推断mutating unc append(item:Int)
{self.push(item)
}
var count:Int
{return items.count
}
subscript(i:Int)
->Int {return items[i]
}
}
在该例子中声明IntStack采用Container协议,因此IntStack需要实现Container协议规定的需求。IntStack在实现Container协议时,可以指定或者让Swift自动推断Container协议中定义的相关类型(别名)的实际类型。
1.5、 Where 从句
可以使用 Where 从句为泛型函数、泛型类型、泛型协议中的类型参数或相关类型进一步定义限制或需求,可以在泛型定义中使用 Where 从句规定一个相关类型符合一个确定的协议,或者规定类型参数与一个关联类型的类型相同。
如下定义了一个泛型函数allItemsMatch,用来检查两个容器的实例中的对应次序项的值相同。
该泛型函数使用Where 从句规定待比较的两个容器包含的项类型相同,并且符合Equatable协议。
func allItemsMatch<C1:Container,C2:Container where C1.ItemType
==C2.ItemType,C1.ItemType:Equatable>(someContainer:C1,anotherContainer:C2)
->Bool {if someContainer.count
!=anotherContainer.count
{return false
}
for i in 0..someContainer.count
{if someContainer[i]
!=anotherContainer[i] {return false
}
}
// all items match, so return true
returntrue
}
版权所有,请转载时清楚注明链接和出处,谢谢!