如何在Kotlin中模拟高阶类型？实现通用单泛型处理器

问题描述 #

我在Kotlin 1.8中定义了如下接口：

sealed interface MyInterface<T>

并有两个实现：

object Impl1 : MyInterface<String>
object Impl2 : MyInterface<Int>

现在我想创建一个MyClass类，它包含一个myMethod方法，该方法接收任意带单个泛型参数的类型实例，并返回该泛型参数对应的类型结果。例如：

val myClass = MyClass<MyInterface>() // 确保传入MyClass的类型恰好有一个任意类型的泛型参数
val result1 = myClass.myMethod(Impl1) // result类型为String
val result2 = myClass.myMethod(Impl2) // result类型为Int

若调用myMethod时传入的不是MyInterface的实例，我希望得到编译时错误。但MyInterface只是单泛型参数类型的示例，我不想局限于此，比如也能适配Comparable这类类型。

在支持高阶类型的语言中可实现此需求，但Kotlin不支持高阶类型，请问是否存在可行的替代方案？

解决方案 #

虽然Kotlin不支持原生高阶类型，但可以利用泛型类型约束+编译时类型检查模拟该需求，核心是通过泛型参数标记「带单个类型参数的类型构造器」，并在方法中约束输入实例的类型关系。

实现代码

class MyClass<TC> {
    // 用具体化泛型辅助类型推断，同时约束输入实例必须是TC<T>的实现
    inline fun <reified T> myMethod(instance: TC<T>): T {
        // 根据业务逻辑返回对应T类型的结果，以下是示例逻辑
        return when (instance) {
            is Impl1 -> "Impl1的字符串结果" as T
            is Impl2 -> 456 as T
            // 适配Comparable类型的示例：Int实现了Comparable<Int>
            is Int -> instance as T
            else -> error("不支持的实例类型：${instance::class.simpleName}")
        }
    }
}

使用示例

// 针对MyInterface的用法
val interfaceHandler = MyClass<MyInterface>()
val strResult: String = interfaceHandler.myMethod(Impl1) // 编译通过，类型自动推断为String
val intResult: Int = interfaceHandler.myMethod(Impl2) // 编译通过，类型自动推断为Int

// 针对Comparable的用法
val comparableHandler = MyClass<Comparable>()
val numResult: Int = comparableHandler.myMethod(100) // 编译通过，100是Comparable<Int>的实例

// 错误用法：传入非单泛型参数类型会触发编译错误
val badHandler = MyClass<String>()
badHandler.myMethod("test") // 编译报错：Type parameter expects one argument

原理说明

1. MyClass<TC>中的TC代表「带单个泛型参数的类型构造器」（比如MyInterface、Comparable）；
2. myMethod的泛型参数T捕获TC的类型参数，instance: TC<T>的约束会让编译器自动检查：
   • TC必须是接受单个类型参数的类型，否则TC<T>直接编译报错；
   • 传入的实例必须是TC<T>的实现，否则触发编译错误；
3. 具体化泛型<reified T>帮助在方法内部获取T的类型信息，方便业务逻辑处理（若不需要类型信息，可去掉reified）。

该方案既满足编译时类型安全要求，又能灵活适配任意带单个泛型参数的类型，无需额外标记接口或复杂反射逻辑。

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