为什么我的 Swift 协议扩展不能包装相同类型的现有函数？

Question

我正在尝试为集合创建一个“安全”的下标运算符——它忽略超出集合可用索引的范围部分。

期望的行为是在所有情况下都返回一个 Slice；当下标范围和集合范围没有重叠时，应该返回空数组。

这似乎是对this answer 中提出的技术的简单扩展。 documentation of the collection subscript operator is very straightforward：

subscript(bounds: Range<Self.Index>) -> Slice<Self> { get }

但是当我在包装函数中采用这些相同的类型时，我得到以下信息：

复制/粘贴版本：

extension Collection where Indices.Iterator.Element == Index {
    subscript(safe bounds: Range<Self.Index>) -> Slice<Self> {
        let empty = Slice(base: self, bounds: (startIndex..<startIndex))
        guard bounds.lowerBound < endIndex else { return empty }
        guard bounds.upperBound >= startIndex else { return empty }

        let lo = Swift.max(startIndex, bounds.lowerBound)
        let hi = Swift.min(endIndex, bounds.upperBound)
        return self[lo..<hi]
    }
}

为什么我不能以这种方式下标集合？为什么编译器确认我使用了正确类型的 Range<Self.Index>（在文档中指定）但仍然认为这是一个错误？

Answer 1

The ranged subscript requirement of Collection 返回一个SubSequence（关联类型）：

subscript(bounds: Range<Self.Index>) -> Self.SubSequence { get }

subscript that you refer to:

subscript(bounds: Range<Self.Index>) -> Slice<Self> { get }

只是该下标的默认实现，其中SubSequence 是Slice<Self>。任何符合Collection 的类型都可以以不同的方式实现此要求——它们不必将SubSequence 定义为Slice<Self>。

因此，您只需更改扩展名以反映您使用的下标返回 SubSequence：

extension Collection {
    subscript(safe bounds: Range<Index>) -> SubSequence {

        // as the method returns a SubSequence,
        // use the regular subscript to get an empty SubSequence
        let empty = self[startIndex..<startIndex]

        guard bounds.lowerBound < endIndex else { return empty }
        guard bounds.upperBound >= startIndex else { return empty }

        let lo = Swift.max(startIndex, bounds.lowerBound)
        let hi = Swift.min(endIndex, bounds.upperBound)

        return self[lo..<hi]
    }
}