0

我尝试了一段导致数组溢出的代码，但是当我用 gcc 编译它时发生了一些意想不到的事情。下面是代码：

#include <stdio.h>

int main(int argc, const char *argv[])
{
    int a[] = {0,2,4,7};
    int size = sizeof(a)/sizeof(int);
    int i;
    printf("%d, %X\n", size, &a);
    a[4] = 6;
    printf("%d, %X\n", size, &a);
    a[5] = 78;
    printf("%d, %X\n", size, &a);
    a[6] = 65;
    printf("%d, %X\n", size, &a);
    for (i = 0; i < size; i++) {
        printf("%d, ", a[i]);
    }
    printf("%d, %d, %d\n", a[size], a[size+1], a[size+2]);
    printf("\n");
    return 0;
}

结果是：

4, BFC4DDF8
6, BFC4DDF8
6, BFC4DDF8
6, BFC4DDF8
0, 2, 4, 7, 6, 5, 65, 0, 0

所以在代码中，我并没有改变size的值，但是当它运行时，它确实自己改变了！那么谁能告诉我为什么会这样？

PS：gcc版本是4.8.0。

根据@NPE的回答，我检查了它的地址，size它实际上位于内存中a。

但是当我添加一段代码时

printf("%X\n", &size);

前

printf("%d, %X\n", size, &a);

结果是

BFC39108
4, BFC3910C
4, BFC3910C
4, BFC3910C
4, BFC3910C
0, 2, 4, 7, 4, 78, 65

此时，size位于记忆中a。

事实上，无论我在哪里打印size's address，它都位于a's address 之前；如果我不打印size地址，它就位于地址之后a。那么它仍然是编译器的未定义行为吗？

4

2 回答 2

4

因为你写过去的结尾a，你的程序有未定义的行为。这意味着它可以以任何它喜欢的方式运行，包括你正在观察的方式。

在实践中发生的事情是size恰好位于 之后的内存中a，以及以下越界赋值：

a[4] = 6;

覆盖size.

请注意，如果您使用不同的编译器或不同的编译器设置，或者对程序进行看似无关紧要的更改，代码可能会以其他方式失败。或者它可能在您的整个测试过程中运行良好，然后在您的客户面前爆炸。

于 2013-04-05T13:54:24.863 回答
0

您覆盖了 a[] 数组末尾的内存，因此覆盖了 size 的值。

于 2013-04-05T13:54:34.233 回答