Kotlin 属性不能被子接口覆盖

Question

在下面的精简示例中，您能否解释为什么 Kotlin 编译器在覆盖我们进一步限制其类型时会抱怨（编译器消息：Var-property type is 'B', which is not a type of overriden public abstract var a: A）

interface A

interface B : A {
    fun someFunc():Boolean
}

class C : B {
    override fun someFunc(): Boolean {
        return true
    }
}

abstract class D {
    abstract var a: A
}

class E : D() {
    override var a : B = C()

    fun otherFunc() {
        println(a.someFunc())
    }
}

此外，编译器不会抱怨以下 sn-p：

open class G

class H : G()

abstract class F {
    abstract val g: G
}

class I : F() {
    override var g : H = H()
}

所以我猜想接口继承发生了一些事情，而类则没有。

Answer 1

您的第一个代码 sn-p 无法编译，否则可能会出现这样的怪异现象：

val d: D = E()
d.a = object : A {}  // Some other sub-type of A, but definitely not a sub-type of B

这实际上是 lack of method parameter covariance in Java 的变体（不是双关语） - 特别是考虑到 Kotlin 的 var 属性实际上只是 getter 和 setter 方法的语法糖。

相反，您的第二个 sn-p 确实 编译，因为在这种情况下，协方差不是问题 - 基类 (F) 中没有设置器被覆盖，所以 "奇怪”我上面描述的是不可能的。