Почему мое расширение протокола 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] 
    } 
}