当 Self 实现 IteratorProtocol 时，Swift 如何推断 Sequence 需求？-解网

问：

我正在阅读 Sequence 文档，并在他们使用的示例（见下文）中推断出 Sequence 的要求。我的问题是它是如何推断的。我了解推理在更简单的情况下是如何工作的，但在这个例子中，我无法理解 Swift 是如何推断事物的。

我看到 Sequence 的 makeIterator 方法有一个默认实现，但我不明白这里是如何推断返回值的。

例

struct Countdown: Sequence, IteratorProtocol {

    var count: Int

    mutating func next() -> Int? {
        if count == 0 {
            return nil
        } else {
            defer { count -= 1 }
            return count
        }
    }
}

上述类型的参考

IteratorProtocol {

   func next() -> Self.Element?

   associatedtype Iterator

   associatedtype Element
}

Sequence {

   func makeIterator() -> Self.Iterator

   associatedtype Iterator

   associatedtype Element

}

swift 协议类型推断

protocol MyIterator {
    associatedtype Element
    
    mutating func next() -> Element?
}

protocol MySequence {
    associatedtype Element where Element == Iterator.Element
    associatedtype Iterator : MyIterator
    
    func makeIterator() -> Iterator
}

extension MySequence where Self == Self.Iterator {
    func makeIterator() -> Iterator {
        return self
    }
}

struct Countdown: MySequence, MyIterator { // doesn't compile
    var count: Int

    mutating func next() -> Int? {
        if count == 0 {
            return nil
        } else {
            defer { count -= 1 }
            return count
        }
    }
}

在查看了源代码之后，我怀疑可能会有一些编译器的魔力，尤其是这里：

// Provides a default associated type witness for Iterator when the
// Self type is both a Sequence and an Iterator.
extension Sequence where Self: IteratorProtocol {
  // @_implements(Sequence, Iterator)
  public typealias _Default_Iterator = Self
}

这似乎设置了一个“首选”类型，以便推断为。它似乎在说“当不能推断为任何东西时，请尝试”。我在其他任何地方都找不到，这就是为什么我得出结论，这是编译器的魔力。这样做的全部目的是让您通过仅遵守和实现来遵守，正如文档所说的那样。IteratorIteratorSelf_Default_IteratorSequenceIteratorProtocolnext

现在，我们也满足了以下条件的约束：Iterator == SelfElement

associatedtype Element where Self.Element == Self.Iterator.Element

因此，我们已经证明符合。CountdownSequence

我可能已经想通了。如果我们实现 Sequence，我们会将 typealias Iterator 设置为 Self，因为 CountDown 是一个迭代器，而 Swift 可以推断 Self 是它自己的迭代器。虽然，你对编译器的神奇事情有一个好的观点。正如你所指出的，也许你可以重新表述你的答案，以突出编译器推断它的观点，因为它知道 self 是一个迭代器。我将其标记为正确

0赞 Sweeper 11/24/2020

@3366784我不确定你的意思，但无论如何我已经尽力了，还是编辑了。请随时建议自己编辑:)

上一个：为什么 .delay 在 swift 中使用 Combine 框架来破坏这段简短的代码

下一个：Swift 'compactMap' Sequence方法的时间复杂度

当 Self 实现 IteratorProtocol 时，Swift 如何推断 Sequence 需求？

How does Swift infer Sequence requirements when Self implements IteratorProtocol?

评论

评论