Re: [問題] 關於Class指標的觀念

看板C_and_CPP (C/C++)作者LPH66 (f0VMRgEBA)時間11年前 (2013/09/08 01:12)推噓1(1推 0噓 36→)

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

: → GNUGCC:看完 descent 大大公布輸出結果不知有何感想? 09/07 23:09 : 推 LPH66:咦, 我們問的一直都是 G 兄您的感想... 09/07 23:14 : → LPH66:問 G 兄您在看到這個跟您之前的主張相矛盾的結果的感想... 09/07 23:15 : → GNUGCC:此話怎說?為何會覺得我主張相矛盾? 09/07 23:46 : 推 LPH66:您主張「指標內容是一個標示記憶體某處位址的整數」對吧？ 09/08 00:11 : → LPH66:那 descent 的結果(或我在前篇推文貼的程式)正反駁了這主張 09/08 00:11 : → GNUGCC:我在前面已說過,各位只是看到包裝後的結果,但實際上編譯器 09/08 00:32 : → GNUGCC:還是把記憶體位址儲存在指標內,如果您反駁這項理論,那就請 09/08 00:33 : → GNUGCC:您說說反對的理由是? 09/08 00:33 好, 那我就再貼一次我的程式 http://ideone.com/jBEPDT 來詳細講一下這支程式裡面各個東西的用途是什麼 inspect_t<T> 這個結構裡儲存了一個指向某個型態 T 的指標中間的 operator << 則是將 inspect_t<T> 這個結構裡所儲存的指標其指向的東西的內容逐 byte 地列印出來寫 basic_ostream<C,R> 只是我個人的惡趣味而已把它換成 ostream 也並無不可由於下面的程式將會只使用到 T* 是一個物件指標的狀況因此在此進行 static_cast<void *> 是完全沒有問題的根據 C++ 標準 4.10p2 將一個非空物件指標轉型成 void * 時此 void * 將指向該物件的最開頭位址又根據 C++ 標準 5.2.9p7 4.10p2 所述的轉換在不牽扯空指標的狀況下是可以由 static_cast<> 反轉的也就是說接下來的 static_cast<char *> 確實轉換成了一個指向該處的字元指標講這麼一大篇是要說明 operator << 裡面的程式所印出的東西確實是這個指標所指向的記憶體位置當中所儲存的每個位元組的內容並沒有經過編譯器自動轉型之類的「包裝」而破壞了其內容 main 的前數行是為了印證這個 operator << 確實是在執行我所說的功能可以看到當我印出 inspect(&i) 及 inspect(&d) 時它確實印出了這兩個變數的內容 inspect(&p) 則是對照組一個普通的指標 inspect(&fp) 也能算對照組這是一個普通的函式指標這裡要說明一下的是我並沒有去直接把函式指標丟來丟去而是丟了一個「『型態為函式指標的變數』的位址」過去印出來而已接下來的 ffp mfp cfp 則是這支程式的重點根據上面所述 81 行所印出的確實是 cfp 這個 (成員函式) 指標的內容物這時它的內容是 &Child::three 由輸出可以看到它是 8 個位元組的 01 00 00 00 04 00 00 00 這個結果顯然並不是一個函式位置這可以跟 &fp 的狀況對照在那裡它 (看起來在這個實作上) 是一個記憶體位址而 (看起來在這個實作上) 記憶體位址的大小是 4 個位元組那如果「指標內容就是記憶體位址」的話究竟這 8 個位元組之中哪 4 個位元組是記憶體位址呢？這又可以跟 75 行的 &Mother::three 對照那裡的輸出結果是 8 個位元組的 01 00 00 00 00 00 00 00 於是這裡也有一個很有趣的現象: 明明兩個指標是同一個函式但其內容物卻是不同的 (實際進行呼叫的話這兩個指標確實可以呼叫到同一個函式) 這也不是「指標內容就是記憶體位址」這個主張可以解釋的 (明明是同一個函式為什麼這所謂的記憶體位址竟然有兩個值？) 再來 89 行又提出了一個更加有趣的現象當我將 &Child::three 賦值給 mfp 後 mfp 的內容竟跟 75 行的結果相同同樣是 &Child::three 又得到不同內容這仍然不是「指標內容就是記憶體位址」可以解釋的這樣子算不算是反駁了「指標內容就是記憶體位址」這個主張了呢？ -- LPH [acronym] = Let Program Heal us -- New Uncyclopedian Dictionary, Minmei Publishing Co. -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.41.7.174

→

LPH66

09/08 01:18, , 1^F

09/08 01:18, 1^F

→

LPH66

09/08 01:18, , 2^F

09/08 01:18, 2^F

→