Swift学习笔记（三）

1.协议

Swift的协议（Protocol）指的是对方法、属性等定义的一套规范，但没有具体的实现。

可以通过类、结构体、枚举等具体实现。这是沿用Objective-C的关键字，在Java和C#中也叫做接口Interface。

用protocol关键字定义协议，遵守协议的类、方法、枚举中必须实现协议。

protocol ExampleProtocol {
    var simpleDescription: String { get }
    mutating func adjust()
}

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

var a = SimpleClass()
var b = SimpleStructure()
a.adjust()
b.adjust()
println(a.simpleDescription)
println(b.simpleDescription)

这是官方给出的协议用法例子，ExampleProtocol协议定义了一个有get取值器的字符串属性simpleDescription和关键字是mutating的无参数无返回值的方法adjust。

关键字mutating用于标识结构体structure中改变结构体属性的方法，在结构体声明中不能省略。而类方法声明则不需要，因为类的方法总是可以改变其属性。

遵守协议的类、结构体、枚举在满足协议要求基础上可以有其他的属性或方法，如例子中类的存储属性anotherProperty。

2.扩展

Swift的扩展（Extension）指的是在已有的类型上添加新的功能，如新的方法和新的计算属性。

已有的（Existing）指的是即使对于没有权限获得源代码的类型，我们也可以对其扩展。

类型（Type）指的是包括数据类型（Int、Double、String）以及类、结构体、枚举类型等在内的所有类型。

用关键字extension声明一个整型Int扩展：

extension Int: ExampleProtocol {
    var simpleDescription: String {
    return "The number \(self)"
    }
    mutating func adjust() {
        self += 42
    }
}
var num = 7
print("\(num.simpleDescription) after adjusted becomes ")
num.adjust()
println("\(num).")

输出为：The number 7 after adjusted becomes 49.

3.泛型

3.1泛型声明

Swift支持泛型（Generics），泛型定义和Objective-C、Java等常用语言中的泛型相同，泛型把类型声明延迟到实例化类或方法的时候执行。

比如建立一个泛型的栈，它有push和pop操作，那么我们就不必单独为Int、Double或者自定义的类等不同类型的量去分别建立栈，大大简化代码书写。

使用<>符号来声明泛型函数和泛型结构体等。

struct Stack<ItemType> {
    var items = ItemType[]()
    mutating func push(item : ItemType) {
        items.append(item)
    }
    mutating func pop() -> ItemType {
        return items.removeLast()
    }
}
var intStack = Stack<Int>()
intStack.push(1024)
intStack.push(2048)
println(intStack.pop())

这是用泛型实现栈操作，实例化intStack的时候才指出类型是Int。

Swift支持泛型函数和方法，同样也支持泛型类、枚举和结构体。

3.2泛型约束

Swift的泛型在特定环境要求下需要添加约束。

下面的例子中，为了找到元素在数组中的下标，需要使用==运算进行比较，但并非所有的类型都支持==运算，比如自己定义的结构体和类。

这时用普通的泛型函数不能实现，需要添加约束。Equatable是Swift标准库中定义的一种属性协议，满足协议的属性一定是支持==运算和!=运算的。

func findIndex<T: Equatable>(array: T[], valueToFind: T) -> Int? {
    for (index, value) in enumerate(array) {
        if value == valueToFind {
            return index
        }
    }
    return nil
}
println(findIndex([1,2,3,4,5,6,7],3))

冒号后声明约束为Equatable协议，也可以在冒号后面声明约束为一个变量，这时候约束条件变成该类型是这个类的子类。

Swift还可以用where关键字进行约束。where是对该类型的成员或者该类的一些特性做约束。

［待解决］