为什么我从在 gcc 中运行的 C 代码和运行它的 Visual Studio 得到不同的结果

Question

#include <stdio.h>

int A()
{
    int array[10];
    int i;
    for (int i = 0; i < 10; i++)
    {
        array[i] = i;
    }
}

int B()
{
    int array[10];
    int i;
    for (int i = 0; i < 10; i++)
    {
        printf("%d", array[i]);
    }
}

int main()
{
    A();
    B();
}

这是我的代码，我认为数组应该在 function B 中重新初始化一次，所以我认为 Visual Studio 的答案是我想要的，但我不明白为什么 GCC 会返回这个答案

Answer 1

对于这两个函数的初学者， i在数组声明之后声明的变量

int array[10];
int i;

未使用。

该代码具有未定义的行为，因为您正在尝试 output function B 中未初始化的本地数组。

尽管函数的返回类型不是void ，但这些函数也没有返回任何内容。

int B()
{
    int array[10];
    int i;
    for (int i = 0; i < 10; i++)
    {
        printf("%d", array[i]);
    }
}

您需要的是以下内容

#include <stdio.h>

void A( int array[], int n )
{
    for ( int i = 0; i < n; i++)
    {
        array[i] = i;
    }
}

void B( const int array[], int n )
{
    for (int i = 0; i < n; i++)
    {
        printf("%d ", array[i]);
    }
    putchar( '\n' );
}

int main( void )
{
    enum { N = 10 };
    int array[N];

    A( array, N );
    B( array, N );
}

Answer 2

您在A()中为您的数组分配 memory ，然后对其进行初始化。 通常局部变量是在栈上分配的。

从 function A()返回后，堆栈被清理。 然后调用B()并将返回地址压入堆栈。 B()可能会推送 rbp 以更正堆栈帧，然后在堆栈上为恰好与A()中使用的数组相似的数组分配 memory 。 由于没有人费心初始化 memory，它仍将包含与以前相同的值。 但这应该被认为是巧合。

不同的编译器将使用不同的方式来管理 memory。 此外，Windows 使用 Linux 之外的另一种调用约定。 所有可以解释差异的因素。

主要问题是您使用的是未初始化的 memory ，这几乎会导致任何问题。