如何省略类限定符向函数传递Kotlin KProperty？

完全可行，而且可以通过**具体化类型参数（reified）**配合内联函数来实现。

原问题的核心原因 #

原代码里的addProp函数，虽然编译器知道genericA是Generic<A>实例，但调用::i时，未限定的属性引用缺少上下文，编译器没法直接关联到A类的i属性。

修改方案 #

把addProp改成带具体化类型参数的内联函数，让编译器在编译期能拿到T的具体类型（也就是A），从而自动解析::i对应的是A的属性。

修改后的代码示例：

class Generic<T> {
    // 改成内联+reified T的函数
    inline fun <reified U> addProp(prop: KProperty1<T, U>) {
        // 函数逻辑保持不变
    }
}

class A(val i: Int)

val genericA = Generic<A>()

// 现在可以直接这样调用
genericA.addProp(::i)

为什么这样能行？ #

Kotlin的reified关键字只能用在内联函数上，它能让编译器在编译期把泛型类型T的具体信息（这里就是A）嵌入到函数调用点。这样当你写::i时，编译器能借助已知的T=A，自动识别这个属性属于A类，不需要再写A::限定符。

额外注意点 #

• 如果addProp函数不需要把prop参数作为内联lambda处理，可以给prop加上noinline修饰符，避免不必要的内联限制：

  inline fun <reified U> addProp(noinline prop: KProperty1<T, U>) { ... }
  

• 这种写法仅限纯Kotlin环境，Java调用时不支持reified和内联函数的这种用法，如果需要兼容Java，可能得保留原调用方式。

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