前言

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

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

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

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

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

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

#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}; // 初始化第一個成員，當前s.n為活躍成員
 // 于此點，讀取 s.s 或 s.c 是未定義行為
 std::cout << std::hex << "s.n = " << s.n << '\n';
 s.s[0] = 0x0011; // s.s 現(xiàn)在是活躍成員
 // 在此點，讀取 s.n 或 s.c 是未定義行為
 std::cout << "s.c is now " << +s.c << '\n' // 11 or 00, 依賴平臺實現(xiàn)
    << "s.n is now " << s.n << '\n'; // 12340011 or 00115678
}

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

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

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

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

第3點的意思是：

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

總結

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