c - 关于 C 中可变大小的数组

Question

我正在尝试解决以下问题:

假设我们有一个 8 x 8 的网格(当然它可以是更大的网格)。

我们将正方形的所有外边界点标记为'n'，将与它们相邻的点标记为't'，所有其他点都标记为'f'。

我想编写一个过程，通过以下规则将所有点转移为“n”(我需要遵循这个规则，因为这个问题是一个更大问题的一部分，而其余部分与我在这里的问题无关):

我需要把所有的't'点按顺序排列，并将第一个元素转移到'n'。然后我需要删除已更改为'n'的第一个元素，并将最后一个元素移动到第一个位置。此外，我需要将与更改点相邻的所有“f”点重新标记为“t”，并将它们放在“t”点序列的末尾。我需要继续这个过程，直到没有 't' 或 'f'。

为此我使用了可变大小的数组，我的代码如下:

int i,j;
char c[n+1][n+1];
int count=0;
int newi[4];
int newj[4];
int ind;
//initialization
for(i=0; i<n+1;i++){
    for(j=0;j<n+1;j++){
        if(i==0||j==0||i==n||j==n){
            c[i][j]='n';           //tagged as newly known
        }
        else if(i==1||j==1||i==n-1||j==n-1){
            c[i][j]='t';               //trial points
        }
        else{
            c[i][j]='f';               //far away points
        }
    }
}
for(i=0; i<n+1;i++){
    for(j=0;j<n+1;j++){
        if(c[i][j]=='t'){
            count=count+1;           //count is number of 't'
        }
    }
}

int ri[count]; //array that stores the row index of trial points;
int ci[count]; //array that stores the column index of trial points;
int k=0;
for(i=0; i<n+1;i++){
    for(j=0;j<n+1;j++){
        if(c[i][j]=='t'){
            ri[k]=i;
            ci[k]=j;
            k=k+1;
        }
    }
}
while(count>0){
    int num=0;
    i=ri[0];
    j=ci[0];
    c[i][j]='n';
    ri[0]=ri[count-1];
    ci[0]=ci[count-1];
    count--;
    int newcount=0;
    if(c[i-1][j]=='f'){
        c[i-1][j]='t';
        newcount++;
        newi[newcount-1]=i-1;
        newj[newcount-1]=j;
    }
    if(c[i+1][j]=='f'){
        c[i+1][j]='t';
        newcount++;
        newi[newcount-1]=i+1;
        newj[newcount-1]=j;
    }
    if(c[i][j-1]=='f'){
        c[i][j-1]='t';
        newcount++;
        newi[newcount-1]=i;
        newj[newcount-1]=j-1;
    }
    if(c[i][j+1]=='f'){
        c[i][j+1]='t';
        newcount++;
        newi[newcount-1]=i;
        newj[newcount-1]=j+1;
    }
   count=count+newcount;
    for(ind=count-newcount;ind<count;ind++)/////
    {
        ri[ind]=newi[ind-count+newcount];
        ci[ind]=newj[ind-count+newcount];
    } 
}

它在开始的几个循环中工作正常。然而，经过我的仔细检查，然后在一个循环中的代码

for(ind=count-newcount;ind<count;ind++)/////
    {
        ri[ind]=newi[ind-count+newcount];
        ci[ind]=newj[ind-count+newcount];
    }

不仅在索引数组'ri'和'ci'的末尾添加新元素，而且还更改了'ri'的第一个元素，然后把一切都搞砸了。

我的问题是这是怎么发生的。是不是使用变长数组导致的问题？我应该避免使用可变长度的数组吗？

Answer 1

您似乎误解了 VLA 一词。这并不意味着数组的大小可能会发生变化，而是您可以动态决定数组的大小(但大小是固定一次的)。

您正在向 ri 和 ci 添加更多元素，而没有重新分配它们...我建议你首先使用动态分配:

int *ri = calloc(sizeof(int),count); //array that stores the row index of trial points;
if (ri==NULL) { /* error */ }
int *ci = calloc(sizeof(int),count);
if (ci==NULL) { /* error */ }

然后在有问题的循环之前添加两行:

int *ri2 = realloc(ri,count*sizeof(int));
if (ri2==NULL) { /* error */ }
ri = ri2;
int *ci2 = realloc(ci,count*sizeof(int));
if (ci2==NULL) { /* error */ }
ci = ci2;

在这部分代码之间，count 可能会改变!

--- 编辑 ---

您还需要注意 Alex 的回答...