泛型类型的扩展函数

Question

我是 Kotlin 的新手，我正在尝试了解类型别名和函数。
我有以下示例：

interface EmptyInterface
typealias GenericCase<T> = T.(EmptyInterface) -> T

val myFunctionVariable: GenericCase<String> = {
    _ -> "Hello world!"
}

到目前为止，我的理解是，我扩展了 T 定义的函数，该函数接受 EmptyInterface 作为参数并返回 T。 所以myFunctionVariable 是一个应该通过EmptyInterface 调用的函数

但是下面的代码不能编译

class a: EmptyInterface
println("${myFunctionVariable(a())}")  

我需要传递一个String 作为第一个参数：

class a: EmptyInterface
println("${myFunctionVariable("",a())}")

为什么需要字符串作为第一个参数？ T.(EmptyInterface) -> T 在这种情况下是 String.(EmptyInterface) -> String 只有 1 个参数。 有人可以解释一下吗？

Answer 1

T.(EmptyInterface) -> T 类型中的T. 表示该函数是T 上的扩展函数。所以调用这个函数的常规方法是获取一个T 实例，并在该实例上调用它，就好像它是一个成员函数一样。在您的示例中，您选择T 作为String，您必须在String 实例上调用该函数：

"foo".myFunctionVariable(a())

您使用的语法是调用此扩展的另一种方法，将接收器作为函数的第一个参数传递（在字节码级别，它实际上是）：

myFunctionVariable("foo", a())

但是，如果您希望使用这种语法来使用您的函数，最好将其声明为接受两个参数，因为这种扩展函数的调用可能非常出乎意料。

（在this answer 中，有一些关于如何在作为类型扩展的函数和将其作为第一个参数的函数之间来回切换的更多信息。

Answer 2

在T.(EmptyInterface) -> T 类型中，第一个T 是接收者：函数被调用的实例，在函数定义中成为this。 （类似于扩展函数。）

实际上，接收器成为函数的隐藏第一个参数；正如您所发现的，如果您尝试直接调用该函数，则需要明确给出它。

它的语言规范是here；一些other answers 也可能有帮助。