将全局数组改为main函数局部数组后程序无报错且结果一致的原因

先明确你的核心疑问：把全局数组MaskA、LabelA改成main()的局部数组后，预期init()和mask()/label()无法访问这些局部变量，但程序却能运行——这本质是未定义行为，而非合法的C++代码，具体原因如下：

两段代码对比 #

原全局数组代码 #

#define DIM 9

int MaskA[DIM][DIM];
int LabelA[DIM][DIM];

inline int& mask(int x, int y) { return MaskA[y][x]; }
inline int& label(int x, int y) { return LabelA[y][x]; }

void main()
{
    int total=5;
    init(total);
}

void init(int total) {
    for (int y = 0; y < DIM; y++)
        for (int x = 0; x < DIM; x++) {
            mask(x, y) = 9;
            label(x, y) = 0;
        }
}

修改后的局部数组代码 #

#define DIM 9

inline int& mask(int x, int y) { return MaskA[y][x]; }
inline int& label(int x, int y) { return LabelA[y][x]; }

void main()
{
    int MaskA[DIM][DIM];
    int     LabelA[DIM][DIM];
    int total=5;
    init(total);
}

void init(int total) {
    for (int y = 0; y < DIM; y++)
        for (int x = 0; x < DIM; x++) {
            mask(x, y) = 9;
            label(x, y) = 0;
        }
}

关键问题拆解 #

1. 你的逻辑是对的，编译器行为不符合标准
   标准C++要求所有变量必须先声明再使用，mask()/label()里引用的MaskA/LabelA在全局作用域没有声明，也没有传递局部数组的参数，理论上编译器必须报错。

2. 未定义行为的根源：旧C语言的隐式声明兼容
   你的编译器大概率开启了C语言兼容模式（比如GCC的-std=c89）。在C89标准中，未声明的标识符会被隐式声明为int类型的全局变量。但这里需要的是二维数组，隐式声明的int MaskA和实际需求的数组类型完全不匹配——编译器会把MaskA[y][x]当成对int变量的指针偏移操作，实际上是在操作内存中某个随机的全局地址，而非main()里的局部数组。

3. “运行正常”是巧合
   你看到的输出一致只是运气好：程序修改的是随机内存区域，刚好没有触发崩溃、数据污染等明显错误，但这种行为完全不可靠，后续代码变更或环境变化随时可能导致程序异常。

4. 严格编译会触发正确报错
   如果你开启严格的C编译选项（比如GCC的-std=c++11 -Wall -Werror），编译器会直接抛出错误：'MaskA' was not declared in this scope，这才是符合C标准的行为。

正确的修改方式 #

要将全局数组改为局部数组，需要通过参数传递让init()和mask()/label()能访问到局部数组：

#define DIM 9

inline int& mask(int MaskA[DIM][DIM], int x, int y) { return MaskA[y][x]; }
inline int& label(int LabelA[DIM][DIM], int x, int y) { return LabelA[y][x]; }

void init(int total, int MaskA[DIM][DIM], int LabelA[DIM][DIM]) {
    for (int y = 0; y < DIM; y++)
        for (int x = 0; x < DIM; x++) {
            mask(MaskA, x, y) = 9;
            label(LabelA, x, y) = 0;
        }
}

int main() // 标准C++要求main函数返回int类型
{
    int MaskA[DIM][DIM];
    int LabelA[DIM][DIM];
    int total=5;
    init(total, MaskA, LabelA);
    return 0;
}

内容的提问来源于stack exchange，提问作者SeoHyeon-Yi