在 Swift 中使用 where 子句扩展数组类型

Question

我想使用 Accelerate 框架来扩展 [Float] 和 [Double]，但每一个都需要不同的实现。

我尝试了显而易见的：

extension Array<Float> {
}

并得到这个错误：

"约束扩展必须在非特化泛型上声明 类型 'Array' 具有由 'where' 子句指定的约束"

是否可以通过这种方式在 Swift 2 中扩展泛型类型？

我的代码现在按预期工作了。这是一个使用 Accelerate 框架进行求和的示例。

extension _ArrayType where Generator.Element == Float {

    func quickSum() -> Float {
        var result: Float = 0
        if var x = self as? [Float] {
            vDSP_sve(&x, 1, &result, vDSP_Length(x.count))
        }
        return result
    }
}

extension _ArrayType where Generator.Element == Double {

    func quickSum() -> Double {
        var result: Double = 0
        if var x = self as? [Double] {
            vDSP_sveD(&x, 1, &result, vDSP_Length(x.count))
        }
        return result
    }
}

Answer 1

如果您只想扩展特定类型的数组。你应该扩展 _ArrayType 协议。

extension _ArrayType where Generator.Element == Int {

   func doSomething() {
       ... 
   }
}

如果您扩展Array，您只能确保您的元素符合其他协议。即：

extension Array where Element: Equatable {

   func doSomething() {
       ... 
   }
}

更新： 使用 Swift 3.1 https://github.com/apple/swift/blob/master/CHANGELOG.md

extension Array where Element == Int {

   func doSomething() {
       ... 
   }
}

Answer 2

Swift 3 来救援！！

extension Collection where Iterator.Element == Int {
    // `Collection` can be `Sequence`, etc
}

Answer 3

怎么样

extension CollectionType where Generator.Element == Double {

}

或者如果你想要更多：

protocol ArithmeticType {
    func +(lhs: Self, rhs: Self) -> Self
    func -(lhs: Self, rhs: Self) -> Self
    func *(lhs: Self, rhs: Self) -> Self
    func /(lhs: Self, rhs: Self) -> Self
}

extension Double : ArithmeticType {}
extension Float : ArithmeticType {}

extension SequenceType where Generator.Element : protocol<FloatLiteralConvertible, ArithmeticType> {
    var sum : Generator.Element {
        return reduce(0.0, combine: +)
    }

    var product : Generator.Element {
        return reduce(1.0, combine: *)
    }
}


stride(from: 1.0, through: 10.0, by: 1.0).sum   // 55
[1.5, 2.0, 3.5, 4.0, 5.5].product               // 231

适用于Double 和Float 或您符合协议ArithmeticType 和FloatLiteralConvertible 的任何其他类型。如果您需要访问数组的特定索引，请将 SequenceType 更改为 CollectionType，因为您无法使用序列执行此操作。

Answer 4

如果您只想扩展特定的Array，则必须为每种类型使用一个协议：

protocol DoubleValue {
    var value: Double { get }
}
extension Double: DoubleValue {
    var value: Double { return self }
}
extension Array where Element: DoubleValue {
    // use the value property
}

// the same for Float
protocol FloatValue {
    var value: Float { get }
}

extension Float: FloatValue {
    var value: Float { return self }
}
extension Array where Element: FloatValue {
    // use the value property
}

Answer 5

所以我没有正确阅读问题。 FloatingPointType是现有的协议，由Double、Float和CGFloat实现，所以

是的。我昨天才这样做，向 SequenceType 添加了一个函数，其中元素必须是 Equatable。这是一个修改，将元素限制为Float

您需要使用 where 子句。这是我下面的函数。

public extension SequenceType where Self.Generator.Element: FloatingPointType
{
    public func splitAt(separator: Generator.Element) -> [[Generator.Element]]
    {
        var ret: [[Generator.Element]] = []
        var thisPart: [Generator.Element] = []

        for element in self
        {
            if element == separator
            {
                ret.append(thisPart)
                thisPart = []
            }
            else
            {
                thisPart.append(element)
            }
        }
        ret.append(thisPart)
        return ret
    }
}

[Float(1), Float(2), Float(3), Float(4)].splitAt(Float(2))
// returns [[1],[3, 4]]
[Double(1), Double(2), Double(3), Double(4)].splitAt(Double(3))
// returns [[1, 2],[4]]

注意，我无法将这项功能用于数组，但无论如何 SequenceType 更通用。

Answer 6

Xcode 8.2 上的 Swift 3

只需要扩展 Sequence 协议并提供 where 语句即可。

let someString = "1, 2, 3, 4, 5, 6, 7, 8"

extension String {        
  func toArrayOfElements() -> [String] {
    return self.components(separatedBy: ", ")
  }        
}

extension Sequence where Iterator.Element == String {        
  func toInt() -> [Int] {            
    return self.map {
      Int($0)!
    }
  }        
}

let arrayOfStrings = someString.toArrayOfElements()    
print(arrayOfStrings)

let arrayOfInts = arrayOfStrings.toInt()    
print(arrayOfInts)

Answer 7

这对我有用。我正在使用Swift 5。

extension Array where Iterator.Element == Float {
}

Answer 8

这就是我使用 Swift 5 的方法：

extension Array where ArrayLiteralElement == Float {

}