為什麼這篇struct指標鄉民發文收入到精華區：因為在struct指標這個討論話題中，有許多相關的文章在討論，這篇最有參考價值！作者aresnmars (哎喲)看板C_and_CPP標題[問題] 關於結構內的指標時間Tue Fe...
編譯器
gcc
問題(Question)：
請教各位版友們，能否知道下列這段程式，會在哪一行當掉呢？
又，當掉的原因為何？
或許對各位版友來說，很基本。
但我想了整晚，沒能想透。
因此，在版上虛心向各位請教。
程式碼(Code)：(請善用置底文網頁, 記得排版)
#include <stdio.h>
struct S{
int i;
int *p;
};
int main(int argc, char **argv){
struct S s;
int *ptr = &s.i;
ptr[0] = 4;
ptr[1] = 3;
s.p = ptr;
s.p[1] = 1;
s.p[0] = 2;
return 0;
}
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.36.72.232
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1486477194.A.856.html
→ colako: 與其想不如試？debug下用單步執行看會不會掛掉 02/07 22:29
→ aresnmars: debug是在s.p[0]=2會掛掉，但我認為原因應該不是出在此 02/07 22:33
推 nick5130: 因為int跟pointer佔的記憶體大小一樣，如果是64bit系統 02/07 22:43
→ nick5130: 就是8個bytes 02/07 22:43
→ nick5130: 你在第一個ptr做給值的動作的時候其實ptr 0給的是struct 02/07 22:44
→ nick5130: 內的int 02/07 22:44
→ nick5130: ptr 1則是會更改到struct內指標指到的位置 02/07 22:45
→ nick5130: 接著s.p 1那邊你已經改掉s.p指到的位置了，所以當你去改 02/07 22:47
→ nick5130: s.p 0的時候就不知道改到哪裡去 就死了 02/07 22:47
→ nick5130: 手機推文 排版不好還請見諒 有錯請指正 02/07 22:47
→ aresnmars: 謝謝n大，所以其實不正確的行為應該是：ptr[1]=3，對嗎 02/07 22:53
→ aresnmars: 我把第5行遮掉，就不會當。真的有點想不通 ... 02/07 22:55
→ aresnmars: 第5行，指的是：s.p[0] = 2 02/07 22:55
推 nick5130: 不正確的行為是這行 02/07 23:09
→ nick5130: s.p[1] = 1; 02/07 23:09
→ nick5130: 他改掉了你s.p指向的位置 後面任何對s.p的操作都會死 02/07 23:11
推 nick5130: ptr[1] s.p s.p[1] 在你寫的這個邏輯下，這三項 02/07 23:13
→ nick5130: 變數改的都是同一個東西 02/07 23:13
推 prismwu: sizeof(s) &s.i &s.p 這3個都印看看 應該就知道了 02/07 23:19
推 littleshan: ptr[1] = 3 ←這邊就是未定義行為了 02/07 23:42
→ littleshan: int 和 pointer 大小也不一定相同 02/07 23:43
→ littleshan: 型別不同加上 struct 可能會有 padding，你不能把 02/07 23:54
→ littleshan: ptr[1] 與 s.p 當作一樣的東西 02/07 23:54
→ aresnmars: 先謝謝各位熱心的版友，我理解消化一下 ...... 02/08 00:22
推 nick5130: 換我有問題想問了 XD 在他這個struct結構下 02/08 10:42
→ nick5130: ptr[1] = 3 為什麼會是未定義行為? 02/08 10:42
→ nick5130: 在這個struct之下，應該不會有padding才對? 02/08 10:43
→ nick5130: 還有哪一種系統下int跟pointer大小會不一樣? 02/08 10:45
→ nick5130: 我知道這跟OS有關，不過目前常見OS好像都一樣? 02/08 10:46
→ nick5130: 當然觀念上不會這樣寫 但把3視為一個記憶體位置也行吧? 02/08 10:47
→ nick5130: 我錯了 int跟int*記憶體大小不一樣 各位見笑了 XD 02/08 13:43
→ nick5130: 那ptr[1] = 3 以後的程式碼基本上就沒有什麼意義了 02/08 13:51
推 LPH66: 稍微補充一點, 印象中原本 C 語言的 int 是有意要當做 02/08 17:50
→ LPH66: 該環境的 native size 使用的, 所以在 16→32 的時候才會有 02/08 17:51
→ LPH66: 舊的 int 16 bit 新的 int 32 bit 的分別 02/08 17:51
→ LPH66: 不過似乎是因為 32 的架構太普遍了, 所以 64 bit 的 ABI 02/08 17:52
→ LPH66: 就有分 LLP64, LP64, ILP64, SILP64 幾種 02/08 17:52
→ LPH66: 上面是在描述哪些資料型態是 64 bit 大小 02/08 17:53
→ LPH66: LLP64 只有 long long 是, LP64 下到 long, ILP64 下到 int 02/08 17:53
→ LPH66: SILP64 再下到 short, 其他沒提的就跟 32 bit ABI 一樣 02/08 17:53
→ LPH66: 裡面的 P 則是指標, 畢竟指標幾乎都是 native size 02/08 17:54
→ LPH66: 那在 LLP64/LP64 的 ABI 裡 int 就還是 32-bit 了 02/08 17:55
→ LPH66: 也就是 int 的大小已經跟 native size 沒什麼關連了 02/08 17:56
→ Caesar08: 看data models的部分 02/08 19:18
→ aresnmars: 我找到討論這題的網頁：goo.gl/vhP3td 02/09 02:39
→ aresnmars: 程式當掉，確實當在網頁上描述的行數。 02/09 02:52
→ aresnmars: 但是我仍然不明白這個網頁上描述的原因。 02/09 02:53
→ LPH66: 那邊討論的就是當 sizeof(int) == sizeo(int*) 02/09 03:13
→ LPH66: 且結構成員之間沒有 padding 時的行為 02/09 03:13
→ LPH66: 跟 nick5130 最一開始推文講的東西一模一樣 02/09 03:13
→ aresnmars: 謝謝版友大家熱心的解說，虛心受教於您們的推文和來信 02/09 10:44