块和堆栈

Question

我知道块是在堆栈中创建的。然而，由于我对堆栈和局部变量没有足够的了解，我无法理解为什么我应该将块移动到堆以获得预期的结果。直觉上我觉得块代码块在堆栈中只有 1 个实例，这段代码引用了局部变量 i 3 次。如果我将其复制到堆，它将有 3 个不同的实例，并且每次在复制过程中都会捕获 3 个不同的 i 值。但我真的很想了解更多有关堆栈、堆中的块代码和引用局部变量的信息。

for (int i=0; i<3; i++)
    b[i] = ^{ return i;};
for (int i=0; i<3; i++)
    printf("b %d\n", b[i]());

Answer 1

范围，伙计。范围。

将其重写为：

void georgeClinton() {
    int (^b[3])(); // iirc
    // georgeClinton's scope
    for (int i=0; i<3; i++) {
        // for's scope
        b[i] = ^{ return i;};
    }
}

在每次通过 for() 循环时，for 的作用域实际上是一个新的作用域。但是，当然，范围是在堆栈上的。

当您调用georgeClinton() 时，您实际上将georgeClinton() 的作用域推到堆栈上。当 georgeClinton() 带着一些时髦的好处返回时，georgeClinton() 的作用域会从堆栈中弹出，使堆栈处于推送发生时的任何状态（可能会修改返回值）。

for() 循环是同样的事情；每次迭代都会将状态推入堆栈并在迭代结束时将其弹出。

因此，如果您在 for() 循环的迭代中将任何内容（例如块）存储在堆栈上，那么该内容将在迭代结束时被销毁。要保留它，您必须将其移动到堆（您可以在堆中控制任何给定分配的状态的生命周期）。

关键是块类型变量实际上是一个指针；它是对定义块的结构的引用。他们从堆栈开始是为了提高效率，这可能会导致像这样的微妙问题。

请注意，块实际上是两件事；它是对实现该块的不可变代码位的引用（实际上就像一个函数指针），它是对块中捕获的数据以及如何处理该数据的描述。复制时移至堆。

也就是说，块是数据和代码的组合。永不改变的代码。当执行指针经过定义块的表达式时捕获的数据（即块“关闭”当前的执行状态）。

正是后一点让你绊倒。当在堆栈上创建块时，它会创建一个槽来保存捕获的数据，也在堆栈上。