使用协议声明协议。
protocol ExampleProtocol {
var simpleDescription: String { get }
mutating func adjust()
}
类、枚举和结构都可以采用协议。
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
注意在SimpleStructure声明中使用mutation关键字来标记修改结构的方法。SimpleClass的声明不需要任何标记为mutation的方法，因为类上的方法总是可以修改类。
使用扩展向现有类型添加功能，例如新方法和计算属性。您可以使用扩展将协议一致性添加到其他地方声明的类型，甚至添加到从库或框架导入的类型。
extension Int: ExampleProtocol {
var simpleDescription: String {
return "The number \(self)"
}
mutating func adjust() {
self += 42
}
}
print(7.simpleDescription)
// Prints "The number 7"
您可以像使用任何其他命名类型一样使用协议名称—例如，创建具有不同类型但都符合单个协议的对象集合。当您处理类型为协议类型的值时，协议定义之外的方法不可用。
let protocolValue: ExampleProtocol = a
print(protocolValue.simpleDescription)
// Prints "A very simple class. Now 100% adjusted."
// print(protocolValue.anotherProperty) // Uncomment to see the error
使用采用错误协议的任何类型表示错误。
enum PrinterError: Error {
case outOfPaper
case noToner
case onFire
}
有几种方法可以处理错误。一种方法是使用do-catch。在do块中，您可以通过在前面写入try来标记可能抛出错误的代码。在catch块中，除非您给它一个不同的名称，否则错误将自动被指定为名称错误。
do {
let printerResponse = try send(job: 1040, toPrinter: "Bi Sheng")
print(printerResponse)
} catch {
print(error)
}
// Prints "Job sent"
另一种处理错误的方法是使用try?将结果转换为可选的。如果函数抛出一个错误，特定的错误将被丢弃，结果为nil。否则，结果是一个可选的，包含函数返回的值。
let printerSuccess = try? send(job: 1884, toPrinter: "Mergenthaler")
let printerFailure = try? send(job: 1885, toPrinter: "Never Has Toner")
泛型
在尖括号内写一个名称来创建泛型函数或类型。
func makeArray(repeating item: Item, numberOfTimes: Int) -> [Item] {
var result = [Item]()
for _ in 0..
result.append(item)
}
return result
}
print( makeArray(repeating: "knock", numberOfTimes: 4))
//["knock", "knock", "knock", "knock"]
您可以创建函数和方法的通用 泛型形式，以及类、枚举和结构的。
enum OptionalValue {
case none
case some(Wrapped)
}
var possibleInteger: OptionalValue = .none
print(possibleInteger)
// none
possibleInteger = .some(100)
print(possibleInteger)
// some(100)
在正文前面指定需求列表——例如，要求类型实现协议，要求两种类型相同，或者要求类具有特定的超类。
func anyCommonElements(_ lhs: T, _ rhs: U) -> Bool
where T.Element: Equatable, T.Element == U.Element
{
for lhsItem in lhs {
for rhsItem in rhs {
if lhsItem == rhsItem {
return true
}
}
}
return false
}
print(anyCommonElements([1, 2, 3], [3]))
// true
