推 besnow:那個是我po文章時少打了一個"*"..謝謝你~ 122.116.252.48 06/23 10:20
※ 引述《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 還寫不好。
: 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 去改)，
而程式碼出現語意矛盾都是設計者的設計概念有問題。
--
Ling-hua Tseng (uranus@tinlans.org)
Department of Computer Science, National Tsing-Hua University
Interesting: C++, Compiler, PL/PD, OS, VM, Large-scale software design
Researching: Software pipelining for VLIW architectures
Homepage: https://www.tinlans.org
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.160.105.96
※ 編輯: tinlans 來自: 118.160.105.96 (06/23 06:39)