associatedtype用于protocol中,associatedtype类型是在protocol中32代指一个确定类型并要求该类型实现指定方法。

Swift 3.0:associatedtype 关联类型

Swift 3.0:associatedtype 关联类型 - 敏捷大拇指 - Swift 3.0:associatedtype 关联类型


比如,我们定义一个protocol:

[Swift] 纯文本查看 复制代码
protocol Container {
    associatedtype ItemType
    mutating func append(_ item: ItemType)
    var count: Int { get }
    subscript(i: Int) -> ItemType { get }
}


之后实现这个协议:

[Swift] 纯文本查看 复制代码
struct IntStack: Container {
    // original IntStack implementation
    var items = [Int]()
    mutating func push(_ item: Int) {
        items.append(item)
    }
    mutating func pop() -> Int {
        return items.removeLast()
    }
    // conformance to the Container protocol
    typealias ItemType = Int
    mutating func append(_ item: Int) {
        self.push(item)
    }
    var count: Int {
        return items.count
    }
    subscript(i: Int) -> Int {
        return items[i]
    }
}


其中items实现了ItemType这个代指变量。

由于Swift的类型推断,你实际上并不需要声明一个具体ItemType的Int作为定义的一部分IntStack。由于IntStack符合所有的要求Container协议,Swift可以推断出适当的ItemType使用,只需通过查看类型append(_: )方法的item参数和标的返回类型。事实上,如果你删除typealias ItemType = Int上面从代码行,一切仍然有效,因为很明显应该使用什么类型ItemType。




英文