这段实验代码主要是讲覆盖问题,有些时候一段数据划分好区域之后会因为其它原因导致其它数据的侵占,这段代码即论述此。
#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.zhaoxiaoan@zhaoxiaoan:/mnt/hgfs/CS2$ ./struct
fun(0) --> 3.1400000000
2.zhaoxiaoan@zhaoxiaoan:/mnt/hgfs/CS2$ ./struct 1
fun(1) --> 3.1400000000
3.zhaoxiaoan@zhaoxiaoan:/mnt/hgfs/CS2$ ./struct 2
fun(2) --> 3.1399998665
4.zhaoxiaoan@zhaoxiaoan:/mnt/hgfs/CS2$ ./struct 3
fun(3) --> 2.0000006104
5.zhaoxiaoan@zhaoxiaoan:/mnt/hgfs/CS2$ ./struct 4
fun(4) --> 3.1400000000
6.zhaoxiaoan@zhaoxiaoan:/mnt/hgfs/CS2$ ./struct 5
fun(5) --> 3.1400000000
7.zhaoxiaoan@zhaoxiaoan:/mnt/hgfs/CS2$ ./struct 6
*** stack smashing detected ***: <unknown> terminated
已放弃 (核心已转储)
*/
如图所示,本来在结构体中只定义了数组a[0]及a[1],占用两个int型八个字节(以四个字节为一单位),而之后的八个字节则分配给了double型数据d,当进行1、2输入0(无输入)和1时,即s.a[0] = 1073741824或者s.a[1] = 1073741824,此时并未溢出int型的大小范围(数值为2的30次方),所以输出端依然是d=s.d=3.14。然而,当运行3、4行输入2和3之后,因为并没有定义a[2]和a[3],所以机器会直接往a[1]内存之后覆盖s.d的数值,导致3、4行输入2、3时返回值d不等于3.14,而之后输入4、5时自动往后面填值到d的后面内存区域,所以没有影响。当输入值为6时,“核心已转储”则是触碰到了“栈”一类系统自动分配的不可覆盖的区域。
这段代码实验告诉我们在定义的时候一定要预估好可用内存范围,或者使用指针类指向数据定义,否则可能会产生数据覆盖的情形,造成严重后果!