泛型

来源:互联网 发布:linux 服务器版本 编辑:程序博客网 时间:2024/06/10 00:36

泛型是为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语句
语句要求一个关联类型遵循一个特定的协议,或那个特定的类型参数和关联类型可以是相同的

0 0
原创粉丝点击