CSAPP实验之struct.c

struct代码

#include <stdio.h>
#include <stdlib.h>
typedef struct {
    int a[2];
    double d;
} struct_t;
double fun(int i) {
    volatile struct_t s;
    s.d = 3.14;
    s.a[i] = 1073741824; /* Possibly out of bounds */
    return s.d; /* Should be 3.14 */
}
int main(int argc, char *argv[]) {
    int i = 0;
    if (argc >= 2)
 i = atoi(argv[1]);
    double d = fun(i);
    printf("fun(%d) --> %.10f\n", i, d);
    return 0;
}

运行结果

代码解释

我们可以很清楚地看到在定义结构体的时候只定义了int型数组a[0]和a[1],共占8个字节和一个double型变量，也占8个字节。在运行的时候当i为0或1时结果没有出现错误；而当i为2或3时由于没有定义数组a[2]和a[3],机器会用double型d的值覆盖，故结果出现错误；当i为4或5时越过了定义的double型的d，结果仍然正确；而当i为6时，机器显示“已放弃（核心已转移）”，说明机器已经报错了。

结论

在定义数组时应该特别注意数组的覆盖和溢出问题！