在 Objective-C 块的实现中调用 super

Question

Objective-C 块的实现是否支持调用 super 上的方法？

当我在 super 上调用方法时，会抛出 EXC_BAD_ACCESS 错误，但一旦我将这些调用从 [super methodToCall] 更改为 < code>[self methodToCall] 并让消息在响应者链中向上移动，效果很好。

该块所在的类的实例中没有 -methodToCall 的实现，但在超类（即 self 继承的类）中有一个。

我只是好奇地想了解为什么在块的实现内部调用 super 方法首先是一个问题（技术上），这样我将来就可以避免它。我怀疑这与如何在块中捕获变量以及有关堆栈和堆的某些内容有关，但我确实没有具体的想法。

注意：块存储在属性中后几秒钟内会调用块实现代码，该属性使用 copy 所以我不认为这是块生命周期的问题，所有看起来没事。此外，这仅在 iPhone 设备（3G）上崩溃，但在 iPhone 模拟器中正常运行，没有崩溃。

EXC_BAD_ACCESS 中的结果：

[self retrieveItemsForId:idString completionHandler:^(NSError *error) {
 if (!error) {
  [super didRetrieveItems];
 } else {
  [super errorRetrievingItems];
 }
}];

工作完美，-didRetrieveItems 和 -errorRetrieveItems 的实现位于超类中。

[self retrieveItemsForId:idString completionHandler:^(NSError *error) {

 if (!error) {
  [self didRetrieveItems];
 } else {
  [self errorRetrievingItems];
 }
}];

Answer 1

从技术上讲，这是 Objective-C 运行时以及调用 super 实际工作方式的底层机制的问题。基本上，它们捕获消息接收者的对象（在所有情况下都是 self）和实现该方法的特定版本的类（方法实现所在类的超类） ）。因为此类消息发送的许多准备工作都是在编译时而不是运行时进行的，所以如果它与块交互不良，我不会感到惊讶。

当消息即将发送时，我会检查 self 是否仍然有效。通常，块中引用的任何对象都会自动保留。由于 super 的工作方式有点不同，这可能意味着 self 没有像人们期望的那样被保留。检查这一点的一种简单方法是使用最初编写的对 super 的调用，并简单地泄漏称为 self 的对象，然后查看它是否有效。如果这确实是问题所在，您可能必须在块内插入对 self 的虚拟引用才能实现自动内存管理。

然而，从最严格的意义上来说，我不确定您是否可以永远依赖它。尽管块可以捕获当前运行时状态，但它们打破封装并调用超类实现并没有真正意义（从 OOP 角度来看），因为实现方法的分层级别应该是对任何外部调用代码都是不透明的。我会尝试找到另一个不依赖于继承层次结构的解决方案。

Answer 2

EXC_BAD_ACCESS 的结果：

[self retrieveItemsForId:idString completionHandler:^(NSError *error) {
 if (!error) {
  [super didRetrieveItems];
 } else {
  [super errorRetrievingItems];
 }
}];

可能是由于编译器中的错误；尝试在该块中添加 [self class]; 或任何其他对 self 的方法调用，它可能会起作用。

工作完美，-didRetrieveItems 和 -errorRetrieveItems 的实现位于超类中。

[self retrieveItemsForId:idString completionHandler:^(NSError *error) {

 if (!error) {
  [self didRetrieveItems];
 } else {
  [self errorRetrievingItems];
 }
}];

我认为您可能对面向对象编程的基本方面之一感到困惑。您说您的类中没有这些方法的实现，它们仅存在于超类中。

由于继承，您的类也可以有效地响应所述方法调用。只需像上面那样使用 self 调用它们即可。它会起作用，并且正是您应该这样做的！