在swift中,class、struct、enums都可以是用参数化类型来表达泛型的,只有在协议中需要使用associatedtype关键字来表达参数化类型。为什么协议不采用这样的语法形式呢?
采用语法的参数化方式的泛型其实定义了整个类型的家族,在概念上这对于一个可以具体实现的类型(class、struct、enums)是有意义的,比方说Array,Array。但对于协议来说,协议表达的含义是single的。你只会实现一次GeneratorType,而不会实现一个GeneratorType协议,接着又实现另外一个GeneratorType协议。
协议在swift中有两个目的,第一个目的是用来实现多继承(swift语言被设计为单继承的),第二个目的是强制实现者必须准守自己所指定的泛型约束。关键字associatedtype是用来实现第二个目的的。在GeneratorType中由associatedtype指定的Element,是用来控制next()方法的返回类型的。而不是用来指定GeneratorType的类型的。
1.函数泛型
`func SwapTwoValues (inouta: T,inoutb :T) { let tempValue = a a = b b = tempValue}`
网友评论