为何以下Kotlin代码可编译？具体化类型参数边界未检查

在SomeScope.getEntity()方法中，显式调用get<Entity>()会直接触发编译错误，但省略类型参数靠返回类型推断时，代码却能正常编译，核心原因在于编译器对两种场景的类型检查逻辑不同：

1. 显式指定类型参数的场景 #

get()函数的类型参数约束是T : EntityBase，要求T必须是EntityBase的子类型。而代码里的Entity接口和EntityBase接口是完全独立的，没有继承关系，所以显式传入<Entity>时，编译器直接判定违反约束，抛出编译错误。

2. 类型推断的场景 #

当你写return get()时，编译器会自动推导符合以下两个条件的T类型：

• 满足T : EntityBase的约束
• T的实例可以赋值给getEntity()的返回类型Entity

此时编译器会将T推断为**Entity与EntityBase的交集类型**（即同时实现两个接口的类型）。虽然代码中没有显式定义这样的类型，但Kotlin允许这种隐式交集类型作为类型参数，再加上get()函数里的as T强制转换（你已经显式承担了类型转换的风险），编译器会放行这种静态检查。

另外，因为get()是inline reified函数，编译器在 inline 阶段会将T替换为实际推断的类型，结合JVM的类型擦除机制，进一步让这种场景在编译阶段被允许（运行时可能会出现类型转换异常，但编译器仅做静态约束检查）。

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