使用子类在 Swift 中实现 NSCopying

Question

考虑两个类。第一个是Vehicle，一个符合NSCopying的NSObject子类：

class Vehicle : NSObject, NSCopying {

    var wheels = 4

    func copyWithZone(zone: NSZone) -> AnyObject {
        let vehicle = self.dynamicType()
        vehicle.wheels = self.wheels
        return vehicle
    }
}

第二个类Starship继承自Vehicle：

class Starship : Vehicle {

    var photonTorpedos = 6
    var antiGravity = true

    override func copyWithZone(zone: NSZone) -> AnyObject {
        let starship = super.copyWithZone(zone) as Starship

        starship.photonTorpedos = self.photonTorpedos
        starship.antiGravity = self.antiGravity
        return starship
    }
}

此代码无法编译，因为：

使用元类型值构造类类型“Vehicle”的对象必须使用“必需”初始化程序。

所以我继续添加一个必需的初始化程序：

required override init () {
    super.init()
}

现在应用编译，Starship 对象正确响应copy()。

两个问题：

1. 为什么用元类型构造对象需要required 初始化器？ （看来我写的初始化程序什么也没做。）
2. 我写错了什么，或者应该添加到初始化程序中吗？有没有我没有考虑的案例？

Answer 1

简短回答

您不能在不将init() 标记为required 的情况下使用self.dynamicType()，因为不能保证Vehicle 的子类也将实现init()。

探索问题

看看The Swift Programming Language: Initialization，里面有提到

默认情况下，子类不继承它们的超类初始化器

子类将继承其超类的初始化器的情况有：

假设您为任何新属性提供默认值 在子类中引入，以下两条规则适用：

规则 1

如果你的子类没有定义任何指定的初始化器，它 自动继承其所有超类指定的初始化器。

规则 2

如果您的子类提供其所有超类的实现 指定的初始化器——要么按照规则 1 继承它们，要么通过 提供自定义实现作为其定义的一部分——然后它 自动继承所有超类的便利初始化器。

看一下例子：

class MySuperclass {
    let num = 0

    // MySuperclass is given `init()` as its default initialiser
    // because I gave `num` a default value.
}

class MySubclass : MySuperclass {
    let otherNum: Int

    init(otherNum: Int) {
        self.otherNum = otherNum
    }
}  

根据上面的信息，由于MySubclass定义的属性otherNum没有初始值，它不会自动从MySuperclass继承init()。

现在假设我想将以下方法添加到MySuperclass：

func myMethod() {
    println(self.dynamicType().num)
}

您将收到您描述的错误，因为不能保证 MySuperclass 的子类将实现 init()（在此示例中它们没有实现）。

因此，要解决此问题，您需要将init() 标记为required，以确保MySuperclass 的所有子类都实现init()，因此调用self.dynamicType() 是有效的做法。这与您的问题相同：Swift 知道Vehicle 实现init()，但是它不知道任何子类将实现init()，因此您需要使其成为required。

另一种不适合您的示例的解决方案是将Vehicle 标记为final，这意味着Vehicle 不能被子类化。然后你就可以使用self.dynamicType();但在这种情况下，您不妨只使用Vehicle()。

Answer 2

您需要一个 required 初始化程序，因为 Swift 中所需初始化程序的子类实现需要它。

Required nitializers 上的每个 Swift 文档：

您还必须在每个子类之前编写 required 修饰符 实现所需的初始化程序，以指示 初始化器要求适用于链中的其他子类。