swift - 难以理解复杂的快速关联类型声明

Question

我在 swift github repository 看到了下面的代码行

associatedtype Indices : _RandomAccessIndexable, BidirectionalCollection
    = DefaultRandomAccessIndices<Self>

我知道 associatedtype 是协议(protocol)的类型别名，我知道如何在简单情况下解释它

但是有人可以向我解释一下我从 swift github 存储库中看到的代码行吗？

Answer 1

这意味着关联类型Indices必须符合 _RandomAccessIndexable和 BidirectionalCollection , 默认为 DefaultRandomAccessIndices<Self>除非以其他方式声明(或推断)(其中 Self 是采用协议(protocol)的实际类型)。

例子:

struct MyIndex : Comparable {
    var value : Int16

    static func ==(lhs : MyIndex, rhs : MyIndex) -> Bool {
        return lhs.value == rhs.value
    }
    static func <(lhs : MyIndex, rhs : MyIndex) -> Bool {
        return lhs.value < rhs.value
    }
}

struct MyCollectionType : RandomAccessCollection {

    var startIndex : MyIndex { return MyIndex(value: 0) }
    var endIndex : MyIndex { return MyIndex(value: 3) }

    subscript(position : MyIndex) -> String {
        return "I am element #\(position.value)"
    }

    func index(after i: MyIndex) -> MyIndex {
        guard i != endIndex else { fatalError("Cannot increment endIndex") }
        return MyIndex(value: i.value + 1)
    }
    func index(before i: MyIndex) -> MyIndex {
        guard i != startIndex else { fatalError("Cannot decrement startIndex") }
        return MyIndex(value: i.value - 1)
    }
}

let coll = MyCollectionType()
let i = coll.indices
print(type(of: i)) // DefaultRandomAccessIndices<MyCollectionType>

MyCollectionType是一个(最小的？)实现 RandomAccessCollection , 使用自定义索引类型 MyIndex . 它没有定义自己的 indices方法或 Indices类型， 这样Indices成为默认的关联类型， 和 indices 是 RandomAccessCollection 的默认协议(protocol)扩展方法.