[問題] 關於結構內的指標

看板C_and_CPP作者 (哎喲)時間8年前 (2017/02/07 22:19), 編輯推噓7(7推 0噓 45→)
留言52則, 7人參與, 最新討論串1/2 (看更多)
編譯器 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
→
02/07 22:29, , 1F
與其想不如試？debug下用單步執行看會不會掛掉
02/07 22:29, 1F
→
02/07 22:33, , 2F
debug是在s.p[0]=2會掛掉，但我認為原因應該不是出在此
02/07 22:33, 2F
推
02/07 22:43, , 3F
因為int跟pointer佔的記憶體大小一樣，如果是64bit系統
02/07 22:43, 3F
→
02/07 22:43, , 4F
就是8個bytes
02/07 22:43, 4F
→
02/07 22:44, , 5F
你在第一個ptr做給值的動作的時候其實ptr 0給的是struct
02/07 22:44, 5F
→
02/07 22:44, , 6F
內的int
02/07 22:44, 6F
→
02/07 22:45, , 7F
ptr 1則是會更改到struct內指標指到的位置
02/07 22:45, 7F
→
02/07 22:47, , 8F
接著s.p 1那邊你已經改掉s.p指到的位置了，所以當你去改
02/07 22:47, 8F
→
02/07 22:47, , 9F
s.p 0的時候就不知道改到哪裡去 就死了
02/07 22:47, 9F
→
02/07 22:47, , 10F
手機推文 排版不好還請見諒 有錯請指正
02/07 22:47, 10F
→
02/07 22:53, , 11F
謝謝n大，所以其實不正確的行為應該是：ptr[1]=3，對嗎
02/07 22:53, 11F
→
02/07 22:55, , 12F
我把第5行遮掉，就不會當。真的有點想不通 ...
02/07 22:55, 12F
→
02/07 22:55, , 13F
第5行，指的是：s.p[0] = 2
02/07 22:55, 13F
推
02/07 23:09, , 14F
不正確的行為是這行
02/07 23:09, 14F
→
02/07 23:09, , 15F
s.p[1] = 1;
02/07 23:09, 15F
→
02/07 23:11, , 16F
他改掉了你s.p指向的位置 後面任何對s.p的操作都會死
02/07 23:11, 16F
推
02/07 23:13, , 17F
ptr[1] s.p s.p[1] 在你寫的這個邏輯下，這三項
02/07 23:13, 17F
→
02/07 23:13, , 18F
變數改的都是同一個東西
02/07 23:13, 18F
推
02/07 23:19, , 19F
sizeof(s) &s.i &s.p 這3個都印看看 應該就知道了
02/07 23:19, 19F
推
02/07 23:42, , 20F
ptr[1] = 3 ←這邊就是未定義行為了
02/07 23:42, 20F
→
02/07 23:43, , 21F
int 和 pointer 大小也不一定相同
02/07 23:43, 21F
→
02/07 23:54, , 22F
型別不同加上 struct 可能會有 padding，你不能把
02/07 23:54, 22F
→
02/07 23:54, , 23F
ptr[1] 與 s.p 當作一樣的東西
02/07 23:54, 23F
→
02/08 00:22, , 24F
先謝謝各位熱心的版友，我理解消化一下 ......
02/08 00:22, 24F
推
02/08 10:42, , 25F
換我有問題想問了 XD 在他這個struct結構下
02/08 10:42, 25F
→
02/08 10:42, , 26F
ptr[1] = 3 為什麼會是未定義行為?
02/08 10:42, 26F
→
02/08 10:43, , 27F
在這個struct之下，應該不會有padding才對?
02/08 10:43, 27F
→
02/08 10:45, , 28F
還有哪一種系統下int跟pointer大小會不一樣?
02/08 10:45, 28F
→
02/08 10:46, , 29F
我知道這跟OS有關，不過目前常見OS好像都一樣?
02/08 10:46, 29F
→
02/08 10:47, , 30F
當然觀念上不會這樣寫 但把3視為一個記憶體位置也行吧?
02/08 10:47, 30F
→
02/08 13:43, , 31F
我錯了 int跟int*記憶體大小不一樣 各位見笑了 XD
02/08 13:43, 31F
→
02/08 13:51, , 32F
那ptr[1] = 3 以後的程式碼基本上就沒有什麼意義了
02/08 13:51, 32F
推
02/08 17:50, , 33F
稍微補充一點, 印象中原本 C 語言的 int 是有意要當做
02/08 17:50, 33F
→
02/08 17:51, , 34F
該環境的 native size 使用的, 所以在 16→32 的時候才會有
02/08 17:51, 34F
→
02/08 17:51, , 35F
舊的 int 16 bit 新的 int 32 bit 的分別
02/08 17:51, 35F
→
02/08 17:52, , 36F
不過似乎是因為 32 的架構太普遍了, 所以 64 bit 的 ABI
02/08 17:52, 36F
→
02/08 17:52, , 37F
就有分 LLP64, LP64, ILP64, SILP64 幾種
02/08 17:52, 37F
→
02/08 17:53, , 38F
上面是在描述哪些資料型態是 64 bit 大小
02/08 17:53, 38F
→
02/08 17:53, , 39F
LLP64 只有 long long 是, LP64 下到 long, ILP64 下到 int
02/08 17:53, 39F
→
02/08 17:53, , 40F
SILP64 再下到 short, 其他沒提的就跟 32 bit ABI 一樣
02/08 17:53, 40F
→
02/08 17:54, , 41F
裡面的 P 則是指標, 畢竟指標幾乎都是 native size
02/08 17:54, 41F
→
02/08 17:55, , 42F
那在 LLP64/LP64 的 ABI 裡 int 就還是 32-bit 了
02/08 17:55, 42F
→
02/08 17:56, , 43F
也就是 int 的大小已經跟 native size 沒什麼關連了
02/08 17:56, 43F
→
02/08 19:18, , 44F
02/08 19:18, 44F
→
02/08 19:18, , 45F
看data models的部分
02/08 19:18, 45F
→
02/09 02:39, , 46F
我找到討論這題的網頁：goo.gl/vhP3td
02/09 02:39, 46F
→
02/09 02:52, , 47F
程式當掉，確實當在網頁上描述的行數。
02/09 02:52, 47F
→
02/09 02:53, , 48F
但是我仍然不明白這個網頁上描述的原因。
02/09 02:53, 48F
→
02/09 03:13, , 49F
那邊討論的就是當 sizeof(int) == sizeo(int*)
02/09 03:13, 49F
→
02/09 03:13, , 50F
且結構成員之間沒有 padding 時的行為
02/09 03:13, 50F
→
02/09 03:13, , 51F
跟 nick5130 最一開始推文講的東西一模一樣
02/09 03:13, 51F
→
02/09 10:44, , 52F
謝謝版友大家熱心的解說，虛心受教於您們的推文和來信
02/09 10:44, 52F
‣ 更多 aresnmars 的文章
文章代碼(AID): #1OcTUAXM (C_and_CPP)
‣ 更多 aresnmars 的文章
文章代碼(AID): #1OcTUAXM (C_and_CPP)