递归objective-c void-method的问题

Question

这是我在这里的第一个问题，我希望有人可以帮助我。 我是 iPhone 编程的新手，想尝试一个简单的应用程序...... 这是一个使用递归方法的数独求解器。在 JAVA 中，这段代码没有问题，但在 Objective-C 中，当数独被解决时，代码并没有停止。它仍在尝试解决数独问题并稍后停止。

谁有想法？！

这是代码。

- (SudokuSolver *) initWithField: (int[9][9]) field {
self = [super init];
if(self) {
    for (int i=0; i<9; i++) {
        for (int j=0; j<9; j++) {
            sudokuField[i][j] = field[i][j];
            if (field[i][j]) {
                sudokuFieldStatic[i][j] = 1;
            } else {
                sudokuFieldStatic[i][j] = 0;
            }
        }
    }
}
return self;
}

- (void) solve {
   [self solveFieldAtRow:0 andCol:0];
}

- (void) solveFieldAtRow: (int) row andCol: (int) col {
  if (row > 8) {
    return;
  } else {
    while (sudokuField[row][col] != 0) {
        if (++col > 8) {
            col = 0;
            row++;
            if (row > 8) {
                return;
            }
        }
    }
    for (int num=1; num<10; num++) {
        if ([self checkRow:row forNumber:num] && [self checkCol:col forNumber:num] && [self checkFieldAtRow:row andCol:col forNumber:num]) {
            sudokuField[row][col] = num;
            [self showFieldInConsole:0];
            if (col < 8) {
                [self solveFieldAtRow:row andCol:col+1];
            } else {
                [self solveFieldAtRow:row+1 andCol:0];
            }
        }
    }
    sudokuField[row][col] = 0;
  }
}

Answer 1

解决难题时代码不会停止，因为您没有在递归调用后检查难题是否已解决。因此，即使递归调用找到了解决方案，代码也会在找到解决方案后继续运行，直到尝试了所有可能性。

既然您说您的 Java 代码可以工作，我建议您将 Java 程序的逻辑与此代码进行比较。您可能会发现 Java 代码确实包含这样的测试。

---

编辑从您上面的评论中，我看到您不会在 Java 代码中找到这样的测试，因为当找到解决方案时，您正在滥用异常从递归中“返回” .正确的方法是让每个递归调用在找到解决方案时返回真值，如果没有找到解决方案则返回假值。然后每个步骤都应该检查它的子调用是否成功，如果成功则返回成功。像这样的：

- (BOOL) solveFieldAtRow: (int) row andCol: (int) col {
    if (row > 8) {
        // reached the end, so it must have succeeded
        return YES;
    } else {
        while (sudokuField[row][col] != 0) {
            if (++col > 8) {
                col = 0;
                row++;
                if (row > 8) {
                    // reached the end, so it must have succeeded
                    return YES;
                }
            }
        }
        for (int num=1; num<10; num++) {
            if ([self checkRow:row forNumber:num] && [self checkCol:col forNumber:num] && [self checkFieldAtRow:row andCol:col forNumber:num]) {
                sudokuField[row][col] = num;
                [self showFieldInConsole:0];
                BOOL result;
                if (col < 8) {
                    result = [self solveFieldAtRow:row andCol:col+1];
                } else {
                    result = [self solveFieldAtRow:row+1 andCol:0];
                }
                if (result) {
                    // Our child call succeeded, so we pass that back up
                    // the stack.
                    return YES;
                }
            }
        }
        sudokuField[row][col] = 0;
        // If we get here, we could not find a solution. Return failure
        // back up the stack.
        return NO;
    }
}