Swift泛型-白红宇

泛型是为Swift编程灵活性的一种语法，在函数、枚举、结构体、类中都得到充分的应用，它的引入可以起到占位符的作用，当类型暂时不确定的，只有等到调用函数时才能确定具体类型的时候可以引入泛型。

泛型函数

定义

fun 函数名
     
      (形参列表)->返回值类型{     //函数体...}

例子：

func copyArray
     
      (src:[T],inout dest:[T]) {    for element in src    {     dest.append(element)    }     var arr=[1,2]    copyArray([3,4], dest: &arr)    print(arr)

在这里我们运用泛型为函数提供了一个T类型的占位符，这个占位符就可以在函数的实际调用中被替换成真是类型。

结构体泛型

struct WXRect
     
      {    var x:T    var y:T    var Add:(T,T)        {        return (self.x,self.y)        } }     let rect=WXRect
      
       (x: 20.0, y: 20.0)    let (30.0,20.0)=rect.Add    print("(\(x),\(y))")

类中泛型

class Swift
     
       {    var info:T    init(info:T)   {    self.info=info    }}    var swift=Swift
      
       (info:"Swift泛型")    print("\(swift.info)真强大")

类型约束

上面的例子中，泛型形参没有什么约束，我们可以对泛型传入任何值，但在实际中，或许有时候我们需要为泛型增加某些特定的约束。

定义类型参数时增加一个限制，约束这个类型参数必须继承自特定的类，或遵守一个特定的协议或合成协议，这就叫做类型约束。

语法格式:

<类型形参1:父类，类型形参2：协议，类型形参3：protocol<协议1,协议2>,..>

Where语句

where语句要求一个关联类型遵循一个特定的协议，或那个特定的类型参数和关联类型可以是相同的