Re: [心得] 用 extern 誤導編譯器，及用VC看組譯碼

看板C_and_CPP (C/C++)作者cole945 (躂躂..)時間16年前 (2009/06/19 17:54)推噓4(4推 0噓 11→)

留言15則, 4人參與討論串2/2 (看更多)

※ 引述《zlw (www.eJob.gov.tw)》之銘言：我倒覺得這覺這會錯..其實是因為.... 這樣本來就寫錯了吧 orz 先考慮下這樣的定義 int a[2]={100,200}; int *p; 然後 p = a; 0x1000 ├─── │ a[0]=100 0x1004 ├─── │ a[1]=200 0x1008 ├─── │ p=0x1000 ├─── a本身代表 array a[] 所在的址, 所以 a[1] == *(a+1) == *(0x1000 + 1*sizeof(int)) == *(0x1004) 而因為 p=a; 所以 p[1] == *(p+1) == *(0x1000 + 1*sizeof(int)) == *(0x1004) 到這邊為止, 應該都是你也知道的東西 .___." 可是仔細看看你會發現.. 其實 p 本身是有塊 storage 去放他的, 也就是 p=0x1000 這個 value 是被存在 0x1008 這個位址.. 但 "a=0x1000" 這個 0x1000 本不會被存在哪裡呀.. 並不像 p 會被存下來一樣.. (這根function/method本身的address,也不會有塊storage去存他們是一樣的意思) 再回頭看來最一開始的問題就很清楚了, int a[2] = {100,200}; 和 extern int *a; int a[2] 表示有 define 兩塊 storage 去放 a[0] 和 a[1] 但 *a 卻是說, define 了一個 storage 去放一個pointer 在第一個 .c 裡會說, symbole a 的 address 在 0x1000 0x1000 ├─── 在第二個 .c 檔寫成 extern int *a; │a[0]=100 會變成說 a 這個用來放pointer的storage在 0x1000 0x1004 ├─── 而不是 a的內容是 0x1000 │a[1]=200 換個講法, 一個意思是 0x1008 ├─── a = 0x1000;, 這樣你才能 a[i] .. │ 另一個的意思 0x100C ├─── &a = 0x1000, │ 所以 a 的內容當然會變成 100 囉 > 利用 extern 可以對全域變數「重新宣告」資料型態一次。但怪就怪在 > 不能把全域變數 double a = 0; 重新宣告成 extern int a; (中略) > warning C4743: 'int * arr' 在 1.cpp 及 src.cpp 中有不同的大小: 8 和 4 位元組 > warning C4744: 'int * arr' 在 1.cpp 及 src.cpp' 中有不同的型別: 'array (8 > bytes)' 和 'pointer' 這個應該是 VC9 太聰明了, 還多去檢查這個 @.@a 一般來說, 應該是每個 .c(source) 自己是獨立編譯的, 編出來的 objects 檔再 link 起來.. link 恐怕只會看到symbole對應的address而不會看到size 用 gcc 在 command line 編就不會看到這種訊息了 @.@ -- 類似的惡搞法還有... 搾出 class method 的 address, 然後把他當 c function 呼叫...||| -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.41.173 ※ 編輯: cole945 來自: 140.112.41.173 (06/19 17:55) ※ 編輯: cole945 來自: 140.112.41.173 (06/19 17:55) ※ 編輯: cole945 來自: 140.112.41.173 (06/19 17:56)