Conformidade de um novo protocolo com o Sequence com uma implementação makeIterator () padrão

Eu fiz um (muito básico)BinaryTree protocolo:

public enum BinaryTreeChildSide {
    case left, right
}

public protocol BinaryTree {

    associatedtype Element
    associatedtype Index

    func child(of index: Index, side: BinaryTreeChildSide) -> Index?
    var rootIndex: Index? { get }
    subscript(position: Index) -> Element { get }

}

Para um básicopassagem iterativa em ordemEu fiz umBinaryTreeIterator (note que eu não implementoSequence agora mesmo):

public extension BinaryTree {

    func makeIterator() -> BinaryTreeIterator<Self> {
        return BinaryTreeIterator(self)
    }

}

public struct BinaryTreeIterator<Tree: BinaryTree>: IteratorProtocol {

    private let tree: Tree
    private var stack: [Tree.Index]
    private var index: Tree.Index?

    private init(_ tree: Tree) {
        self.tree = tree
        stack = []
        index = tree.rootIndex
    }

    public mutating func next() -> Tree.Element? {
        while let theIndex = index {
            stack.append(theIndex)
            index = tree.child(of: theIndex, side: .left)
        }

        guard let currentIndex = stack.popLast() else { return nil }
        defer { index = tree.child(of: currentIndex, side: .right) }

        return tree[currentIndex]
    }

}

A implementação de um heap binário neste protocolo também é bastante direta:

public struct BinaryHeap<Element> {

    private var elements: [Element]

    public init(_ elements: [Element]) {
        self.elements = elements
    }

}

extension BinaryHeap: BinaryTree {

    private func safeIndexOrNil(_ index: Int) -> Int? {
        return elements.indices.contains(index) ? index : nil
    }

    public func child(of index: Int, side: BinaryTreeChildSide) -> Int? {
        switch side {
        case .left: return safeIndexOrNil(index * 2 + 1)
        case .right: return safeIndexOrNil(index * 2 + 2)
        }
    }

    public var rootIndex: Int? { return safeIndexOrNil(0) }

    public subscript(position: Int) -> Element {
        return elements[position]
    }

}

Por enquanto, tudo bem. Agora eu posso fazer um heap simples e iterar através de seus elementos:

let heap = BinaryHeap([4, 2, 6, 1, 3, 5, 7])
var iterator = heap.makeIterator()

while let next = iterator.next() {
    print(next, terminator: " ")
}
// 1 2 3 4 5 6 7

Isso funciona, mas é claro que o objetivo de implementarmakeIterator() é estar em conformidade comSequence. no entanto, se eu substituir

public protocol BinaryTree {

com

public protocol BinaryTree: Sequence {

então o compilador reclama queBinaryHeap não implementaSequence porque o tipo associadoIterator não pôde ser inferido. Se eu especificar manualmente oIterator digite com

extension BinaryHeap: BinaryTree {

    typealias Iterator = BinaryTreeIterator<BinaryHeap>

    ...

}

o compilador mostra um erro queIterator referencia-se circularmente. Então pode ser por isso que oIterator O tipo não pôde ser inferido.

Curiosamente, funciona se eu envolver meu costumeBinaryTreeIterator em umAnyIterator instância:

public extension BinaryTree {

    func makeIterator() -> AnyIterator<Element> {
        return AnyIterator(BinaryTreeIterator(self))
    }

}

let heap = BinaryHeap([4, 2, 6, 1, 3, 5, 7])

for number in heap {
    print(number, terminator: " ")
}
// 1 2 3 4 5 6 7

Próprio da AppleIndexingIterator parece funcionar de maneira semelhante à minhaBinaryTreeIterator:

public struct IndexingIterator<
    Elements : IndexableBase
    // FIXME(compiler limitation):
    // Elements : Collection
> : IteratorProtocol, Sequence {
    ...
}

DeCódigo fonte. Talvez o problema que estou enfrentando também possa ser devido à limitação do compilador mencionada lá, mas não tenho certeza.

Existe uma maneira de se conformarBinaryTree paraSequence sem utilizarAnyIterator?

questionAnswers(2)

yourAnswerToTheQuestion