数独求解器中的段错误答案

【问题标题】：Segfault in sudoku solver数独求解器中的段错误
【发布时间】：2014-11-26 02:01:47
【问题描述】：

我正在编写一个数独求解器来练习我下学期的技能。当我尝试运行它时，我遇到了分段错误。使用gdb，我跟踪到这个代码函数：

vector<int> sudoku::valid_set(int row, int col)
{
    vector<int> valids;
    valids.push_back(0);

    int rows[9] = {0},
        cols[9] = {0},
        Grid[9] = {0};

    for (int i = 0; i < 9; i++)
    {
        if (i != col) 
        // we don't want to test the input cell because this 
        // will cause an incorect return
            rows[grid[row][i] - 1]++;
    }
    for (int i = 0; i < 9; i++)
    {
        // make sure current cell is not 0
        if (i != row) //we dont' want to test the input cell
            cols[grid[i][col] - 1]++;
    }
    // do the same steps for the mini grid using integer division 
    for (int i = row / 3 * 3; i < row / 3 * 4; i++)
    {
        for (int j = col / 3 * 3; i < col / 3 * 4; i++)
        {
            if (i != row && j != col)
                Grid[grid[i][j] - 1]++;
        }
    }
    // using the three arrays, find out what 
    // values need to go into the valids vector.  
    for (int i = 0; i < 9; i++)
    {
        if (rows[i] == 0 && cols[i] == 0 && Grid[i] == 0)
        {
            int val = i + 1;
            valids.push_back(val);
        }
    }
    return valids;
}

更具体地说，我认为错误发生在valids.push_back(val) 行，但我似乎一辈子都无法弄清楚原因。也许我错过了一些明显的东西，但我只是不知道。有人可以提供一些指导吗？

【问题讨论】：

在您的初始循环中，grid[row][i] == 0。因此，您对rows 的索引变为rows[0 - 1]，这超出了数组的范围。
什么是grid？注意与Grid 的区别，如Grid[grid[i][j] -1]++; 行中突出显示的那样。我假设一些全局静态对象？
哦，因为没有填写的单元格的值为0，所以我从中减去1！
对不起，这是在一个名为数独的类中，而网格是一个类成员。它具有从文件中读取的某些值为 1-9 的索引。任何未填写的（即需要解决的IE）都设置为0。

标签： c++ segmentation-fault sudoku fault

【解决方案1】：

看起来您可以从一些对数组执行边界检查的额外代码中受益：

   for (int i = 0; i < 9; i++)
    {
        if (i != col)
        {
           if (row >= MAXIMIM_ROWS)
               throw An_Error();
           int rows_index = grid[row][i];
           if (rows_index <= 0)
               throw Convulsions();

        // we don't want to test the input cell because this 
        // will cause an incorect return
            rows[grid[row][i] - 1]++;
    }

您应该进行自己的错误处理，尤其是因为函数的参数可以包含任何值，尤其是数组范围之外的索引。

【讨论】：