Swift中数组的通用扩展

Question

坦率地说,我是学习扩展创建和使用的新手.

我想创建一个类别(在swift 3.0中扩展),可以在整个应用程序中使用它来执行Array的重复操作.

示例链接1

这是我在研究时所看到和理解的,我想创建一个扩展,其中包含各种方法,这些方法应该是通用的,而不是基于创建单独扩展所需的数据类型.

在上面的示例中,如果我们将使用特定的数据类型明智扩展,我们将需要创建单个扩展.如果有任何方法可以创建泛型类别(在swift中扩展),我想要一个指导.

1. extension _ArrayType where Generator.Element == Int
2. extension Array where Element: Equatable
3. extension Array where Element == Int
4. extension _ArrayType where Generator.Element == Float
5. extension SequenceType where Self.Generator.Element: FloatingPointType
6. extension Array where Element: DoubleValue
7. extension Sequence where Iterator.Element == String

,等等...

示例链接2

注意:简而言之,我们可以考虑在单个扩展中执行基于Array的操作,而不是按照上述要求为每个数据类型创建单个扩展.

Answer 1

正如评论中所提到的,实现此目的的一种方法是创建自己的协议,使用您要覆盖的类型(在有人称之为的注释中Content,在下面的示例中使用)(来自第一个来源):

protocol Content {
    var hash: String { get }
}
extension Array where Element : Content {

    func filterWithId(id : String) -> [Element] {
        return self.filter { (item) -> Bool in
            return item.id == id
        }
    }
}

但是,似乎最初的问题主要是询问数组的泛型扩展,一个注释说这是不可能的,但在Swift中可能有100%(实际上它是一个很大的Swift特性)(来自第二个来源).

例如,如果要Int仅为s 定义特定的扩展方法,则可以执行以下操作:

extension Sequence where Iterator.Element == Int {
    var sum: Int {
        return reduce(0, +)
    }
}

似乎问题的原始要求是扩展方法,它们可能与数据类型无关,因此应该保持共同.如果我理解正确的话,似乎这些数据类型通常具有一定的一致性Equatable和/或Hashable,这是这类通用工具的最低要求.但是,通过这种元素一致性,这可能是这样的:

extension Sequence where Iterator.Element is Equatable {
    func extensionMethodName<T: Equatable>(_ input: [T], singleElement: T) -> [T] {
        // T is now a generic array of equatable items. You can implement whatever extension logic you need with these. 
        // I added different ways of passing in and returning this generic type, but the only thing that is likely going to be consistent is the `<T: Equatable>` which is Swift standard syntax for declaring generic type parameters for a method.
    }
}

Swift语法变化很快,这里的内容很快就会过时,但本指南由Apple保持最新,并显示Generics上面使用的最新语法^.

我的回答来自几个StackOverflow问题/答案,例如/上面的语法^.资料来源:( SO资料来源) (SO资料来源2)

总之,对于完全自定义的扩展解决方案,可以组合上述所有方法,该解决方案Array同时具有适用于所有类型的通用函数/变量,同时仍具有特定于类型的扩展覆盖.

Answer 2

在where子句中,指定"如果元素类型具有这些规则,请考虑此扩展".

您不需要在所有扩展中实现所有方法.

例如:

• 你想扩展Array<Element>到一般有方法foo(_:Element):

  extension Array {
      func foo(bar: Element) { /*your code goes here */ }
  }
  

• 您希望扩展Array<Element>Element实现的位置Equatable(包括Int,Double以及...或您标记为的任何结构/类Equatable):

  extension Array where Element: Equatable {
      func find(value: Element) -> Bool { 
          return index(of: value) != nil
      }
  }
  

• 你想扩展Sequence的情况Element是Numeric,只有get变量sum:

  extension Sequence where Element: Numeric {
      var sum: Element { 
          return reduce(0, +)
      }
  }
  

• 您想扩展Collection<Collection<Element: Equatable>>以具有与2D集合进行比较的方法:

  extension Collection
      where Iterator.Element: Collection, 
      Iterator.Element.Iterator.Element: Equatable {
  
      func compare(to: Self) -> Bool {
          let flattenSelf = self.reduce([], +)
          let flattenTo = to.reduce([], +)
  
          return flattenSelf.count == flattenTo.count &&
              zip(flattenSelf, flattenTo).reduce(true) { $0 && $1.0 == $1.1 }
      }
  }
  

你并不需要延长数组或集合有类似的方法sort,find等等......这些方法大多如果已经扩展编译器内Element: Equatable或Element: Comparable.使用map,filter并且reduce可以用不多的代码实现更复杂的结构.