Kotlin中能否混合推断与显式泛型参数？非可选扩展函数优化

核心方案：利用泛型类型推断，无需显式传入所有泛型参数 #

你定义的第二个版本扩展函数已经满足“仅在非空类型上可用”的编译时约束，而且根本不需要显式传入两个泛型参数——T的类型可以由编译器自动从调用者的类型推断出来，你只需要指定返回值类型R即可。

正确调用方式

假设调用者s是Shape类型（非空），直接这样写：

val height = s.getPrivateProperty<Int>("height")

编译器会自动将T推断为Shape，完全不需要写成<Shape, Int>。

如果你的IDE提示需要传入两个参数，大概率是因为调用者s的类型是可空的（比如Shape?），这时候编译器无法推断出符合T: Any约束的类型，而这正好是你想要的效果——直接阻止在可空类型上调用该函数。

极端场景补充

如果遇到极少数编译器无法自动推断T的复杂场景（比如深层泛型嵌套），可以用星号投影省略T的显式指定：

val height = s.getPrivateProperty<*, Int>("height")

不过这种情况非常少见，绝大多数场景下自动推断完全够用。

替代方案：运行时非空检查（不推荐） #

如果你不想用泛型约束，也可以把扩展函数定义在Any?上，然后在函数内部添加运行时非空检查：

inline fun <reified R> Any?.getPrivateProperty(variableName: String): R {
    requireNotNull(this) { "Cannot call getPrivateProperty on null" }
    // 原有的反射实现逻辑
}

但这种方式是运行时检查，不如泛型约束的编译时检查严格，一旦开发者忽略空值处理，只会在运行时抛出异常，而非编译阶段报错。因此更推荐使用泛型约束的方案。

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