为什么初始化子类需要调用超类的相同 init 函数？

Question

我听说当你有一个子类时，你应该从子类的 init 中使用相同的 init 函数来初始化超类。我的意思是子类的init应该调用[super init]，子类的initWithFrame应该调用[super initWithFrame]。这是为什么呢？为什么从子类的 initWithFrame 调用父类的 init 会导致无限循环？

如果这是必需的，那么这是否意味着我无法在子类（例如 initWithPoint）中创建新的 init 函数，并且仅仅因为超类没有 initWithPoint 就无法调用超级的 init 或 initWithFrame ？我想这里问题的核心只是为什么调用不同的超类是不合适的，这可能因为我的 c++ 背景而让我感到困惑？

Answer 1

当你创建一个子类时，如果你实现了一个初始化器，那么你必须确保调用超类的指定初始化器，并且你必须至少提供一个你自己的指定初始化器，尽管这可以只是你对超类的指定初始化器的重写。 。

作为初始化子类的一部分，您必须调用超类的指定初始化程序之一。

类的文档应指定其指定的初始值设定项。如果不是，则通常假定指定的初始值设定项是超类提供的最具体的初始值设定项（采用最多参数的初始值设定项）。

有关更多详细信息，请参阅 "The Objective-C 编程语言：分配和初始化对象。" [注意：从 2013 年 12 月起，此内容似乎不再可以通过 Apple 的文档中心获得。什么是语言参考已被更多面向任务的教程和概念文档所取代。]

至于您的具体问题：

这是为什么？以便超类有机会初始化其状态。然后，您可以继续初始化您在超类提供的之上添加的状态。

为什么从子类的 initWithFrame 调用父类的 init 会导致无限循环？因为，对于 NSView 来说，-init 不是指定的初始化器，尽管它是 NSObject 的。因此，NSView 重写它以调用其指定的初始化器 -initWithFrame:。如果您已从 -initWithFrame: 调用了 -init，那么现在 -initWithFrame: 正在调用 -init调用 -initWithFrame: 调用 -init: 调用...

这意味着...？ 不，因为这不是必需的。您必须了解实际文档，而不是道听途说。

Answer 2

这是为什么呢？为什么从子类的 initWithFrame 调用父类的 init 会导致无限循环？

如果 super 中的 -init 实现为，

-(id)init {
  return [self initWithFrame:CGRectZero];
}

则调用图将循环：

[subclass initWithFrame:]
   |     ^
   v     |
[super init]

因为 self 始终使用当前类（“子类”）。

---

如果这是必需的，那么这是否意味着我无法在子类（例如 initWithPoint）中创建新的 init 函数，并且仅仅因为超类没有 initWithPoint 就无法调用超级的 init 或 initWithFrame ？

不，这不是必需的。首选方法是调用 super 最专业的初始化程序，这样 super 的 -initXXX 就不可能回调子类的 -initYYY。

Answer 3

为什么从子类的 initWithFrame 调用父类的 init 会导致无限循环？

正如您所说，您来自 C++ 背景，主要问题可能是您习惯了 C++ 方法调用范例。在 Objective-C 中，您不调用对象的函数。从技术上讲，调用方法甚至不完全正确。在 Objective-C 中，您向对象发送消息，然后对象决定如何处理它们。它通常所做的是在其类中查找方法并调用它。这样做的结果是您无法控制消息调用类层次结构中方法的哪个版本。它始终是属于您将消息发送到的对象的类的方法（除了一种情况）。就好像 C++ 没有非虚函数，甚至没有构造函数。

唯一的例外是当您向 super 发送消息时。在这种情况下，您的类上的方法将被绕过。正如您所发现的，这可能会导致无限循环。原因是因为我们不调用函数，而是发送消息。因此，如果 SubKlass 类中的 methodA 发送[super methodB]，Klass 中 methodB 的实现将被调用。如果它随后发送 [self methodA] self 仍然是 SubKlass 的实例，它还没有神奇地转变为 Klass 的实例，因此将调用 SubKlass 中的 methodA 。

这就是为什么初始化器的规则看起来如此复杂。只有指定的初始化程序才能保证不发送其他初始化程序之一，因此您只能安全地将指定的初始化程序发送到初始化程序中的 super 。

Answer 4

从c++的角度来看：

我听说当你有一个子类时，你应该从子类的 init 中使用相同的 init 函数来初始化超类。我的意思是子类的init应该调用[super init]，子类的initWithFrame应该调用[super initWithFrame]。

这不是真的。这只是常见的。您可以自由调用任何记录为有效初始值设定项的超类初始值设定项。

像这样查看它可能会有所帮助：
查看超类的初始化器并确定支持哪些。

• 有时有一个指定的初始化程序
• 有时有新的初始化程序（例如，可能向超超类添加参数的初始化程序）
• 有时有从超超类继承的

指定初始化程序的初始化程序：将其视为受保护

对于新的初始化程序：将其视为受保护

对于继承的初始化器：通常当超类声明新的初始化器时考虑私有，否则受保护

为什么从子类的 initWithFrame 调用父类的 init 会导致无限循环？

这就是调用不应调用的初始化程序的效果（未定义的行为）。

如果这是必需的，那么这是否意味着我无法在子类（例如 initWithPoint）中创建新的 init 函数，并且仅仅因为超类没有 initWithPoint 就无法调用超级的 init 或 initWithFrame ？

只要您通过受支持的超类初始值设定项之一进行调用，就可以了。

我想这里问题的核心只是为什么调用不同的超类是不合适的，这可能因为我的 c++ 背景而让我感到困惑？

objc 不支持初始化器的隐藏/可见性。一旦它位于超类的接口中，它就在那里（并且您可以在编译器无法帮助您的情况下做出错误的选择） - 您需要确定初始值设定项的可见性图并相应地编写您的子类。 objc 缺乏您在 c++ 中所习惯的语言功能。

Answer 5

我不知道你从哪里听说的，但据我所知，这不是必需的。您可以选择用任何您想要的东西来初始化您的子类，只要您调用超类的 init 方法。任何 init 方法都可以工作。

但是，如果您的超类中也有相同的 init 函数，我认为更好的做法是调用该函数，然后添加您自己的自定义。这不是必需的，这样做只是一个好习惯，因为 init 函数可能会提供一些您可能忘记添加的初始化和设置。