具有多个闭包的通用函数不起作用

Question

我想创建一个可以将数组聚合为一种类型的通用函数。我将使用一个愚蠢但简单的例子来解释。

假设我得到了这个代码：

class Entity {
    var someElement: Int
}

现在我把这个函数写在一个Array extension中，这样我就可以在任何数组上使用它了：

/**
 * An aggregation function. The first closure extracts the useful data in a new object, the second one aggregates two items of the same type in one.
 * 
 * The algorithm works from front to back
 *
 * @return the aggregated value or nil if the array is empty
 */
func aggregate<R>(translation: (T) -> R, aggregation: (R, R) -> R) -> R? {
    if count == 0 {
        return nil
    }
    if count == 1 {
        return translation(self.first!)
    }
    var calc = translation(self.first!)
    for item in 1..<count {
        calc = aggregation(calc, translation(self[item]))
    }
    return calc
}

我想这样使用它：

let array: [Entity] = ... // something fills the array
array.aggregate(
    {
        item in 
        return item.someElement
    }, aggregation: {
        (item1, item2) in
        return item1 + item2
    }
)

但是我得到了这个疯狂的错误：Cannot convert the expression's type '((($T5) -> ($T5) -> $T4) -> (($T5) -> $T4) -> $T4, aggregation: (($T7, ($T7, $T8) -> ($T7, $T8) -> $T6) -> ($T7, ($T7, $T8) -> $T6) -> $T6, (($T7, $T8) -> ($T7, $T8) -> $T6, $T8) -> (($T7, $T8) -> $T6, $T8) -> $T6) -> (($T7, ($T7, $T8) -> $T6) -> $T6, (($T7, $T8) -> $T6, $T8) -> $T6) -> $T6)' to type 'R'。

这到底是怎么回事？在 Xcode 中，当我检查 item 的类型时，它是 <<error type>>，所以它甚至没有通过编译到达那里。我需要在我的函数调用中指定 R 是什么吗？

Answer 1

看起来 Swift 在推断第一个闭包的类型时遇到了问题。如果您更新对聚合的调用以明确提供类型：

array.aggregate(
    {
        (item: Entity)->Int in
        return item.someElement
    }, aggregation: {
        (item1, item2) in
        return item1 + item2
    }
)

可以compiles/runs还行

有趣的是，如果您不使用显式 returns，则推理有效：

array.aggregate(
    {
        item in
         item.someElement
    }, aggregation: {
        (item1, item2) in
        return item1 + item2
})

（array.aggregate({ [=13=].someElement},+) 也可以正常工作）

P.S。如果您对替代方案感兴趣，可以按如下方式重写 aggregate：

extension Array {
    func aggregate<R>(translation: T -> R, aggregation: (R, R) -> R) -> R? {

        return self.first.map { fst in
            dropFirst(self).reduce(translation(fst)) { aggregation([=12=], translation()) }
        }
    }
}

具有多个闭包的通用函数不起作用

Generic function with multiple closures not working

arrays

generics

closures

swift