C語言內存結構的研究

考慮下面的一段代碼

#include <stdio.h>
typedef struct{
        int a[2];
        double d;
} struct_s;

double fun(int i){
        volatile struct_s s;
        s.d=3.14;
        s.a[i]=1073741824;
        printf("%f",s.d);
        return 0;

}
int main(){
        fun(0);
        fun(1);
        fun(2);
        fun(3);
        fun(4);
        fun(5);
//      fun(6);
//      fun(7);

在64位的ubunt上編譯成a.out文件後執行,輸出下列

3.1400003.1400003.1400002.0000013.1400003.140000

可以看到fun(3)中對a的修改影響了d的值,不過這和CSAPP上講的並不一樣,CSAPP上認爲fun(2)就會影響
至於fun(6)是無法運行的,如果放開fun(6)的註釋後編譯運行,會報下列錯誤

*** stack smashing detected ***: <unknown> terminated
Aborted (core dumped)

並且這個時候fun(0)到fun(5)也不會輸出

另外上面的fun函數的參數是負數也是可以運行的,此時d的值任然是3.14