约束的 Swift 通用集合的紧凑化答案

【问题标题】：Compactification of Swift Generic Collection where constraint约束的 Swift 通用集合的紧凑化
【发布时间】：2017-03-04 12:29:37
【问题描述】：

我有一个对泛型集合进行操作的函数：

func foo<T: RangeReplaceableCollection>(_ bar: T) 
     where T.Iterator.Element == UInt8
{
    //
}

该函数然后访问该集合的子范围，因此它需要额外的约束：

func foo<T: RangeReplaceableCollection>(_ bar: T) 
     where T.Iterator.Element == UInt8,
           T.SubSequence: RangeReplaceableCollection,
           T.SubSequence.Iterator.Element == T.Iterator.Element
{
    //
}

它还调用本身对集合的子范围的子范围进行操作的函数，因此它需要更多的约束：

func foo<T: RangeReplaceableCollection>(_ bar: T) 
     where T.Iterator.Element == UInt8,
           T.SubSequence: RangeReplaceableCollection,
           T.SubSequence.Iterator.Element == T.Iterator.Element,
           T.SubSequence.SubSequence: RangeReplaceableCollection,
           T.SubSequence.SubSequence.Iterator.Element == 
               T.SubSequence.Iterator.Element
{
    //
}

有什么办法可以清理吗？
是否至少有一种方法可以将所有那些 where 子句隐藏在 typealias 后面？
如果没有，是否有解决此问题的提案？

【问题讨论】：

为什么有AnyRandomAccessCollection<T> 而没有AnyRangeReplaceableCollection<T>？也将解决问题并摆脱所有条款。

标签： swift generics collections

【解决方案1】：

集合子序列不必与集合具有相同的类型本身，但是——据我所知——子序列的子序列有与定义的所有集合的子序列本身的类型相同在标准库中。因此增加了一个约束

    T.SubSequence.SubSequence == T.SubSequence

应该解决任意嵌套子序列的问题：

func foo<T: RangeReplaceableCollection>(_ bar: T)
    where T.Iterator.Element == UInt8,
    T.SubSequence: RangeReplaceableCollection,
    T.SubSequence.Iterator.Element == T.Iterator.Element,
    T.SubSequence.SubSequence == T.SubSequence
{
   // ...
}

【讨论】：

如果我想对多个函数有相同的约束，是否有机会使用类型别名？