#pragma pack(1)
struct Base
{
int a;
char b;
int c;
};
template<typename T>
struct Child_X : public Base
{
T data[1];
};
#pragma pack()
猜一下下面兩個(gè)sizeof的結(jié)果：
sizeof(Base)
sizeof(Child_X<int>)
sizeof(Base) = 9。一些猜對(duì)或者沒猜對(duì)的同學(xué)應(yīng)該用google好好補(bǔ)充一下基礎(chǔ)知識(shí)。
sizeof(Child_X<int>) = sizeof(Base） + sizeof(int) = 13。
應(yīng)該是13,但是16也是對(duì)的，這就是編譯器的差異。
M$的VS2008,執(zhí)行的結(jié)果是 sizeof(Child_X<int>) = 13。
linux的gcc-4.4，執(zhí)行結(jié)果是 sizeof(Child_X<int>) = 16。
當(dāng)兩個(gè)平臺(tái)編譯的程序互相通訊，消息里面包含Child_X<>結(jié)構(gòu)時(shí)，肯定會(huì)發(fā)生一些不那么有趣的事情。
這個(gè)不有趣的事情大概有兩種表現(xiàn)形式：
1.當(dāng)你明顯的執(zhí)行一個(gè)操作后，收到一條不太對(duì)頭的Child_X消息，程序崩潰了。這種的問題很容易查。
2.當(dāng)你執(zhí)行或者不執(zhí)行操作，不久程序崩潰了，根據(jù)崩潰看起來是某處內(nèi)存寫串了，而你在這段時(shí)間內(nèi)沒有收到任何Child_X消息。
不幸的是我遇上的就是第二種情況，這種情況麻煩的地方就在于崩潰的位置和崩潰的原因之間有一段不會(huì)太短的距離，其本質(zhì)就是大小不正確的Child_X消息初始化程序，結(jié)果程序的狀態(tài)是不正確的，但是這個(gè)不正確的狀態(tài)直到不久使用某些操作才引起嚴(yán)重錯(cuò)誤，而錯(cuò)誤看起來就像是內(nèi)存寫串了。
造成這種差異的原因是，VC在實(shí)例化模板的時(shí)候，使用了定義模板的上下文；而gcc在實(shí)例化模板的時(shí)候，則使用的是第一次實(shí)例化模板的那段代碼的上下文。
我想標(biāo)準(zhǔn)肯定沒有規(guī)定這個(gè)細(xì)節(jié)，不過VC的實(shí)現(xiàn)方案更符合常規(guī)的心里預(yù)期。而標(biāo)準(zhǔn)委員會(huì)除了開會(huì)吵架，已經(jīng)很久沒有作為了。
最后跨平臺(tái)的解決方案是，在pack上下文里對(duì)模板進(jìn)行實(shí)例化
#pragma pack(1)
template<typename T>
struct Child_X : public Base
{
T data[1];
};
template struct Child_X<short>;
template struct Child_X<int>;
// 不過這種方案只能用來對(duì)付需要實(shí)例化的類型數(shù)量較少的情況
#pragma pack()
posted on 2010-01-09 20:20
LOGOS 閱讀(1764)
評(píng)論(3) 編輯 收藏 引用