properties - 为什么在 init block 中初始化变量接口(interface)属性的代码不能编译？

Question

interface A {
    var a: Int
}

class AJunior : A {
    override var a: Int

    init {
        a = 3
    }
}

它不会编译，因为

Property must be initialized or be abstract

但它已初始化。我知道我可以写:

override var a: Int = 3

但是为什么第一个例子不能编译呢？我的猜测是简化编译器实现是一个错误或有意的限制，但我不确定。

Answer 1

I reported this as a bug ，但事实证明这种行为是设计使然，因为:

you could have code in the init block that could observe the property in its uninitialized state