堆栈存储（Linux环境下）

• 源代码
• • 代码解释
• Linux环境下运行结果
• • 结果分析

源代码

#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;
}
           

代码解释

1. 该代码用于检验结构体的堆栈存储。
2. volatile struct_t s; //volatile是一个类型修饰符（type specifier）,作用是作为指令关键字，确保本条指令不会因编译器的优化而省略，且要求每次直接读值。防止编译器对代码进行优化。 volatile关键字

Linux环境下运行结果

输入数据大于5时核心已转储。

结果分析

1. 输入数据为2、3时存储数据略有不同。
2. 结构体中定义的数组长度为2，仅能放2个数据，对应的下标分别为0、1，当输入2时，超出了数组的存储范围，数据部分存入double d的存储范围，3同理。
3. 当输入4、5时，数据存储访问的地址已经越界（超过我们定义的区域），对源代码无影响，因此输出数据不受影响。
4. “ 核心存储以转移”出现由机器自身决定。不同的机器情况不同。