Swift4.1自定义RangeReplaceableCollection为何需实现append<S: Sequence>(contentsOf:)?

感谢Hamish提供的最小复现代码，我之前也碰到过这个坑——明明按文档实现了Collection和RangeReplaceableCollection的所有要求，Xcode却还是提示未遵循协议。这其实是Swift 4.1在处理带AnyObject约束的泛型集合时的一个泛型推断问题。

问题根源 #

RangeReplaceableCollection的核心要求只有两个：

• 提供无参初始化器init()
• 实现replaceSubrange(_:with:)方法

其他所有方法（比如append、insert、removeAll等）都是基于这两个的默认实现。但当你的集合的Element被约束为AnyObject（类类型）时，编译器无法正确推断默认实现中涉及泛型序列的部分，导致误判协议未被遵循。

修复后的完整代码 #

我们只需要显式实现RangeReplaceableCollection的核心方法，并确保Collection的实现完整即可：

class Foo<Element : AnyObject> {
    required init() {}
    private var base: [Element] = []
}

// 完整实现Collection协议的必要内容
extension Foo : Collection {
    typealias Index = Int
    typealias Element = Element
    
    var startIndex: Index { base.startIndex }
    var endIndex: Index { base.endIndex }
    
    subscript(index: Index) -> Element {
        get { base[index] }
        set { base[index] = newValue }
    }
    
    func index(after i: Index) -> Index {
        base.index(after: i)
    }
}

// 显式实现RangeReplaceableCollection的核心方法
extension Foo : RangeReplaceableCollection {
    // 已有的required init()满足协议的无参初始化要求
    
    func replaceSubrange<C>(_ subrange: Range<Index>, with newElements: C) where C : Collection, Element == C.Element {
        // 直接复用底层数组的实现
        base.replaceSubrange(subrange, with: newElements)
    }
}

补充说明 #

• 显式实现replaceSubrange后，协议的其他默认方法都会自动生效，不需要额外编写。
• 这个问题在Swift 4.2及以后的版本中已经被官方修复，如果你不需要兼容Swift 4.1，升级Swift版本也能解决问题。
• 确保Collection的实现中没有遗漏必要的关联类型和方法，这是编译器正确识别协议遵循的基础。

内容的提问来源于stack exchange，提问作者Jan Nash