如何修改默认推断无接收者函数类型的行为？求示例说明

官方提示的含义 #

即使变量用扩展函数引用初始化，默认也会推断为无接收者的函数类型。如需更改，需显式指定变量类型。

这句话的核心是：当你用扩展函数的引用（比如::扩展函数名）初始化变量时，Kotlin编译器默认会把变量的类型推断为无接收者的普通函数类型，而非带接收者的扩展函数类型。如果想让变量保留扩展函数的「接收者调用」特性，必须手动指定变量的带接收者函数类型。

示例说明 #

1. 默认推断的情况（无接收者函数类型）

先定义一个字符串的扩展函数：

// 字符串扩展函数：反转并转为大写
fun String.reverseAndUpper(): String = this.reversed().uppercase()

用扩展函数引用初始化变量，编译器默认推断类型：

// 编译器自动推断类型为 (String) -> String（无接收者的普通函数）
val defaultFuncRef = ::reverseAndUpper

此时调用该变量，必须以普通函数传参的方式：

// 正确调用：传入String参数
val result1 = defaultFuncRef("hello") // 输出 "OLLEH"

// 错误调用：无法用接收者语法调用
// "hello".defaultFuncRef() // 编译报错

2. 显式指定类型（修改默认推断）

如果想要保留扩展函数的接收者调用特性，需要显式声明变量的带接收者函数类型：

// 显式指定类型为 String.() -> String（带接收者的扩展函数类型）
val receiverFuncRef: String.() -> String = ::reverseAndUpper

此时既可以用接收者语法调用，也可以用普通函数传参的方式调用：

// 方式1：接收者语法调用（和原扩展函数调用一致）
val result2 = "hello".receiverFuncRef() // 输出 "OLLEH"

// 方式2：普通函数传参调用（兼容无接收者的调用方式）
val result3 = receiverFuncRef("hello") // 输出 "OLLEH"

核心总结 #

修改默认推断行为的关键就是手动指定变量的带接收者函数类型，语法为：接收者类型.() -> 返回值类型。这样就能让变量保留扩展函数的接收者调用特性，而不是被推断成普通的无接收者函数。

内容的提问来源于stack exchange，提问作者Mohammadreza Khahani