将基于类类型参数的when语句拆分多函数及性能疑问

一、能否通过多态分发替代when结构？ #

Kotlin不支持直接定义泛型特化函数，也就是你写的fun dispatch<Float>()这种语法是不合法的，没法直接拆成这种形式。不过可以通过其他方式间接实现类似的多态分发效果：

方案1：重载函数+泛型转发 #

先定义对应具体类型的重载函数，再让泛型函数通过when做分发调用：

// 具体类型的重载函数
fun dispatchFloat() = println("I'm a Float")
fun dispatchString() = println("I'm a String")

// 泛型分发函数
inline fun <reified T : Any> dispatch() = when (T::class) {
    String::class -> dispatchString()
    Float::class -> dispatchFloat()
    else -> println("I'm something else")
}

这种方式把逻辑拆分到了单独的函数里，但核心的类型判断还是依赖when。

方案2：扩展函数+实例分发 #

如果允许创建类型实例，可以用扩展函数实现：

// 给具体类型定义扩展函数
fun String.dispatch() = println("I'm a String")
fun Float.dispatch() = println("I'm a Float")

inline fun <reified T : Any> dispatch() {
    // 通过when创建对应类型的空实例，再调用扩展函数
    val instance = when (T::class) {
        String::class -> "" as T
        Float::class -> 0.0f as T
        else -> null
    }
    instance?.dispatch() ?: println("I'm something else")
}

但这种方式需要依赖类型实例，不适用于无实例的场景，同样离不开when做类型匹配。

总结：没法完全去掉when结构实现纯多态分发，原生Kotlin不支持泛型特化，只能通过间接方式拆分逻辑，但类型判断的核心逻辑还是需要when来完成。

二、when语句的性能开销与编译期优化 #

因为原函数是inline+reified泛型，编译器会做极致优化：

• 当你调用dispatch<String>()时，编译器在编译阶段就会确定泛型类型是String，然后对when语句进行常量折叠——直接判断String::class == String::class为true，会把整个函数调用直接替换成println("I'm a String")。
• 编译后的字节码里不会有任何类型判断的逻辑，和直接写println("I'm a String")的性能完全一致，没有任何运行期损耗。

你可以通过查看编译后的字节码验证这一点：调用dispatch<String>()的位置会直接生成打印字符串的指令，没有多余的类型检查步骤。

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