前言

union即為聯(lián)合，它是一種特殊的類。通過(guò)關(guān)鍵字union進(jìn)行定義，一個(gè)union可以有多個(gè)數(shù)據(jù)成員。例如

union Token{
char cval;
int ival;
double dval;
};

c++11中union除了繼承c語(yǔ)言的數(shù)據(jù)共享內(nèi)存之外，行為上越來(lái)越像一個(gè)類，比如成員默認(rèn)是public類型。

在C++11以后，很多基礎(chǔ)語(yǔ)法都進(jìn)行了修正。其中 union 的行為向類對(duì)象進(jìn)行了發(fā)展，在兼容原有語(yǔ)法定義的基礎(chǔ)上進(jìn)行了擴(kuò)充：

• union可以擁有成員函數(shù)(包含構(gòu)造函數(shù)和析構(gòu)函數(shù))，但是不能有虛函數(shù)
• union不能參與繼承，不能成為基類也不能成為子類
• union的成員對(duì)象不能為引用類型

對(duì)于全部成員都是 build-in 的 union 類，還可以向以往一樣進(jìn)行使用：

#include <iostream>
#include <cstdint>
union S
{
 std::int32_t n;  // 占用4字節(jié)
 std::uint16_t s[2]; // 占用4字節(jié)
 std::uint8_t c;  // 占用1字節(jié)
};      // 整體占用4字節(jié)
 
int main()
{
 S s = {0x12345678}; // 初始化第一個(gè)成員，當(dāng)前s.n為活躍成員
 // 于此點(diǎn)，讀取 s.s 或 s.c 是未定義行為
 std::cout << std::hex << "s.n = " << s.n << '\n';
 s.s[0] = 0x0011; // s.s 現(xiàn)在是活躍成員
 // 在此點(diǎn)，讀取 s.n 或 s.c 是未定義行為
 std::cout << "s.c is now " << +s.c << '\n' // 11 or 00, 依賴平臺(tái)實(shí)現(xiàn)
    << "s.n is now " << s.n << '\n'; // 12340011 or 00115678
}

對(duì)于全部包含非 built-in 的 union 類，則：

1. 如果非靜態(tài)(non-static)成員帶有非平凡的特殊(non-trivial special)成員函數(shù)(自定義的：復(fù)制/移動(dòng)構(gòu)造函數(shù)，復(fù)制/移動(dòng)賦值函數(shù)，析構(gòu)函數(shù))，則該 union 類的默認(rèn)相關(guān)的復(fù)制/移動(dòng)構(gòu)造函數(shù)、復(fù)制/移動(dòng)賦值函數(shù)、析構(gòu)函數(shù)都會(huì)被刪除，如果需要的話，要求用戶自己定義實(shí)現(xiàn)，如果用戶沒(méi)有自己定義，則不能進(jìn)行相關(guān)的復(fù)制/移動(dòng)操作
2. 如果非靜態(tài)(non-static)成員帶有非平凡的特殊(non-trivial special)構(gòu)造函數(shù)(自定義的構(gòu)造函數(shù))，則該 union 類的默認(rèn)構(gòu)造函數(shù)會(huì)被刪除，如果需要的話，要求用戶自己定義實(shí)現(xiàn)，如果用戶沒(méi)有自己定義，則不能該 union 類不能進(jìn)行實(shí)例化。
3. 至多一個(gè)變體成員能擁有默認(rèn)成員初始化值
4. 不能有靜態(tài)成員數(shù)據(jù)(這個(gè)很奇怪，在clang上會(huì)報(bào)鏈接錯(cuò)誤而不是語(yǔ)法錯(cuò)誤)，但是可以有靜態(tài)成員函數(shù)
5. 全部成員的訪問(wèn)控制都是 public

第1、2點(diǎn)的意思是，如果成員數(shù)據(jù)類型是非平凡的(non-trivial)，則 union 類需要定義相關(guān)的構(gòu)造函數(shù)、復(fù)制函數(shù)、移動(dòng)構(gòu)造、移動(dòng)賦值函數(shù)、析構(gòu)函數(shù)等。

union A {
 int a;
 double b;
 std::string c;
 A() : c("111") {} // 因?yàn)閟td::string擁有是非平凡的的數(shù)據(jù)類型，
 ~A() {}   // 則A必須自定義構(gòu)造函數(shù)和析構(gòu)函數(shù)，否則無(wú)法進(jìn)行實(shí)例化
     // 如果想實(shí)現(xiàn)復(fù)制語(yǔ)義，還得自定義復(fù)制(構(gòu)造)函數(shù)
};

第3點(diǎn)的意思是：

union A {
 int a;
 double b;
 std::string c = "abc"; // 只有一個(gè)成員數(shù)據(jù)能擁有這種初始化值
 ~A(){};
};

總結(jié)

以上就是這篇文章的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，如果有疑問(wèn)大家可以留言交流，謝謝大家對(duì)腳本之家的支持。

最新評(píng)論