Kotlin:带有 get/set 运算符的具体化泛型的 UnsupportedOperationException

Jir*_*ire 0 function operator-overloading jvm-languages reification kotlin

我正在尝试将库中的函数read和分别转换为运算符函数和。我的函数使用具体化的泛型类型,它们也是内联方法。(你可以在这里看到我的图书馆writegetset。)

编译器没有问题让我通过,我不明白为什么使用非运算符函数推理工作得很好,但使用运算符在运行时失败。

Exception in thread "main" java.lang.UnsupportedOperationException: This function has a reified type parameter and thus can only be inlined at compilation time, not called directly.
    at kotlin.jvm.internal.Intrinsics.throwUndefinedForReified(Intrinsics.java:173)
    at kotlin.jvm.internal.Intrinsics.throwUndefinedForReified(Intrinsics.java:167)
    at kotlin.jvm.internal.Intrinsics.reifyJavaClass(Intrinsics.java:201)
Run Code Online (Sandbox Code Playgroud)

代码如下:

operator inline fun <reified T> get(address: Long): T {
    ...
}

operator inline fun <reified T> get(address: Int): T = get(address.toLong())

operator inline fun <reified T> set(address: Long, data: T) {
   ...
}

operator inline fun <reified T> set(address: Int, data: T): Unit = set(address.toLong(), data)
Run Code Online (Sandbox Code Playgroud)

有趣的是,我可以使用中缀函数来完成此操作,例如:

class Example { infix inline fun <reified T> foo(bar: Int) = Any() as T }

fun main(args: Array<String>) {
    val example = Example()
    val foobar: Any = example foo 12345
}
Run Code Online (Sandbox Code Playgroud)

我也可以与其他运算符一起执行此操作,例如这两个操作符都可以工作:

operator inline fun <reified T> minus(bar: Int) = foo<T>(bar)

operator inline fun <reified T> plus(bar: Int) = foo<T>(bar)
Run Code Online (Sandbox Code Playgroud)

我还注意到甚至可以invoke正常工作!这很奇怪,因为看起来两者invoke都有get相同的实现。

operator inline fun <reified T> invoke(bar: Int) = foo<T>(bar)

但是如果我将以下函数添加到 example:operator inline fun <reified T> get(bar: Int) = foo<T>(bar)然后尝试以下调用我会遇到错误:val get: Any = example[12345]

And*_*lav 5

这是一个错误:https ://youtrack.jetbrains.com/issue/KT-9211

作为解决方法,请使用.get(...)而不是[...]