大衛(wèi)注:
這段時間整理舊資料,看到一些文章,雖然講的都是些小問題,不大可能用到,但也算是一個知識點,特整理出來與大家共享.與此相關(guān)的那篇文章的作者的有些理解是錯誤的,我寫此文,也是糾正為了作者的一些錯誤認識.當(dāng)然,如果我的理解有任何錯誤,也懇請大家批評指正.
C++雖說被B.S.稱作一門新語言,但它畢竟與C有著千絲萬縷的聯(lián)系,雖然B.S.一再堅持,但我還是愿意把C++看作是C ++.
我們應(yīng)該按照C中的convention去使用union,這是我這篇文章要給出的觀點.雖然C++使得我們可以擴展一些新的東西進去,但是,我建議你不要那樣去做,看完這篇文章之后,我想你大概也是這么想的.
C由于沒有類的概念,所有類型其實都可以看作是基本類型的組合,因此在union中包含struct也就是一件很自然的事情了,到了C++之后,既然普遍認為C++中的struct與class基本等價,那么union中是否可以有類成員呢?先來看看如下的代碼:
struct TestUnion
{
TestUnion() {}
};
typedef union
{
TestUnion obj;
} UT;
int main (void)
{
return 0;
}
編譯該程序,我們將被告知:
error C2620: union '__unnamed' : member 'obj' has user-defined constructor or non-trivial default constructor
而如果去掉那個什么也沒干的構(gòu)造函數(shù),則一切OK.
為什么編譯器不允許我們的union成員有構(gòu)造函數(shù)呢?我無法找到關(guān)于這個問題的比較權(quán)威的解釋,對這個問題,我的解釋是:
如果C++標(biāo)準(zhǔn)允許我們的union有構(gòu)造函數(shù),那么,在進行空間分配的時候要不要執(zhí)行這個構(gòu)造函數(shù)呢?如果答案是yes,那么如果TestUnion的構(gòu)造函數(shù)中包含了一些內(nèi)存分配操作,或者其它對整個application狀態(tài)的修改,那么,如果我今后要用到obj的話,事情可能還比較合理,但是如果我根本就不使用obj這個成員呢?由于obj的引入造成的對系統(tǒng)狀態(tài)的修改顯然是不合理的;反之,如果答案是no,那么一旦我們今后選中了obj來進行操作,則所有信息都沒有初始化(如果是普通的struct,沒什么問題,但是,如果有虛函數(shù)呢?).更進一步,假設(shè)現(xiàn)在我們的union不是只有一個TestUnion obj,還有一個TestUnion2 obj2,二者均有構(gòu)造函數(shù),并且都在構(gòu)造函數(shù)中執(zhí)行了一些內(nèi)存分配的工作(甚至干了很多其它事情),那么,如果先構(gòu)造obj,后構(gòu)造obj2,則執(zhí)行的結(jié)果幾乎可以肯定會造成內(nèi)存的泄漏.
鑒于以上諸多麻煩(可能還有更多麻煩),在構(gòu)造union時,編譯器只負責(zé)分配空間,而不負責(zé)去執(zhí)行附加的初始化工作,為了簡化工作,只要我們提供了構(gòu)造函數(shù),就會收到上面的error.
同理,除了不能加構(gòu)造函數(shù),析構(gòu)函數(shù)/拷貝構(gòu)造函數(shù)/賦值運算符也是不可以加.
此外,如果我們的類中包含了任何virtual函數(shù),編譯時,我們將收到如下的錯誤信息:
error C2621: union '__unnamed' : member 'obj' has copy constructor
所以,打消在union中包含有構(gòu)造函數(shù)/析構(gòu)函數(shù)/拷貝構(gòu)造函數(shù)/賦值運算符/虛函數(shù)的類成員變量的念頭,老老實實用你的C風(fēng)格struct吧!
不過,定義普通的成員函數(shù)是OK的,因為這不會使得class與C風(fēng)格的struct有任何本質(zhì)區(qū)別,你完全可以將這樣的class理解為一個C風(fēng)格的struct + n個全局函數(shù).
現(xiàn)在,再看看在類中包含內(nèi)部union時會有什么不同.看看下面的程序,并請注意閱讀程序提示:
class TestUnion
{
union DataUnion
{
DataUnion(const char*);
DataUnion(long);
const char* ch_;
long l_;
} data_;
public:
TestUnion(const char* ch);
TestUnion(long l);
};
TestUnion::TestUnion(const char* ch) : data_(ch) // if you want to use initialzing list to initiate a nested-union member, the union must not be anonymous and must have a constructor.
{
}
TestUnion::TestUnion(long l) : data_(l)
{
}
TestUnion::DataUnion::DataUnion(const char* ch) : ch_(ch)
{
}
TestUnion::DataUnion::DataUnion(long l) : l_(l)
{
}
int main (void)
{
return 0;
}
正如上面程序所示,C++中的union也可以包含構(gòu)造函數(shù),但是,這雖然被語言所支持,但實在是一種不佳的編程習(xí)慣,因此,我不打算對上面的程序進行過多的說明.我更推薦如下的編程風(fēng)格:
class TestUnion
{
union DataUnion
{
const char* ch_;
long l_;
} data_;
public:
TestUnion(const char* ch);
TestUnion(long l);
};
TestUnion::TestUnion(const char* ch)
{
data_.ch_ = ch;
}
TestUnion::TestUnion(long l)
{
data_.l_ = l;
}
int main (void)
{
return 0;
}
它完全是C風(fēng)格的.
所以,接受這個結(jié)論吧:
請按照C中的convention去使用union,盡量不要嘗試使用任何C++附加特性.
# "比較權(quán)威的解釋", B.S權(quán)威不？可惜你不看他的書。
以下摘自《 the c++ programming language 3rd 》，對為什么union不支持構(gòu)造函數(shù)和析構(gòu)函數(shù)，推薦怎么使用unions都有說明。
10.4.12 Unions [class.union]
A named union is defined as a struct, where every member has the same address (see §C.8.2). A
union can have member functions but not static members.
In general, a compiler cannot know what member of a union is used; that is, the type of the
object stored in a union is unknown. Consequently, a union may not have members with constructors
or destructors. It wouldn’t be possible to protect that object against corruption or to guarantee
that the right destructor is called when the union goes out of scope.
Unions are best used in lowlevel
code, or as part of the implementation of classes that keep
track of what is stored in the union (see §10.6[20]).
其實正如在vckbase/c++論壇上我對你說的，想想union的用途就可以了。union的出現(xiàn)是為了解決一組不定類型數(shù)據(jù)的空間緊張問題，它是為省空間用的，不是為了封裝數(shù)據(jù)和方法。所以我覺得大衛(wèi)兄太過于刨根究底了，而忽略了C++的實用性(實用性是C/C++的首要設(shè)計思想)
2004-11-12 10:18 |
# re: (大衛(wèi)的閱讀筆記)C++中使用union的幾點思考
謝謝笑兄給出的CPL中的相關(guān)論述.我現(xiàn)在主要關(guān)注的內(nèi)容并非C++(雖然C++是我最喜歡的語言),我在blog上發(fā)布這些文章也只是希望談一下自己對于某些語言特性或新技術(shù)的認識,以期對后來者有些許幫助,同時,也希望在與大家的交流中提高自己.
^_^,也許我真的有點刨根究底,不過笑兄的關(guān)于"union是為省空間用的"的觀點我不認同,雖然,我也看到過類似的說法,但是,union怎么可能節(jié)省空間呢?如:
union uT
{
int i;
char c;
};
當(dāng)他被作為char使用時,明明浪費了空間.
只是從另一角度出發(fā):把它當(dāng)成一種特殊的struct,與struct相比時才可以勉強說是節(jié)省了空間.
我認為union的引入,更多地是提供了一種解決多種型別共同使用同一空間(這與節(jié)省空間是兩回事)的機制,借助這種機制,我們可以提供更豐富的語言表現(xiàn)力.
為此,我決定再寫一篇文章,談一些比較有意思/有意義的union的使用,請關(guān)注 & 批評指正.
2004-11-13 05:11 |
# 對union的進一步認識與一些深層應(yīng)用[TrackBack]
Ping Back來自：blog.csdn.net
Bill David引用了該文章,地址:http://blog.csdn.net/billdavid/archive/2004/11/26/195006.aspx
2004-11-26 18:58 |
# re: (大衛(wèi)的閱讀筆記)C++中使用union的幾點思考
呵呵，仁者見仁，智者見智。
但是union的確應(yīng)該是節(jié)省空間使用的。當(dāng)時的初衷是這樣的。但是后來就不一定了。3ks 二位。
2005-04-19 17:38 |
# 今日經(jīng)論壇匿名大俠指點，union還有一個重要的特性
union不支持繼承。
特記錄于此。
2005-04-19 17:59 |
# re: union不支持繼承。
我突然覺得如果union設(shè)計為可繼承的也未嘗不可。
union base
{
int mem1;
char mem2;
};
這個假設(shè)被原實現(xiàn)者設(shè)計好了，突然，某天我想在base的基礎(chǔ)上添加一些特性，于是我寫
union derive : base
{
short mem 3;
};
或許可能實際意義不大吧！但，如果這么說，我reinterpret_cast成員mem1呢？union的實際意義又有多大呢？
不知道你怎么看？
2006-05-16 13:35 |
# re: union的幾點思考
又看了你的另一篇union的，可能我比較懶惰的緣故，我只得到一個結(jié)論： union僅僅只是為了方便。
2006-05-16 13:49 |
# re: (大衛(wèi)的閱讀筆記)C++中使用union的幾點思考
這都是些什么?
2006-05-18 21:35 | 一二三
# re: (大衛(wèi)的閱讀筆記)C++中使用union的幾點思考
看不懂
2006-05-18 21:36 | 一二三
# re: (大衛(wèi)的閱讀筆記)C++中使用union的幾點思考
union
{
struct
{
string name;
}info;
int age;
}information;
上面的語句可能出錯,has copy constructor. 難道只有把string -->char *嗎??
2006-07-07 15:38 | Tmin
# re: (大衛(wèi)的閱讀筆記)C++中使用union的幾點思考
看了文章和回帖，我非常同意一笑兄的看法。我覺得作者沒有完全理解“節(jié)省空間”的指的是如何節(jié)省，例如我們獲取一些信息時，需要把信息數(shù)據(jù)填充到一個結(jié)構(gòu)中，但是我們需要的信息的數(shù)據(jù)的類型會根據(jù)情況不同而不同，如果我們?yōu)榱送ㄓ玫脑挘赡芫托枰獮樗锌赡艹霈F(xiàn)的類型都預(yù)留相應(yīng)的空間來存儲，但是每次只能使用其中一個有效。其他預(yù)留無效。這顯然是浪費空間的。所以union使得不同類型數(shù)據(jù)存放在內(nèi)存的同一個位置，當(dāng)然這個空間的大小是能容納所有類型的數(shù)據(jù)的。因為unicon的數(shù)據(jù)類型是運行時決定的，事先并不知道，所以為union做一個構(gòu)造函數(shù)是沒有意義的。
2006-10-17 11:48 | hoodlum
# re: (大衛(wèi)的閱讀筆記)C++中使用union的幾點思考
剛才回的倉促，可能有論述不是很恰當(dāng)。但是看了作者的另一篇文章里面引用的英文，論述的也和我本來的想法是一致的。也就是說，可以使用union.memberData來訪問成員，但是應(yīng)該注意的是，使用時只有其中一個成員才是有意義的。union占用的空間大小是所有成員數(shù)據(jù)大小的最小公倍數(shù)。（因此，轉(zhuǎn)為托管代碼中就可以使用一個能夠容納union大小的數(shù)據(jù)類型來代替，或者用通用的字節(jié)數(shù)組）
例如下面的例子（來自Windows API）：
union
{
DWORD dwOemId;
struct {
WORD wProcessorArchitecture;
WORD wReserved;
};
};
它通常占用4個字節(jié)，因此可以使用托管代碼中的Int32來代替。
其中dwOemId是為了向前兼容某些系統(tǒng)版本，當(dāng)前已經(jīng)棄用。這樣，一個程序?qū)?span lang="EN-US">API的調(diào)用可以在不同版本的系統(tǒng)中運轉(zhuǎn)良好，處理各自自己需要的數(shù)據(jù)。