Swift中文教程(七)--协议,扩展和泛型

Protocols and Extensions 协议（接口）和扩展

Swift使用关键字protocol声明一个协议（接口）：

类（classes）,枚举（enumerations）和结构（structs）都可采用协议（protocol）：

class SimpleClass: ExampleProtocol {
    var simpleDescription: String = "A very simple class."
    var anotherProperty: Int = 69105
    func adjust() {
        simpleDescription += "  Now 100% adjusted."
    }
}
var a = SimpleClass()
a.adjust()
let aDescription = a.simpleDescription
 
struct SimpleStructure: ExampleProtocol {
    var simpleDescription: String = "A simple structure"
    mutating func adjust() {
        simpleDescription += " (adjusted)"
    }
}
var b = SimpleStructure()
b.adjust()
let bDescription = b.simpleDescription

练习：

照上例添加一个实现这个接口的枚举

请注意，上例中使用mutating关键词声明了一个方法adjust改动了SimpleStructure结构，而SimpleClass类则没有使用mutating关键字，因为类中的method可以随时改变类。（言外之意，结构中的方法要通过mutating关键字来标记更改结构，这个做法在后续具体翻译methods时会讲解到）

Swift使用extension关键字为已有的类型扩展功能，如增加新的方法或属性，你可以为别处声明的类型添加协议（接口），哪怕是引用过来的库或者框架：

extension Int: ExampleProtocol {
    var simpleDescription: String {
    return "The number (self)"
    }
    mutating func adjust() {
        self += 42
    }
}
7.simpleDescription

练习：

使用extension关键字为Double类型添加一个求绝对值的属性

你可以像其它命名过的类型一样使用一个协议（接口），譬如，声明一个拥有不同类型但遵守同一个协议（接口）的对象集合。协议（接口）的值运行时，外部的方法是不可用的：

let protocolValue: ExampleProtocol = a
protocolValue.simpleDescription
// protocolValue.anotherProperty  //这段代码的运行环境依赖上两个例子，我的理解是，假设常量protocolValue遵守ExampleProtocol协议，那么协议中的simpleDescription可以被引用，因为其在协议内部，而anotherProperty则不是协议内的方法，运行会报错，可以试着运行一下，看错误的结果。--by Joe.Huang

虽然ProtocolValue和SimpleClass类在同一个运行环境里面，但编译器会将其作用域放在ExampleProtocol里。也就是说，我们不能有意无意地使用协议（接口）外的方法或属性。

Generics 泛型

（提到泛型，肯定离不开泛型函数，~~~^_^~~~ 嘿嘿）

通过尖括号<>定义泛型函数或类型（尖括内命名）：

func repeat<ItemType>(item: ItemType, times: Int) -> ItemType[] {
    var result = ItemType[]()
    for i in 0..times {
        result += item
    }
    return result
}
repeat("knock", 4)

你可以在函数(func)，方法(method)中使用泛型，同样地，类（classes）,枚举（enumerations）和结构（structs）中也可以：

// 重载Swift标准库中的可选类型
enum OptionalValue<T> {
    case None
    case Some(T)
}
var possibleInteger: OptionalValue<Int> = .None
possibleInteger = .Some(100)

有时需要对泛型做一些需求（requirements），比如需要某个泛型类型实现某个接口或继承自某个特定类型、两个泛型类型属于同一个类型等等，Swift 通过where描述这些需求：

func anyCommonElements <T, U where T: Sequence, U: Sequence, T.GeneratorType.Element: Equatable, T.GeneratorType.Element == U.GeneratorType.Element> (lhs: T, rhs: U) -> Bool {
    for lhsItem in lhs {
        for rhsItem in rhs {
            if lhsItem == rhsItem {
                return true
            }
        }
    }
    return false
}
anyCommonElements([1, 2, 3], [3])

练习：

修改anyCommonElements函数，让其返回一个数组，内容是两个序列的共有元素

如果是简单的需要，你可以省略掉where关键字，比如<T where T: Equatable>可以简写为：<T: Equatable>。

翻译到此，《The Swift Programming Language》书中的语言简介部分已经译完了，后面的时间开始陆续翻译详解指南，工程量好大啊，希望有时间的同学能在github上一起帮忙翻译。^_^

谢谢，Swifter-QQ群：362232993，同好者进~ 

github地址：https://github.com/Joejo/Swift-lesson-for-chinese