从Scala转Kotlin：基于多态函数定义泛型函数遇阻

你的问题本质是Kotlin的静态重载解析机制与泛型约束的冲突：泛型函数doubl中的T无任何类型限定，编译器无法确认任意T都存在对应的f重载，因此报错。以下是几种可行的解决思路：

方法1：接口约束+扩展函数（模拟Scala类型类风格） #

Kotlin没有原生类型类，但可以通过接口+扩展函数实现类似的多态效果：

1. 定义接口声明所需行为：

interface CanApplyF {
    fun applyF(): String
}

2. 给目标类型添加扩展实现：

fun Int.applyF(): String = (this + 1).toString()
fun String.applyF(): String = this.toUpperCase()

3. 给泛型函数添加接口约束：

fun <T : CanApplyF> doubl(v: T): String = v.applyF() + v.applyF()

调用示例：

println(doubl(1)) // 输出 "22"
println(doubl("hello")) // 输出 "HELLOHELLO"

方法2：具体化泛型+类型判断（适合类型较少的场景） #

通过reified具体化泛型，在运行时匹配对应重载：

inline fun <reified T> doubl(v: T): String {
    return when (v) {
        is Int -> f(v) + f(v)
        is String -> f(v) + f(v)
        else -> error("Unsupported type: ${T::class.simpleName}")
    }
}

注：该方法需配合inline和reified关键字，用于编译期具体化泛型类型。

方法3：传递函数引用（函数式风格） #

直接将f作为参数传入泛型函数，规避类型约束限制：

fun <T> doubl(v: T, transform: (T) -> String): String = transform(v) + transform(v)

调用时传入对应重载的函数引用：

println(doubl(1, ::f)) // 输出 "22"
println(doubl("hello", ::f)) // 输出 "HELLOHELLO"

补充：Scala与Kotlin的差异说明 #

Scala可通过隐式参数/类型类自动推导多态实现，但Kotlin无原生支持。方法1的接口+扩展是Kotlin模拟类型类的常用方案，方法3则更贴合Kotlin的函数式编程习惯。

内容的提问来源于stack exchange，提问作者david.perez