使用递归块时的 EXC_BAD_ACCESS

Question

我正在尝试使用块创建递归。它工作了一段时间，但最终崩溃并给我一个错误的访问异常。这是我的代码：

BOOL (^Block)(Square *square, NSMutableArray *processedSquares) = ^(Square *square, NSMutableArray *processedSquares) {
    [processedSquares addObject:square];

    if (square.nuked) {
        return YES; // Found a nuked square, immediately return
    }

    for (Square *adjacentSquare in square.adjacentSquares) {
        if ([processedSquares containsObject:adjacentSquare]) {
            continue; // Prevent infinite recursion
        }

        if (Block(adjacentSquare, processedSquares)) {
            return YES;
        }
    }

    return NO;
};

__block NSMutableArray *processedSquares = [NSMutableArray array];
BOOL foundNukedSquare = Block(square, processedSquares);

说明：我有一个 Square 类，它有一个 BOOL nuked。它还有一个包含其他 Square 的 NSArray adjacentSquares。

我想检查一个方块或它的“连接”方块之一是否被核武器摧毁。

数组processedSquares用于跟踪我检查过的方块以防止无限递归。

当我运行它时，它会对该块进行大量调用（如预期）。但在某些时候，它会在最后一行崩溃并出现错误的访问异常。

我还在控制台中得到了这个：

无法访问地址 0x1 处的内存
无法访问地址 0x1 处的内存
无法访问地址 0x1 处的内存
无法访问地址 0x1 处的内存
警告：取消调用 - 当前线程堆栈上的 objc 代码会使此操作不安全。

我对块和递归不太熟悉。有什么想法吗？

---

编辑 1

根据要求，回溯：

#0  0x00000001 in ??
#1  0x000115fb in -[Square connectedToNukedSquare] at   Square.m:105
#2  0x00010059 in __-[Bot makeMove]_block_invoke_1 at Bot.m:94
#3  0x91f3f024 in _dispatch_call_block_and_release
#4  0x91f31a8c in _dispatch_queue_drain
#5  0x91f314e8 in _dispatch_queue_invoke
#6  0x91f312fe in _dispatch_worker_thread2
#7  0x91f30d81 in _pthread_wqthread
#8  0x91f30bc6 in start_wqthread

Answer 1

您需要在 Block 上使用 __block，将声明更改为：

__block BOOL (^Block)(Square *square, NSMutableArray *processedSquares);
Block = ^(Square *square, NSMutableArray *processedSquares) {

当在块内引用变量 (Block) 时，则其当前 value 被复制到块中。在您的代码中，当您在赋值中构造块时，Block 尚未被赋予值...

__block 前缀通过引用传递变量 - 当您的块进行递归调用时，Block 具有一个值，对其的引用将用于获取该值，并且递归调用正常。

我不知道为什么它在没有 __block 的情况下对你有用 - 对我来说直接失败了。然而，使用修饰符，我可以递归到至少 10,000 的深度 - 所以堆栈空间不是问题！

Answer 2

您喜欢在设置中做一些错误的事情 - 您的 Square 对象可能以某种方式搞砸了。这是一个对我来说效果很好的完整示例，也许它可以帮助您找到错误：

#include <stdio.h>
#include <Foundation/Foundation.h>

@interface Square : NSObject
{
  BOOL nuked;
  NSArray *adjacentSquares;
}

@property(nonatomic) BOOL nuked;
@property(nonatomic, retain) NSArray *adjacentSquares;
@end

@implementation Square

@synthesize nuked;
@synthesize adjacentSquares;

@end;

BOOL (^Block)(Square *square, NSMutableArray *processedSquares) = ^(Square *square, NSMutableArray *processedSquares) {
  [processedSquares addObject:square];

  if (square.nuked) {
    return YES; // Found a nuked square, immediately return
  }

  for (Square *adjacentSquare in square.adjacentSquares) {
    if ([processedSquares containsObject:adjacentSquare]) {
      continue; // Prevent infinite recursion
    }

    if (Block(adjacentSquare, processedSquares)) {
      return YES;
    }
  }

  return NO;
};

int main(int argc, char **argv)
{
  NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];

  Square *s1, *s2;
  s1 = [[Square alloc] init];
  s2 = [[Square alloc] init];
  s1.adjacentSquares = [NSArray arrayWithObjects:s2, nil];
  s2.adjacentSquares = [NSArray arrayWithObjects:s1, nil];

  __block NSMutableArray *processedSquares = [NSMutableArray array];
  BOOL foundNukedSquare = Block(s1, processedSquares);
  printf("%d\n", foundNukedSquare);

  [s1 release];
  [s2 release];

  [pool release];

  return 0;
}

Answer 3

您似乎在遍历数组时将 squares 添加到数组中。我说的是这一行：

[processedSquares addObject:square];

这可能与它有关吗？您在遍历时添加一个对象。我很惊讶这竟然有效。