Kotlin延伸lambda与普通lambda

Question

根据以下源代码,似乎常规lambda可以与扩展lambdas互换.

fun main(args: Array<String>) {

    val numbers = listOf(1, 2, 3)

    filter(numbers, predicate)
    filter(numbers, otherPredicate)

    println("PREDICATE: ${predicate} " +
        "\nOTHERPREDICATE: ${otherPredicate} " +
        "\nEQUALITY: ${predicate==otherPredicate}")
}

val predicate : Int.() -> Boolean = {this % 2 != 0}
val otherPredicate : (Int) -> Boolean = {it % 2 != 0}


fun filter(list: List<Int>, predicate:(Int) -> Boolean) {
    for(number in list){
        if(predicate(number)){
            println(number)
        }
    }
}

输出(我关心),如下:

PREDICATE: kotlin.Int.() -> kotlin.Boolean 
OTHERPREDICATE: (kotlin.Int) -> kotlin.Boolean 
EQUALITY: false

问题是为什么这些lambdas可以互换？不应该是不同的东西？编译器是否在做一些"聪明"的事情？

Answer 1

差异

它不是完全可以互换的，因为“扩展 lambdas”，技术上称为lambdas 和接收器，可以在接收器上调用，这对于常规 lambdas 是不可能的：

predicateWithReceiver(2) //OK
2.predicateWithReceiver() //OK

regularPredicate(2) //OK
2.regularPredicate //Not OK

带有接收器的 Lambda 可以作为带参数的普通函数调用，但也可以直接在其接收器对象上调用（类似于扩展）。更重要的部分是此类 lambda 在调用方站点上的外观，即您不需要使用限定符来访问此类 lambda 内该接收器的可见成员。

汇编

这是通过编译器技术实现的。下面演示了2.regularPredicate字节码级别的样子（显示为反编译的 Java）：

  Function1 predicateWithReceiver = ...;
  predicateWithReceiver.invoke(2);

它看起来像一个常规的函数调用，翻译由编译器负责。

编辑

至于像filter它这样的高阶函数并没有真正的区别。看看它是如何编译的（再次描述为 Java）：

public static final void filter(@NotNull List list, @NotNull Function1 predicate) {

  //...
     if ((Boolean)predicate.invoke(number)) {
        System.out.println(number);
     }
  }

}

filter 函数采用 的实例Function1。带有接收器的常规和 lambda 表达式都被编译成这样一个对象。因此，predicate在 Kotlin 代码中定义参数的方式没有区别。