为什么使用默认参数的Kotlin函数会使用未使用的参数创建方法

Question

请参阅 Kotlin 中的此示例代码：

fun foo(bar: Int = 0, baz: Int) {
    /* ... */
}

将其反编译为Java代码后（工具-

public static final void foo(int bar, int baz) {
}

// $FF: synthetic method
// $FF: bridge method
public static void foo$default(int var0, int var1, int var2, Object var3) {
  if ((var2 & 1) != 0) {
     var0 = 0;
  }

  foo(var0, var1);
}

我注意到生成的 Java 方法有一个未使用的对象 var3 参数。

我有点认为它可能与类中的函数有关，但当反编译此代码时

class Foo {
    fun foo(bar: Int = 0, baz: Int) {
        /* ... */
    }
}

我得到了这个代码

public final class Foo {
   public final void foo(int bar, int baz) {
   }

   // $FF: synthetic method
   // $FF: bridge method
   public static void foo$default(Foo var0, int var1, int var2, int var3, Object var4) {
      if ((var3 & 1) != 0) {
         var1 = 0;
      }

      var0.foo(var1, var2);
   }
}

正如您所看到的,< code>Object参数仍然没有使用，只是放在那里。在额外的测试中，我注意到扩展方法也有同样的行为。当默认参数为last(即< code>fun foo(bar: Int，baz: Int = 0) {})时，情况也是如此

我还做了一个基本的测试，检查在使用下面的代码调用该函数时，该值设置为什么

fun main(args: Array<String>) {
    foo(baz = 2)
}

和

class Something {
    init {
        foo(baz = 2)
    }
}

反编译后，我得到了以下代码

public static final void main(@NotNull String[] args) {
      Intrinsics.checkParameterIsNotNull(args, "args");
      foo$default(0, 2, 1, (Object)null);
}

和

public final class Something {
   public Something() {
      FooKt.foo$default(0, 2, 1, (Object)null);
   }
}

这更没有意义。

我的问题是：为什么静态编程语言会为具有默认参数的函数生成一个未使用的参数？是bug吗？

Answer 1

据此，目前它未使用，但保留用于稍后添加带有默认值的超级调用。

你可以在这里看到它的运行：

open class Foo {
    open fun foo(bar: Int = 0, baz: Int) {
        /* ... */
    }
}

class Blah: Foo() {
    override fun foo(bar: Int, baz: Int) {
    }
}

这将生成一个字节码到爪哇的 Foo：

public class Foo {
   public void foo(int bar, int baz) {
   }

   // $FF: synthetic method
   // $FF: bridge method
   public static void foo$default(Foo var0, int var1, int var2, int var3, Object var4) {
      if(var4 != null) {
         throw new UnsupportedOperationException("Super calls with default arguments not supported in this target, function: foo");
      } else {
         if((var3 & 1) != 0) {
            var1 = 0;
         }

         var0.foo(var1, var2);
      }
   }
}