Swift通用超类'init在构造其子类时不可访问

Question

我有以下代码:

class ILProperty<T> {
    var value: T?
    init(_ value: T) {
        self.value = value
    }
}

typealias ILStringProperty = ilStringProperty<String>
class ilStringProperty<String>: ILProperty<String> {
}

let x = ILStringProperty("X")

最后一行是编译错误:

无法构造'ILStringProperty',因为它没有可访问的初始值设定项

如果我覆盖init:

override init(_ value: String) {
    super.init(value)
}

会工作,但我不喜欢它.当我不添加/修改它时,为什么需要覆盖它？

难道我做错了什么？

更新:跟进Nikita Leonov和Icaro的答案

首先关于所有属性必须具有默认值,我认为我满足这个规则,其中可选var默认为nil值,不是吗？虽然我写的var value: T? = nil并不能解决它.

然后从相同的文档部分"自动初始化程序继承":

如果满足某些条件,则会自动继承超类初始值设定项

一个条件是:

如果您的子类没有定义任何指定的初始值设定项,它会自动继承其所有超类指定的初始值设定项.

在哪里我认为上面的代码确实符合.如果我不使用泛型,这实际上会起作用:

class ILProperty {
    var value: Any?
    init(_ value: Any) {
        self.value = value
    }
}
class ILStringProperty: ILProperty {
}
let x = ILStringProperty("X")

此规则是否也适用于泛型类？

Answer 1

来自苹果文档：

Swift 为任何结构或基类提供了一个默认初始值设定项，该结构或基类为其所有属性提供默认值，并且本身不提供至少一个初始值设定项。默认初始化程序只是创建一个新实例，并将其所有属性设置为其默认值。

你的类 ilStringProperty 不是基类，因为它继承自 ILProperty 所以它必须有一个初始化器，如果你创建一个或重写一个并不重要，因为你的类中至少有一个初始化器，因为 swift 不会免费提供一个。