まず、コードを見てみましょう。
#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; //将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つの数値が含まれているため、その添え字は0または1でなければなりません。パラメーター1を入力すると、3.14が通常表示されます。出てきますが、2を入力すると、前の配列へのアクセスは範囲外です。3.14は3.1399998665と表示されます。入力番号が3の場合、エラーはさらに非道なものになります。しかし、4と5は再び正常に表示されますこれは、アクセスしたアドレスがすでにストレージアドレス3.14を通過しているため、出力には影響しません。6を入力すると、コンピューターに「コアダンプ」と表示されますが、コンピューターによっては、実行を継続できるコンピューターもあります。
これは、範囲外のアクセスが原因のエラーです。