C C 中union用法總結

2021-07-14 08:40:31 字數 2947 閱讀 3797

參考

開始的話

已經好長時間沒有更新了,對不起自己,更對不起我親愛的讀者,同時也對不起自己開辦的這個部落格平台。忙,太忙了,忙於找工作,找乙份好工作,糾結於去大城市闖呢,還是回到本省的首府城市。大家都在糾結這個問題,也希望大家和我討論討論。別的先不說了,都工作這麼長時間了,還回過頭來總結union,確實有點過分,要是和大家說我一直從事於c++開發,還不懂union,大家可能還真的不信。我們每天都在總結那些看似高階的東西,什麼設計模式(當然我也有總結了)、重構(後期我也會說的了)了,卻忽略了那些最基礎,最根本的知識點。今天別人問我,我蒙了,所以,就有了這篇文章。

什麼是union?

翻譯過來說,就是共用體,或者也叫聯合體。說到了union,也就是共用體,就不得不說一下struct了,當我們有如下的struct的定義時:

struct

student

;

關於struct的記憶體結構,將就會像下圖所示這樣(在x86機器上演示):

union

test

;

sizeof(union test)的值為4。這為什麼呢?這就是需要說的。 有的時候,我們需要幾種不同型別的變數存在在同一段的記憶體空間中,就像上面的,我們需要將乙個char型別的mark、乙個long型別的num變數和乙個float型別的score變數存放在同乙個位址開始的記憶體單元中。上面的三個變數,char型別和long型別所佔的記憶體位元組數是不一樣的,但是在union中,它們都是從同乙個位址存放的,也就是使用的覆蓋技術,這三個變數互相覆蓋,而這種使幾個不同的變數共占同一段記憶體的結構,稱為「共用體」型別的結構。上面定義的union型別的結構如下:

上面也說了,sizeof(union test)的值為4。那為什麼是4呢?大體上來說,結構體struct所占用的記憶體為各個成員的占用的記憶體之和(當然也需要考慮記憶體對齊的問題了)。而對於union來說,在譚浩強的《c語言程式設計》中這麼說:union變數所占用的記憶體長度等於最長的成員的記憶體長度。很顯然,這是不對的,對於union所占用的記憶體大小,需要考慮記憶體對齊的問題。這就是為什麼sizeof(union test)的值為4啦。

c中使用union

說的再好,再多,終歸都是要在使用的,下面就好好的說說c中使用union。和struct一樣,union只有先定義了共用體變數才能引用它。而且不能直接引用共用體變數,而只能引用共用體變數中的成員。就像我上面定義的union test。我們不能像下面這樣直接引用union:

union

test a

;printf

("%d",a

);

這種直接引用是錯誤的,由於a的儲存區有好幾種型別,分別佔不同長度的儲存區,僅寫共用體變數名a,這樣使編譯器無法確定究竟輸出的哪乙個成員的值。所以,應該寫成下面這樣:

printf

("%d",a

.mark

);

同時,在使用union的時候,我們還需要注意以下的幾點:

同乙個記憶體段可以用來存放幾種不同型別的成員,但在每乙個時刻只能存在其中一種,而不是同時存放幾種。也就是說,每一瞬間只有乙個成員起作用,其它的成員不起作用,即不是同時都存在和起作用。

共用體變數中起作用的成員是最後乙個存放的成員,在存入乙個新的成員後,原有的成員就失去作用。比如以下的**:

#include

using

namespace

std;

union

testa;

intmain

()

所以,在使用union的時候,要十二分的小心的。

由於union中的所有成員起始位址都是一樣的,所以&a.mark、&a.num和&a.score的值都是一樣的。

不能把union變數作為函式引數,也不能使函式帶回union變數,但可以使用指向union變數的指標。

union型別可以出現在結構體型別定義中,也可以定義union陣列,反之,結構體也可以出現在union型別定義中,陣列也可以作為union的成員。

按理說,總結到這裡,c語言中的union也就沒什麼更多的要說了。但是,有一種東西叫做c++,在這個c++中有一種東西叫做類。

當union遇到物件

就單單c中的union,上面的總結已經夠用了,但是,現在偏偏又有乙個叫做c++的東西;當union遇到了c++中的物件時,一切又變得剪不斷,理還亂。上面總結的union使用法則,在c++中依然適用。本來union本就是從c語言中的,如果我們在c++中繼續按照c語言的那種方式使用union,那是沒有問題的。如果我們在union中放乙個類的物件呢?結果會怎麼樣?比如有以下**:

#include

using

namespace

std;

classca;

union

test

;int

main

()

可以看到,沒有問題;如果我們在再類ca中新增了建構函式,或者新增析構函式,我們就會發現程式就會出現錯誤。由於union裡面的東西共享記憶體,所以不能定義靜態、引用型別的變數。由於在union裡也不允許存放帶有建構函式、析構函式和複製建構函式等的類的物件,但是可以存放對應的類物件指標。編譯器無法保證類的建構函式和析構函式得到正確的呼叫,由此,就可能出現記憶體洩漏。所以,我們在c++中使用union時,盡量保持c語言中使用union的風格,盡量不要讓union帶有物件。

結束的話

我們都在玩那些高大上的東西,猛回頭,發現身後卻又乙個大坑。開啟塵封了多年的《c語言程式設計》(譚浩強著),小心翼翼的拭去封面上的塵土,思緒立刻被拉回到大一。那些年,我那清純的大一。對大學的憧憬,對計算機的好奇,對程式設計的未知,就是這本書,這本該死的《c語言程式設計》,把我帶上了「程式猿」這條不歸路。說多了,都是淚,當你看我這篇文章時,你應該懂我的。codemonkey~~~,這條不歸路,且行且珍惜。

2023年4月16日 於包頭家中。

===修改日誌===

c c 中const用法總結

const型別定義 指明變數或物件的值是不能被更新,引入目的是為了取代預編譯指令 常量必須被初始化 cons的作用 1 可以定義const常量 例如 const int max 100 int array max 2 便於進行型別檢查 例如 void f const int i 編譯器就會知道i是乙...

c c 中const用法總結

const型別定義 指明變數或物件的值是不能被更新,引入目的是為了取代預編譯指令 常量必須被初始化 cons的作用 1 可以定義const常量 例如 const int max 100 int array max 2 便於進行型別檢查 例如 void f const int i 編譯器就會知道i是乙...

c c 中const用法總結

const型別定義 指明變數或物件的值是不能被更新,引入目的是為了取代預編譯指令 常量必須被初始化 cons的作用 1 可以定義const常量 例如 const int max 100 int array max 2 便於進行型別檢查 例如 void f const int i 編譯器就會知道i是乙...