如何使用内联具体化函数处理带泛型的类？

先看你的基础代码示例：

简单类定义：

class SimpleClass {
    var test: Int = 1
}

对应的可正常工作的内联具体化函数：

inline fun <reified T : SimpleClass> myFunction1(): T {
    // 处理T的逻辑
}

带泛型的目标类：

class ComplexClass<T> {
    var test: T? = null
}

你尝试的写法无效，核心问题是C未被声明为泛型参数，且即使声明后，泛型擦除特性会导致无法直接通过T获取C的具体类型。下面给出两种可行的实现方案：

方案1：显式声明并具体化内层泛型C #

直接将C也声明为reified泛型参数，同时约束T继承自ComplexClass<C>，这样就能在函数中直接使用具体化的T和C类型：

inline fun <reified C, reified T : ComplexClass<C>> myFunction2(): T {
    // 示例：打印类型信息
    println("当前T的类型：${T::class.simpleName}")
    println("当前C的类型：${C::class.simpleName}")
    
    // 创建T的实例（需确保T有无参构造）
    return T::class.java.getDeclaredConstructor().newInstance()
}

调用时Kotlin可自动推断类型，两种写法都可行：

// 显式指定类型
val instance1 = myFunction2<String, ComplexClass<String>>()
// 利用类型推断简化写法
val instance2: ComplexClass<Int> = myFunction2()

方案2：通过T的类型信息提取C的类型 #

如果不想显式声明C，可以借助reified T的类型信息，通过反射提取ComplexClass的内层泛型参数C。这种方式适合T是ComplexClass直接子类或具体实现类的场景：

inline fun <reified T : ComplexClass<*>> myFunction2(): T {
    // 获取T的泛型参数信息
    val cType = typeOf<T>().arguments.firstOrNull()?.type
    cType?.let {
        println("提取到的C类型：${it.classifier?.simpleName}")
    }
    
    // 创建T实例（需确保T有无参构造）
    return T::class.java.getDeclaredConstructor().newInstance()
}

调用示例：

val instance: ComplexClass<String> = myFunction2()

注意：这种反射方式依赖编译时保留T的泛型信息，如果T是其他泛型类的参数，可能无法正确提取C的类型。

关键要点 #

• reified仅能用于inline函数的泛型参数，作用是在运行时保留泛型类型信息。
• 处理嵌套泛型时，要么显式声明内层泛型为reified参数，要么通过反射从外层具体化类型中提取内层泛型信息。
• 创建T实例时，需确保T存在无参构造函数，否则需要通过反射传递对应构造参数。

内容的提问来源于stack exchange，提问作者ᴜsᴇʀ