Kotlin 的不同类型的 reduce() 函数

我正在查看数组扩展函数并发现reduce() one

inline fun <S, T: S> Array<out T>.reduce(operation: (acc: S, T) -> S): S {
    if (isEmpty())
        throw UnsupportedOperationException("Empty array can't be reduced.")
    var accumulator: S = this[0]
    for (index in 1..lastIndex) {
        accumulator = operation(accumulator, this[index])
    }
    return accumulator
}

这里的accumulator类型变量S分配数组中类型为的第一个元素T.

我无法理解真实的用例reduce()具有两种数据类型的函数。这里综合的例子实际上没有任何意义。

open class A(var width: Int = 0)
class B(width: Int) : A(width)

val array = arrayOf(A(7), A(4), A(1), A(4), A(3))
val res = array.reduce { acc, s -> B(acc.width + s.width) }

似乎大多数具有此功能的现实生活用例都使用此签名：

inline fun <T> Array<out T>.reduce(operation: (acc: T, T) -> T): T

你能帮忙提供一些例子吗？reduce()函数可用于不同类型。

这是一个例子：

interface Expr {
    val value: Int
}

class Single(override val value: Int): Expr

class Sum(val a: Expr, val b: Expr): Expr {
    override val value: Int
        get() = a.value + b.value
}

fun main(args: Array<String>) {
    val arr = arrayOf(Single(1), Single(2), Single(3));
    val result = arr.reduce<Expr, Single> { a, b -> Sum(a, b) }
    println(result.value)
}