如何限制Kotlin泛型类仅接受实现指定接口的枚举类型？

错误原因 #

泛型函数里的T : Enum<out MyInterface>能正常工作，是因为调用函数时编译器会自动推导实际传入的T是具体的枚举类（比如CorrectTypeEnum）——这个类本身既满足Enum<T>的自限定约束，又实现了MyInterface。但泛型类的类型参数约束不支持这种投影类型的写法：

• Enum类的定义是class Enum<E : Enum<E>>，它的类型参数E必须是自身所属的枚举类（自限定规则）。
• 当你在泛型类里写Enum<out MyInterface>时，编译器会试图把MyInterface当作Enum的类型参数代入，但MyInterface不是枚举类，根本不满足Enum<E>的约束，所以直接抛出编译错误。

正确实现方式 #

要让泛型类仅接受实现MyInterface的枚举类，得用交叉类型同时给T加上两个约束：既是枚举类，又实现MyInterface。写法如下：

class MyClass<T : Enum<T> & MyInterface>

这样T必须同时符合两个条件：

1. 继承自Enum<T>，符合枚举类的自限定要求；
2. 实现MyInterface接口。

测试代码验证：

// 编译通过：CorrectTypeEnum是枚举类且实现了MyInterface
val validInstance = MyClass<CorrectTypeEnum>()

// 编译报错：WrongTypeEnum没有实现MyInterface，不符合约束
val invalidInstance = MyClass<WrongTypeEnum>()

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