Kotlin如何要求泛型类型参数必须带有@Serializable注解？

你直接在泛型参数前标注@Serializable的写法是错误的——这个注解是用来标记类可被序列化的，不能直接用来约束泛型类型。要实现你想要的约束，得借助kotlinx-serialization提供的KSerializer接口间接实现，因为任何被@Serializable注解标记的类，编译器都会自动生成对应的KSerializer实现类。

下面是两种可行的实现方式：

方式一：通过构造函数传入KSerializer #

直接在类的构造函数中要求传入对应类型的KSerializer，确保只有可序列化的类型才能创建实例：

import kotlinx.serialization.KSerializer
import kotlinx.serialization.serializer

class PersistentList<E>(private val elementSerializer: KSerializer<E>) : List<E> by mutableListOf() {
    // 示例序列化方法，使用传入的serializer处理元素
    fun persistToDisk(filePath: String) {
        // 这里可借助elementSerializer完成序列化逻辑
        // 比如：File(filePath).writeText(Json.encodeToString(elementSerializer, this))
    }
}

// 使用示例
@Serializable
data class User(val id: Int, val name: String)

// 手动传入对应类型的serializer
val userList = PersistentList(serializer<User>())

方式二：利用inline reified简化调用 #

通过内联函数和具体化类型，省去手动传入serializer的步骤，同时确保只有可序列化类型能调用：

import kotlinx.serialization.KSerializer
import kotlinx.serialization.serializer

class PersistentList<E> private constructor(private val elementSerializer: KSerializer<E>) : List<E> by mutableListOf() {
    companion object {
        inline operator fun <reified E> invoke(): PersistentList<E> {
            // 如果E没有被@Serializable注解，serializer()会直接编译报错
            return PersistentList(serializer())
        }
    }

    fun persistToDisk(filePath: String) {
        // 序列化逻辑实现
    }
}

// 使用示例
val userList = PersistentList<User>() // 无需手动传serializer，编译时自动检查类型合法性

这两种方式的核心逻辑是：只有被@Serializable标记的类型，才能获取到对应的KSerializer实例，从而间接实现泛型类型的约束。如果尝试传入未被@Serializable注解的类型，编译器会直接报错，达到你想要的约束效果。

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