[問題] 老書中的一段程式碼跟可移植性敘述

作者: saladim (殺拉頂)   2020-07-07 13:37:18
問題(Question):
在一本老書裡面看到一段對於可移植性的敘述跟程式碼 但是想不出來原因是什麼
(書名:beginning linux programming, first edition)
程式碼如下面所附, 看程式碼像是C語言, 因為函數宣告好像是C語言的隱式宣告
書中是說 若此段程式在不同endian的系統下執行, 會有問題, 原因出在(1)取參數
的位址. 沒有更多的情境說明惹 @[email protected]
不懂的地方在於參數zz只有char大小,大小端的問題應該"永遠"不會發生阿
那如果, 假設這段程式在小端系統下編譯然後執行於大端, 且char zz被擴展為int
那使用 (1)的pointer去存取這個int大小的東西, 似乎"有可能"出問題,
但是在這個情境, (2)也可能會有問題吧?
總之 想不出為什麼這段程式可能有移植性問題 跟為什麼(1)不好,(2)安全
請各位先進幫忙解惑阿~~~ 感謝~~~~
程式碼(Code):(請善用置底文網頁, 記得排版,禁止使用圖檔)
char z;
func(z);
func(char zz){
char * p,tmp;
p =&zz / *(1) not good * /
tmp = zz;
p =&tmp / *(2)much safer /
/ * ... * /
}
作者: james732 (好人超)   2020-07-07 19:29:00
這是K&R的style
作者: chuegou (chuegou)   2020-07-08 01:08:00
跟“對引數取址”這個動作有關嗎
作者: saladim (殺拉頂)   2020-07-08 02:17:00
對的跟取引數的位址有關 書上是這樣說的 碼也是這樣標示
作者: MartinJ40 (Martin J-40)   2020-07-08 10:38:00
可能遇到rvalue吧? VS遇到取ravlue位址也會噴警告
作者: loveme00835 (髮箍)   2020-07-08 18:47:00
N2176 裡除了 6.9.1/9 還有 Annex J J.1/1 裡有特別提到: "The layout of the storage for parametersis unspecified" 意思是說編譯器實作有權利選擇如何存放參數的值, 來達成某種目的, 像是 ABI 相容或優化等等, 這個情況下編譯器也許會插入轉換的程式碼讓你取得正確的值 (tmp = zz); 但如果直接拿指標去指向參數, 看到的記憶體內容不保證和一般的變數相同但這不是 endianness 的問題, 而是語言設計問題
作者: LPH66 (-6.2598534e+18f)   2020-07-09 03:53:00
舉個可能的例子, 或許 ABI 要求前幾個參數由暫存器傳那你顯然不能對暫存器取址, 所以可能編譯器會插入像是你的char tmp = zz; 之類的程式碼再對 tmp 取址但這也只是一種可能而已, 你很難知道在這狀況下編譯器會去做什麼事讓你的取址「合理」, 以及這合理的址是不是你要的明寫的區域變數勝過的點就在於它明確有個位置在你對它取值是沒什麼問題的, 這並不會受有的沒的最佳化影響
作者: descent (「雄辯是銀,沉默是金」)   2020-07-09 17:25:00
tmp, zz 的位址不同, p 到底想做什麼?

Links booklink

Contact Us: admin [ a t ] ucptt.com