泛型是为swift 编程灵活性的一种语法,在函数、枚、结构体、类中都得到充分的应用,它的应用可以起到占位符的作用,当类型暂时不确定的,只有等到调用函数时才能确定具体类型的时候可以引入泛型。
泛型函数:
定义
func 函数名<T,S>(形参列表)->返回值类型
{
//函数体...
}
例:
func copyArray<T>(src:[T],inout dest:[T]){
for element in src
{
dest.append(element)
}
var arr=[1,2]
copyArray()[3,4],dest:&arr)
print(arr)
在这里我们运用泛型为函数提供一个T类型的占位符,这个占位符就可以在函数的实际调用中被替换成真的类型。
结构体泛型
structuralWXRect<T>
{
var x:T
var y:T
var Add:(T,T)
{
return (self.x,self.y)
}
}
let rect=WXRect<Double>(x:20.0,y:20.0)
let (30.0,20.0)=rect.Add
print("\(x),\(y)")
类中泛型
classSwift<T。 {
var info:T
init(info:T)
{
self.info=info
}
}
var swift=Swift<String>(info:"Swift泛型")
print("\(swift.info)真强大")
类型约束
上面的例子中,泛型形参没有什么约束,我们可以对泛型传入任何值,但在实际中,或许有时候我们需要为泛型增加某些特定的约束。
义类型参数时增加一个限制,约束这个类型参数必须继承自特定的类,或遵守一个特定的协议或合成协议,这就叫做类型约束。。
语法格式:
<类型形参1:父类,类型形参2:协议,类型形参3:protocol<协议1,协议2>,..>
Where语句
语句要求一个关联类型遵循一个特定的协议,或那个特定的类型参数和关联类型可以是相同的