如何在Kotlin中声明泛型类型为接口以实现通用委托类？

首先明确：Kotlin目前没有语法支持通过where约束或其他方式直接指定泛型类型参数必须是接口。你遇到的报错“Only classes and interfaces may serve as supertypes”，本质是因为T by thing要求T必须是可作为父类型的类或接口，但泛型T没有被限定为这类类型，且即使添加约束，也无法仅限定为接口。

不过我们可以通过以下方式实现通用的ID装饰逻辑：

方案一：通过基础标记接口规范目标类型 #

定义一个空的标记接口，让所有需要被装饰的业务接口都实现它，然后将泛型T约束到这个标记接口。这样既能规范使用，也能利用编译器检查避免传入不合适的类型：

// 标记接口，用于约束所有可被ID装饰的类型
interface IdentifiableTarget

// 业务接口实现标记接口
interface Foo : IdentifiableTarget {
    val noProblem: String
}

class FooImpl : Foo {
    override val noProblem = "Hakuna Matata"
}

// 通用ID装饰类
class Identifiable<T : IdentifiableTarget>(val id: Int, delegate: T) : T by delegate

使用示例：

val identifiableFoo = Identifiable(1, FooImpl())
println(identifiableFoo.id) // 输出1
println(identifiableFoo.noProblem) // 输出Hakuna Matata

如果尝试传入非接口的final类（比如最初的class Foo），编译器会直接报错，因为final类无法被委托。

方案二：用扩展函数简化创建并规范使用 #

不需要额外标记接口，直接定义通用装饰类，再配合扩展函数封装创建逻辑，使用时自然限制在接口类型的实例上：

// 通用ID装饰类
class Identifiable<T>(val id: Int, delegate: T) : T by delegate

// 扩展函数，仅针对任意类型T的实例，简化装饰创建
fun <T> T.withId(id: Int): Identifiable<T> = Identifiable(id, this)

使用示例：

val foo = FooImpl().withId(2)
println(foo.id) // 输出2
println(foo.noProblem) // 输出Hakuna Matata

同样，如果传入final类的实例，编译器会抛出委托相关的错误，间接避免错误使用。

关键说明 #

虽然Kotlin无法编译期强制泛型T是接口，但只要保证传入的T是接口类型或open类，通用装饰类就能正常工作。如果传入final类，编译器会直接报错，这也能有效防止误用。

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