Kotlin函数泛型上界不生效：不兼容类型转换无编译报错问题

这个现象本质是JVM泛型擦除、Kotlin未受检转换规则共同导致的类型安全漏洞，具体逻辑如下：

• 泛型类型在编译期被擦除
  Kotlin运行在JVM上，泛型类型参数不会被保留到运行时，编译时会被替换为声明的上界类型。你定义的fun <T : CharSequence> doSomething(): T在字节码层面的实际返回类型是CharSequence，方法内部的as T转换在编译阶段不会生成任何实际的类型校验逻辑——运行时根本不存在T的具体类型信息，没法做检查。
• 未受检转换会让编译器跳过类型安全校验
  方法内的return String() as T属于标准的未受检类型转换：编译方法代码时，编译器不知道T的实际类型，根本没法验证String实例是不是真的符合T的类型要求。这种场景下编译器只会抛出一个级别很低的未受检类型转换警告，不会直接报编译错误，默认开发者会为这个转换的安全性负责。
• 调用点会插入隐式类型转换
  你调用Something(doSomething())时，Something的构造参数要求是Int类型，编译器会尝试推断doSomething()的泛型实参来匹配这个参数类型。因为你已经通过as T告诉编译器「返回值一定符合T的类型」，编译器不会再严格校验推断出的T是否满足CharSequence的上界约束，只会在调用位置自动插入一条checkcast字节码指令，把方法返回值强转成推断出的Int类型。
  实际运行时方法返回的是String实例，执行这条隐式插入的强转指令时，JVM发现String无法转换为Integer（属于Number子类），就会抛出你看到的java.lang.ClassCastException。

• 除非逻辑完全可控，否则不要在泛型方法内部写as T这类未受检转换。如果必须使用，要在方法注释里明确标注类型要求，避免调用方传入不符合约束的类型实参。
• 不要忽略编译器抛出的Unchecked cast警告，出现这类警告时一定要确认类型逻辑的正确性。
• 如果需要编译期严格的类型检查，可以使用reified关键字实化泛型类型（仅支持内联函数），此时编译器能在编译阶段拿到T的具体类型，不合法的类型传参会直接触发编译错误，示例代码如下：

inline fun <reified T : CharSequence> doSomething(): T {
    return String() as T
}

class Something(intValue: Int)
// 此处会直接编译报错，因为Int不属于CharSequence的子类型
Something(doSomething())

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