结构体中数组的访问，为什么不越界

yunyue520

truct test {
         int n;
         int a[1];
         int b;
     };

     struct test test;
     test.n = 3;
     test.a[0] = 1;
     test.a[1] = 2;
     test.a[2] = 3;
     test.a[3] = 4;

     printf("%d, %d, %d, %d, %d\n", test.n, test.a[0], test.a[1],
         test.a[2], test.a[3]);

     printf("%zd\n", sizeof(test));
     printf("%zd\n", sizeof(struct test));

结果：
3, 1, 2, 3, 4
12
12

为什么不出错呢

liwangli1983

如果越界就能报错的话，那么越界也就不会是令大家头痛的问题了

zhangsuozhu

已经越界了。C对越界是不做检查的。随你怎么越，爱咋越咋越。

越到操作系统的分页保护时，给你个段错误。

你的进程就over了。

langue

这个世界不只存在你看得见的那一小小小部分。
实际发生但你没看见的事，多着呢。

ahui886

回复 4# langue


    呵呵，想到了一个经典的笑话，不记得是哪本书上的了，大致意思：

Jim对Jack说，打篮球不能走步，Jack拿着球走了两步，然后说：你看嘛，没有一点问题。
——显然他不懂篮球

论坛ID

回复 1# yunyue520


     a[4]就相当于*(a+4)

wkq5325

回复 5# ahui886

确实很经典

pengjianbokobe

这个世界不只存在你看得见的那一小小小部分。
实际发生但你没看见的事，多着呢。
langue 发表于 2010-09-09 23:12

     大哥出口就是哲理性的名言。。

yunyue520

我不明白的是为什么结构体里数组访问不越界，或是越界了为什么没有段错误
一般数组的访问越界了就有段错误的

yunyue520

看了汇编，明白一点点了
谢谢大家