前言

union即為聯合，它是一種特殊的類。通過關鍵字union進行定義，一個union可以有多個數據成員。例如

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

c++11中union除了繼承c語言的數據共享內存之外，行為上越來越像一個類，比如成員默認是public類型。

在C++11以后，很多基礎語法都進行了修正。其中 union 的行為向類對象進行了發展，在兼容原有語法定義的基礎上進行了擴充：

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

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

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

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

1. 如果非靜態(non-static)成員帶有非平凡的特殊(non-trivial special)成員函數(自定義的：復制/移動構造函數，復制/移動賦值函數，析構函數)，則該 union 類的默認相關的復制/移動構造函數、復制/移動賦值函數、析構函數都會被刪除，如果需要的話，要求用戶自己定義實現，如果用戶沒有自己定義，則不能進行相關的復制/移動操作
2. 如果非靜態(non-static)成員帶有非平凡的特殊(non-trivial special)構造函數(自定義的構造函數)，則該 union 類的默認構造函數會被刪除，如果需要的話，要求用戶自己定義實現，如果用戶沒有自己定義，則不能該 union 類不能進行實例化。
3. 至多一個變體成員能擁有默認成員初始化值
4. 不能有靜態成員數據(這個很奇怪，在clang上會報鏈接錯誤而不是語法錯誤)，但是可以有靜態成員函數
5. 全部成員的訪問控制都是 public

第1、2點的意思是，如果成員數據類型是非平凡的(non-trivial)，則 union 類需要定義相關的構造函數、復制函數、移動構造、移動賦值函數、析構函數等。

union A { int a; double b; std::string c; A() : c("111") {} // 因為std::string擁有是非平凡的的數據類型， ~A() {}   // 則A必須自定義構造函數和析構函數，否則無法進行實例化     // 如果想實現復制語義，還得自定義復制(構造)函數};

第3點的意思是：

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

總結

以上就是這篇文章的全部內容了，希望本文的內容對大家的學習或者工作具有一定的參考學習價值，如果有疑問大家可以留言交流，謝謝大家對武林網的支持。