块和消息传递

Question

这里的问题更像是一个教育问题。一小时前我开始想到这个 翻转乐高积木（我知道这很傻）。

据我所知，块是在堆栈上创建的对象。

假设A 是一个对象，这意味着我们可以这样做：

[A message];

基于此，如果一个块是一个对象，我们也可以这样做：

[block message];

我说的对吗？

当运行时看到它时，它会调用：

objc_msgSend(block, @selector(message), nil);

所以我的问题是，我们如何发送阻止消息？

如果可能的话，我想也可以发送一个带有块的参数的块消息？

而且，如果我们可以通过以下方式调用块：

block();

这是否意味着我们甚至可以将块作为消息 (SEL)，因为块具有类似于方法的签名 void (^)(void)？

因为如果有可能，那么下面的内容真的会让我感到惊讶：

objc_msgSend(block, @selector(block), block);

或：

objc_msgSend(block1, @selector(block2), block3);

我希望我的想象力不会有点疯狂，我的理解不会在这里（请纠正我，如果是的话）。

Answer 1

块是仅用于存储和引用目的的对象。通过使它们成为对象，块可以被保留/释放，因此可以被推入数组或其他集合类中。他们还回复copy。

就是这样。即使一个块从堆栈开始，很大程度上也是编译器实现的细节。

当调用块的代码时，这不是通过objc_msgSend() 完成的。如果您要阅读块运行时和 llvm 编译器的源代码，您会发现：

1234563块的可执行部分

• 块函数是标准 C 函数，其中第一个参数必须始终是对块的引用。参数列表的其余部分是任意的，就像任何旧的 C 函数或 Objective-C 方法一样工作。

因此，您对 objc_msgSend() 的手动调用将块视为任何其他随机 ObjC 对象，因此，不会调用块中的代码，如果确实如此（并且有 SPI 可以从一个方法......但是，不要使用它）它是否可以传递一个完全可控的参数列表。

---

除此之外，尽管相关。

imp_implementationWithBlock() 接受一个块引用并返回一个 IMP，该 IMP 可以插入到 Objective-C 类中（请参阅class_addMethod()），以便在调用该方法时调用该块。

imp_implementationWithBlock() 的实现利用了objective-c 方法与块的调用站点的布局。块总是：

blockFunc(blockRef, ...)

而且 ObjC 方法总是：

methodFunc(selfRef, SEL, ...)

因为我们希望 imp_implementationWithBlock() 块始终将目标对象作为第一个块参数（即 self）传递给方法，所以 imp_implementationWithBlock() 在调用时返回一个蹦床函数（通过 objc_msgSend()）：

- slides the self reference into the slot for the selector (i.e. arg 0 -> arg 1)
- finds the implementing block puts the pointer to that block into arg 0
- JMPs to the block's implementation pointer

finds the implementation block 有点有趣，但与这个问题无关（见鬼，imp_implementationWithBlock() 也有点无关紧要，但可能很有趣）。

---

感谢您的回复。这绝对是大开眼界。关于的部分 块调用未通过 objc_msgSend() 完成告诉我它是 因为块不是普通对象层次结构的一部分（而是尾声 提到 NSBlock 似乎反驳了我迄今为止所理解的， 因为 NSBlock 会使它成为对象层次结构的一部分）。随意 如果到目前为止我的理解还不够，那就刺伤我。我是 非常有兴趣了解以下内容 1：SPI 和 调用该方法的方式（如何）。 2：底层机制： 将自参考滑入插槽。 3：找到实现 块并将指向该块的指针放入 arg 0。如果你有时间 分享和写更多关于这些的细节，我全神贯注；一世 发现这一切都非常迷人。提前非常感谢。

这些块本身就是一个标准的 Objective-C 对象。块实例包含指向某些可执行代码的指针、任何捕获的状态，以及一些用于将所述状态从堆栈复制到堆（如果需要）并在块销毁时清理状态的帮助器。

块的可执行代码不像方法那样被调用。块还有其他方法——retain、release、copy 等等——可以像任何其他方法一样直接调用，但可执行代码不是公开的这些方法之一。

SPI 没有做任何特别的事情；它只适用于不带参数的块，它只不过是简单地做block()。

如果您想知道整个参数幻灯片的工作原理（以及它如何使尾部调用通过块），我建议阅读this 或this。同样，block 运行时、objc 运行时和 llvm 的源都可用。

这包括 IMP 抓住块并将其推入 arg0 的有趣部分。

Answer 2

是的，块是对象。是的，这意味着您可以向他们发送消息。

但是您认为区块会响应什么信息？除了内存管理消息retain、release 和copy，我们没有被告知任何块支持的消息。因此，如果您向块发送任意消息，它很可能会抛出“不识别选择器”异常（如果您向任何不知道其接口的对象发送任意消息会发生同样的事情） .

调用块是通过与消息发送不同的机制发生的，它是由编译器实现的，不会暴露给程序员。

块和选择器是非常不同的。 （选择器只是一个内部字符串，方法名称的字符串。）块和 IMP（实现方法的函数）有些相似。但是，它们仍然不同，因为方法接收接收器（self）和调用选择器作为特殊参数，而块没有它们（实现块的函数仅接收块本身作为隐藏参数，无法访问程序员）。