Re: [問題] const 轉換問題..

[besnow (~風中的羽翼~)]

用推文有點慢，我用回文的好了。謝謝您~
※ 引述《tinlans (  )》之銘言：
: ※ 引述《besnow (~風中的羽翼~)》之銘言：
: : 就是我現在有三個函式是
: : A( const Packet *p)
: : B(Packet *p)
: : C(Packet *p)
: : 而Packet是一個struct的型態。
: : 現在原本是
: : ===================================
: : B (Packet *p){
: :  ...
: :  C(p);
: :  return;
: : }
: : ===================================
: : 可是我現在希望可以透過A函式。可是又沒法拿掉const。因為拿掉會有問題。
: : 要變成：
: : -----------------------------------
: : B (Packet *p){
: :  ...
: :  A(p);
: :  retuen;
: : }
: : A (const Packet *p){
: :  ...
: :  C(p);
: :  ...
: :  return;
: : }
: : --------------------------------------
: : 這樣去寫的話，第一個問題就是B要傳進A的時候，Packet *p to const Packet *p
: : 的部份會error，然後在A函式中，A要傳進C時，同樣的也會發生
: 亂講，
: B 把 p 傳到 A 是 non-const 變成 const，
: 從較鬆的限制轉成較嚴的限制怎麼可能會 error，
: 如果真的 error 請寫信去向你的 compiler 製造商提出嚴重抗議，
: 都 2009 年了 C++ compiler 還寫不好。

        這個部份沒有不會出現error，是我說錯了。
        可是很奇怪的是，我這樣丟過去的時候，裡面的東西竟然有所改變了。
        我在B(Packet *p)中去fprintf該packet中某一個欄位，它不會有出現0的情形。
        可是轉過去以後去做fprintf，卻發現某一個欄位會出現很多0的情形。
        不知道是轉過去時有發生什麼樣的事情還是？..想請教一下。
        我說的問題是這個！之前沒表達清楚真的很抱歉。

: : const Packet *p to Packet *p 發生error。
: : 如果用強制轉。
: : --------------------------------------
: : B (Packet *p){
: :  ...
: :  A((const Packet*)p);
: :  retuen;
: : }
: : A (const Packet *p){
: :  ...
: :  C((Packet)p);
: :  ...
: :  return;
: : }
: : -----------------------------------------
: 這樣寫絕對是有問題，
: C((Packet)p) 你這樣是把 pointer type 硬轉成非 pointer type，
: 除非是你已經知道它的行為故意這樣用否則一定是寫錯；
: 以下我先當你是想寫成 C((Packet *)) 繼續說明。

        這個是我真的少了加"*"，呵！^^

: : 可以complier過，可是裡頭東西都有問題。不是原本的那個packet。
: : 所以想來請教一下，有什麼方式可以解決。或是說，有辦法去轉換型態？
: : 還是非得要用memcpy的方式去一個一個做？..
: : 想請教大大們，謝謝。
: 你要充分瞭解你自己的需求是什麼，
: 我只能跟你說 non-const 丟 const 這個方向是通的，
: 但是 const 丟 non-const 這個方向有 99% 的機率是你的設計概念出問題。
: 你的 A 絕對不可以接收 (const Packet *)，
: 然後為了能丟 C 硬把 p 轉成 (Packet *)；
: 如果你的 C 本身真的不會改到 p 所指的空間，
: 你應該把 C 的參數也 const 化；
: 如果你的 C 本身會修改到 p 所指的空間，
: 你寫 C((Packet *)p) 是絕對會出問題，
: 考慮下面程式碼片段：
:         const Packet packet = { ... };
:         A(&packet);
: 如果輸出的執行檔格式支援 read-only section (如 ELF)，
: compiler 會把 packet 配置在 read-only section 上，
: 這時因為 A 宣稱它不會改變 packet 內的值，
: 所以 compiler 放心的讓你把 &packet 丟進去，
: 結果你的 A 卻叫 C 去改了 packet，
: 這樣的結果就是程式在執行到修改的地方時馬上被 OS 強制終止；
: 總而言之這樣寫就是 A 本身的語意矛盾 (說不改又馬上叫 C 去改)，
: 而程式碼出現語意矛盾都是設計者的設計概念有問題。

        其實會這樣用，是因為那個A函式的const沒法拿掉，因為他牽扯到很廣。
        我本身是在寫ns2的東西，如果拿掉，裡頭會出現很多其他的問題。
        因為本身對整個ns2架構熟悉度有限，所以才會不得已用這樣的方式。
        我在編寫的時候也發現這樣有很多矛盾的地方，不過如果一更改。
        就會很麻煩，不過，最好的方法就是可以把C(Packet *p)也更改為
        C(const Packet *p)，讓他維持不去修改，不過現在問題點比較出現在
        我上頭說的，non-const => const 這個情形下，是否裡頭有些東西會改變呢？




--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 122.116.252.48
→ tinlans:不會變，然後 C 不會改東西的話就標 const
→ besnow:請問樓上大大，您的不會變的意思是？？..
→ besnow:可是我去把某標頭資料拿出來看..不太一樣耶
→ tinlans:non-const 轉 const 內容物不變，你看到會
→ tinlans:變應該是其它地方出問題造成的連鎖效應。