DFS 中的分段错误答案

【问题标题】：Segmentation error in DFSDFS 中的分段错误
【发布时间】：2016-06-20 14:53:12
【问题描述】：

我为 DFS 编写了一个简单的递归过程。

#include <stdbool.h>

void mydfs(int ROWS, int COLS,char **A,int row, int col, bool **visited){
    static int rowAdjacencyParams[4] = {-1,0,1,0};
    static int colAdjacencyParams[4] = {0,1,0,-1};

    *(*(visited+col)+row) = true;
    //visited[row][col] = true;
    int i,newR,newC;
    for(i = 0;i<4;i++){
        newR = row + rowAdjacencyParams[i];
        newC = col + colAdjacencyParams[i];

        if(((newR >=0) && (newR < ROWS)) && ((newC>=0) && (newC < COLS))){
            /*if((A[newR][newC] == 'X') && !visited[newR][newC]){
                mydfs(ROWS,COLS,A,newR,newC,visited);
            }*/
        }
    }
}

int black(char** A, int n1) {
    int i,j,count = 0; 
    int cols = strlen(A[0]);
    bool visited[n1][cols];

    memset(visited,0,sizeof(visited));


    for(i = 0;i<n1;i++){
        for(j = 0;j<cols;j++){
            if((A[i][j] == 'X') && !visited[i][j]){
                count++;
                mydfs(n1,cols,A,i,j,visited);
            }
        }
    }


    return count;
}
int main(){
    int ROWS = 3;
    int COLS = 7;

    char P[ROWS][COLS]= {"OOOXOOO","OOXXOXO","OXOOOXO"};

    printf("Number of islands = %d",black(P,COLS));
    return 0;
}

更新主函数

但是，当我运行它时，它会给我一个 segmentation fault 用于行 visited[row][col] = true;。然后我尝试将其更改为*(*(visited+col)+row) = true;，但仍然出现相同的分段错误错误。请解释为什么我会收到此错误。

【问题讨论】：

bool visited[n1][cols]; 这不是合法的 C++。另外，选择一种语言 - 它是 C++ 或 C。我在您发布的代码中看不到 C++。如果是 C++，使用 std::vector<std::vector<T>> 而不是双星指针可以/应该使用
另外，发布一个minimal reproducible example，意思是同时发布一个main 函数来演示该问题。
你传递的数组是二维的，函数参数是双星。 *(*(visited+col)+row) = true; 不知道行长是多少。我建议visited + row*cols + col，或者最好定义函数参数以匹配您传递的数组。
Arrays are not pointers! 特别是，char 的二维数组在任何情况下都不对应于char **。这已经在这里得到了很好的介绍；我拒绝以骗子的身份结束，只是因为我不确定这个问题是真的关于 C 还是关于 C++。
@PaulMcKenzie 我已经更新了主要功能。我认为bool visited[n1][cols] 是有效的，因为我已经包含了#include <stdbool.h>。这在 C99 中受支持。

标签： c graph c99

【解决方案1】：

除了 cmets 指出的超出数组缓冲区的字符数据之外，另一个错误是：

int black(char** A, int n1) {
//...
for(i = 0;i<n1;i++){
    for(j = 0;j<cols;j++){
        if((A[i][j] == 'X') && !visited[i][j]){  /* A[i] is out of bounds */

n1 是作为列数传入的，即 7。但是，如果您返回到 main，则会得到：

int ROWS = 3;
int COLS = 7;

char P[ROWS][COLS]= {"OOOXOOO","OOXXOXO","OXOOOXO"};
printf("Number of islands = %d",black(P,COLS));

P 数组只有 3 行。所以当black函数被调用时，假设P有7行，而不是3行。这会导致A 数组访问A[0]、A[1]、A[2]（很好），然后是A[3] 等，这是未定义的行为（在您的情况下是崩溃）。

所以你需要纠正你的列/行逻辑。

我会让你知道一个秘密。由于您最初将您的问题标记为 C++，因此我花时间将这些双星更改为 std::vector，并使用 at() 函数来定位问题。我知道您现在已将您的问题标记为 C99，但我只想知道为什么标签很重要。不知道C99有没有这种自动检测边界条件的功能。

【讨论】：

感谢您发布此答案并澄清n1 的事情。我已经进行了更正。我也将char **A 更改为char A[][COLS] 和bool visited[][COLS]。现在它正在成功运行。但是它返回的结果是 6。这是不希望的，因为 4-connected 组件的数量显然是 3。我还调试了 if((A[newR][newC] == 'X') && (visited[newR][newC] == 0)) 行始终是 false。看起来visited 数组没有得到更新，或者每次我在递归调用中传递它时都只是复制它的新版本。
使用的新函数调用是void mydfs(int ROWS, int COLS,char A[][COLS],int row, int col, int visited[][COLS])
我已经使用这个语句递归调用它mydfs(ROWS,COLS,A,newR,newC,visited);
@user3243499 原始问题处理了分段错误，答案解决了这个问题。由于段错误现在没有发生，为什么你没有得到正确答案的问题是另一个单独的问题。