swift - 为什么我不能在 Range 扩展中循环 self？

Question

我有这个扩展:

extension Range {
    func foo() { // called with (0..<5).foo()

        let bar = 0..<5

        print(bar) // 0..<5
        print(self) // 0..<5

        print(type(of: bar)) // Range<Int>
        print(type(of: self)) // Range<Int>

        for i in bar { // :)

        }

        for j in self { // :(

        }
    }
}

出于某种原因，第一个循环没问题，但第二个循环不行。我得到一个编译时错误说

Type 'Bound' does not conform to protocol 'Strideable'  

这里还需要注意的一点是，将 bar 赋值给 self 会导致错误在第一个循环中弹出。

Answer 1

向编译器明确说明 Bound 是 Strideable :

extension Range where Element: Strideable {
    ...
}

定义一个Range只需要Bound是Comparable。查看实际实现here . Comparable 是定义一个Range 的最低要求。

有两种类型的范围:

• CoutableRange:这些是符合 Strideable 并在元素之间使用整数步长的类型 (Bound) 范围。这些范围被视为一个 Sequence，因此可以在 for 循环中使用。

• Normal 范围:这些包括仅包含 Comparable 元素的 Range 和 ClosedRange，因此可以' 被迭代。

这在 this 中明确给出评论。