学习日志：struct.c程序分析

1.全部代码

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

2.代码分析

（1）代码开始定义了一个结构体，由一个含有两个整形变量的整形数组和一个双精度浮点型变量组成，取名为“struct_t”。

typedef struct {
    int a[2];
    double d;
} struct_t;

（2）下方代码中，表示当在命令行中输入了其他字符，即当argc>=2时，将把输入的字符转化成整形，并赋值给i。而如果命令行中没有输入别的字符则i=0。“atoi()”，（在标准库<stdlib.h>中）

“C 库函数 int atoi(const char *str) 把参数 str 所指向的字符串转换为一个整数（类型为 int 型）。”

 int i = 0;
    if (argc >= 2)
	i = atoi(argv[1]);

（3）在“fun()”中（如下图），

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 */
}

关键字“volatile”，“是一个类型修饰符（type specifier）, 防止编译器对代码进行优化。”而接下来的两句，将结构体中的双精度浮点型赋值为3.14，并将1073741824赋值给a[i]，而该数字的二进制恰好是0100 0000 0000 0000 0000 0000 0000 0000。函数返回为s.d。

（4）下图中的代码，i按整形输出，而d按浮点型保留十位小数输出。

 printf("fun(%d) --> %.10f\n", i, d);

3.代码运行及结果分析

（1）在命令行中输入“gcc -o struct.o strct.c”，“./struct.o”，“./struct.o 1”，“./struct.o 2”···“./struct.o 7”。结果如下：

（2）经过计算可知3.14的二进制为11.0 0100011110101100001 0100011110101100001·····后面不断循环，当命令行中为0,1是未产生溢出，而大于1后，就开始溢出，使得数据精度缺失，大于3时，虽未对s.d存储的数据产生影响，但也是存储在了起初为定义的空间，有风险。当我们让代码运行显示出各变量的地址时如下：

例如在命令行中输入2，此时可以发现，s.a[2]与s.d的的其实地址相同，说明改变了s.d中的前一部分内容，于是导致精度缺失。而当命令行中输入的数字大于5时，由于栈中空间有限，故栈溢出，核心转储。