tl;dr:这似乎是一个已知问题:KT-13936: KotlinReflectionInternalError on invoking callBy on overridden member with dedicated default argument value
我之前做过的一些分析:
如果我们看看 Kotlin 在这里实际生成的内容,就会很明显为什么你不再有任何默认值了。的字节码Foo
:
public abstract interface Foo {
public abstract func(Ljava/lang/String;)V
LOCALVARIABLE this LFoo; L0 L1 0
LOCALVARIABLE argWithDefault Ljava/lang/String; L0 L1 1
public final static INNERCLASS Foo$DefaultImpls Foo DefaultImpls
}
// ================Foo$DefaultImpls.class =================
public static synthetic func$default(LFoo;Ljava/lang/String;ILjava/lang/Object;)V
ALOAD 3
IFNULL L0
NEW java/lang/UnsupportedOperationException
DUP
LDC "Super calls with default arguments not supported in this target, function: func"
INVOKESPECIAL java/lang/UnsupportedOperationException.<init> (Ljava/lang/String;)V
ATHROW
L0
ILOAD 2
ICONST_1
IAND
IFEQ L1
L2
LINENUMBER 2 L2
LDC "default" // <--- here is our default value? but where are we? Foo$Defaults.func$default?
ASTORE 1
L1
ALOAD 0
ALOAD 1
INVOKEINTERFACE Foo.func (Ljava/lang/String;)V (itf)
RETURN
MAXSTACK = 3
MAXLOCALS = 4
public final static INNERCLASS Foo$DefaultImpls Foo DefaultImpls
// compiled from: Foo.kt
}
所以其中声明的函数Foo
只是fun foo(String)
......除了在它自己的类中的合成函数之外,任何地方都没有默认值DefaultImpls
。
那么该函数在哪里调用......FooImpl
也许?
如果我们查看FooImpl
-bytecode ,很明显它不存在:
public final class FooImpl implements Foo {
public func(Ljava/lang/String;)V
L0
ALOAD 1
LDC "argWithDefault"
INVOKESTATIC kotlin/jvm/internal/Intrinsics.checkParameterIsNotNull (Ljava/lang/Object;Ljava/lang/String;)V
L1
LINENUMBER 3 L1
L2
ICONST_0
ISTORE 2
L3
GETSTATIC java/lang/System.out : Ljava/io/PrintStream;
ALOAD 1
INVOKEVIRTUAL java/io/PrintStream.println (Ljava/lang/Object;)V
L4
L5
LINENUMBER 4 L5
RETURN
L6
LOCALVARIABLE this LFooImpl; L0 L6 0
LOCALVARIABLE argWithDefault Ljava/lang/String; L0 L6 1
MAXSTACK = 2
MAXLOCALS = 3
...
因此,为了完整起见,我还创建了一个Caller.kt
仅包含以下代码的代码:
fun main() = FooImpl().func()
最后是字节码,还有我们的DefaultImpls.func$default
-call:
public final class CallerKt {
public final static main()V
L0
LINENUMBER 1 L0
NEW FooImpl
DUP
INVOKESPECIAL FooImpl.<init> ()V
ACONST_NULL
ICONST_1
ACONST_NULL
INVOKESTATIC Foo$DefaultImpls.func$default (LFoo;Ljava/lang/String;ILjava/lang/Object;)V // aha! here is our DefaultImpls.func$default!
RETURN
L1
MAXSTACK = 4
MAXLOCALS = 0
所以......因为DefaultImpls
只是由编译器生成并在需要时使用,所以reflect
实用程序也可以(并且在我看来应该)反映这个事实......我添加了一个类似的关于开放类的已知问题(它使用综合...$default
- 函数作为好)在答案的顶部。如果该问题没有完全解决您的问题,您可能需要打开一个新的Kotlin 问题。
只是玩了一下链接的问题......实际上,如果A::foo
使用而不是B::foo
(A
是开放类和B
扩展A
),那里的样本会起作用。但是,由于A
基本上与您的Foo
-interface 相似,因此该接口仍需要对此进行特殊处理。