所需初始化的访问控制

Question

必需的初始值设定项的访问控制规则似乎与未指定必需的规则不同。为什么？

public class A {
  // required init() must be public, why?
  public required init() { }
}

public class B {
  // init() does not need to be public, why?
  init() { }
}

Answer 1

首先，让我们把规则搞清楚。不需要将必需的初始化器标记为Public。它只要求必需的初始化器与类一样可访问。如果你的类是Public，它的初始化器也必须是Public。如果你的类是内部，它需要的初始化器也必须是内部（从技术上讲，你可以使它公共，但这没有意义，并生成一个警告）。当然，如果你的类是私有的，所需的初始化器也应该是私有的。

这里有两个原因，但它们需要了解required关键字实际在做什么。

首先，必需的关键字保证这个类及其所有子类实现这个特定的初始化器。需要初始化器的主要原因之一是协议一致性，最流行的例子是NSCoding，它需要init（coder：）初始化器。考虑到这一点，让我们考虑一个试图实现该协议的类：

public class MySwiftClass: NSObject, NSCoding {
    // some implementations
    // including the two requirements of the NSCoding protocol
}

现在，试着尝试使用这个：

let mySwiftObject = MySwiftClass(coder: aCoder)

我们应该可以毫无问题地做到这一点，对吗？我的意思是，毕竟，myswitclass符合NSCoding协议，并且NSCoding协议保证会有一个init（coder:）初始值设定项。

但是如果您被允许将init（coder：）标记为比类更低的访问级别，则会有一个范围，在该范围内可以看到类，但无法访问其所需的初始化器...所以尽管知道这一点类符合具有所需初始化器的协议，或者从具有所需初始化器的父类继承，我们将无法调用所需的初始化器，因为对于我们所处的范围，它似乎不存在。

第二个原因是子类化本身。

让我们以父类为例：

public class ParentClass {
    required init() {}
}

我们希望需要零参数初始化器。这意味着，如果有任何东西继承自家长类，它还必须确保实现了零参数初始化器。但是，如果允许我们让所需的初始化器具有比类本身更小的范围，那么就有一个范围，在这个范围内我们可以看到类，但是我们看不到所需的初始化器，那么在这个范围内创建的子类如何管理甚至知道他们必须实现所需的初始化器吗？