Kotlin类委托覆盖的意外行为

Question

根据我的理解,班级代表团应该这样做

允许对象组合实现与继承相同的代码重用.[维基百科]

Kotlin支持类委派,并在文档中注明以下声明:

覆盖按预期工作:编译器将使用覆盖实现而不是委托对象中的覆盖实现.

考虑到这一点,请考虑以下最小示例:

interface A {
  val v: String

  fun printV() {
    Logger.getLogger().info(Logger.APP, "A", v)
  }
}

class AImpl : A {
  override val v = "A"
}

class B(a: A) : A by a {
  override val v: String = "B"
}

我预计B(AImpl()).printV()会打印B,但是它打印A,即它使用默认的实现AImpl.

此外,如果我printV()使用super实现覆盖B中的方法,即

class B(a: A) : A by a {
  override val v: String = "B"
  override fun printV() {
    super.printV()
  }
}

我现在预计B(AImpl()).printV()会打印A,但这次打印B.这似乎违反直觉.

你能对这种行为给出一个很好的解释吗？

Answer 1

这按预期工作.

我期望B(AImpl()).printV()将打印B,但是它会打印A,即它使用AImpl的默认实现.

总是想象类授权,因为您将自己的调用重定向到委托类:

class B(private val a: A) : A {
    override val v: String = "B"

    override fun printV() {
        a.printV()
    }
}

这清楚地表明,调用printV只是委托给a它,并且它v在类中的价值并不重要B.

此外,如果我使用超级实现覆盖B中的printV()方法,即我现在期望B(AImpl()).printV()将打印A,但这次它打印B.这似乎违反直觉.

再次,想象一下委托如何在内部工作:

class B(private val a: A) : A {
    override val v: String = "B"

    override fun printV() {
        super.printV() // the super call than uses the overridden v
    }
}

这表明,a不再涉及并printV使用您的本地重写变量.

更新1(第二部分详述)

https://kotlinlang.org/docs/reference/delegation.html

已证明,委派模式是实现继承的良好替代方案

因此,您不能将委托视为继承.是代表团(查找委托模式的维基百科)

...并且编译器将生成转发到b的所有Base方法.

因此,您的接口的所有方法(v-property和printV)都只是生成并转发到委托类.

这里是类的代码片段B和反编译代码,以查看它在内部的工作原理:

class B(a: A) : A by a {
    override val v: String = "B"
}
class C(a: A) : A by a {
    override val v: String = "B"
    override fun printV() {
        super.printV()
    }
}

public final class B implements A {
  @NotNull
  private final String v = "B";

  public B(@NotNull A a) {
    this.$$delegate_0 = a;
    this.v = "B"; 
  } 

  @NotNull
  public String getV() { return this.v; }

  public void printV() {
    this.$$delegate_0.printV();
  }
}

public final class C implements A {
  @NotNull
  private final String v = "B";

  public C(@NotNull A a) {
    this.$$delegate_0 = a;
  }

  @NotNull
  public String getV() {
    return this.v;
  }

  /*This more or less means super.printV() */
  public void printV() { A.DefaultImpls.printV(this); }
}