Kotlin扩展函数接收者与参数类型一致性问题及函数差异咨询

一、两个扩展函数的核心差异 #

以下是f和g的关键区别：

• 类型约束逻辑不同：
  • fun Any?.f(o: Any?) = 100：接收者和参数类型固定为Any?，无论调用者是什么类型，只要参数属于Any?范畴（包括任意非空类型、null）都能合法调用，比如10.f("y")、null.f(3)均被允许。
  • fun <T> T.g(o: T) = 100：属于泛型扩展函数，编译器会根据接收者和参数共同推导最具体的T类型。例如10.g(5)会推导T为Int，"x".g("y")推导T为String；但若接收者和参数类型不同（如10.g("y")），编译器会自动将T推导为两者的公共超类型（此处为Any），因此该调用仍能通过编译。
• 可空性处理差异：
  • f的接收者明确支持可空类型，可直接调用null.f(null)。
  • g的可空性由推导的T决定：若接收者是null，T会被推导为Any?，此时null.g(null)合法；若T是不可空类型（如Int），则null.g(5)会编译报错。

二、能否强制接收者与参数类型完全一致？ #

你的猜测是正确的：仅靠当前函数签名无法在编译期强制接收者与参数类型完全一致——因为编译器会自动将泛型T推导为两者的公共超类型，导致10.g("y")这类跨类型调用依然合法。

若要实现编译期禁止跨类型调用，必须添加额外参数约束类型推导，例如借助KClass标记：

fun <T> T.g(o: T, type: KClass<T>) = 100

调用时需传入对应类型的KClass实例：

• 合法调用：10.g(5, Int::class)、"x".g("y", String::class)
• 非法调用：10.g("y", Int::class)会直接编译报错，因参数"y"的类型String与T=Int不匹配

若不添加额外参数，只能通过运行时类型检查实现逻辑约束，但无法阻止编译：

inline fun <reified T> T.g(o: T) {
    require(this::class == o::class) { "接收者与参数类型必须完全一致" }
    // 业务逻辑
}

这种方式下10.g("y")能通过编译，但运行时会抛出异常。

内容的提问来源于stack exchange，提问作者Sadeq Dousti