標籤聯合

標籤聯合（英語：tagged union）也稱可辨識聯合（discriminated union）或者變體類型（variant type），指的是這樣的一種資料結構，它能夠儲存一組不同但是固定的類型中某個類型的對象，具體是哪個類型由標籤欄位決定。這種資料結構在直譯器、資料庫和資料通訊中非常有用。需要注意的是，可辨識聯合英文原詞在數學中又指不相交併集（disjoint union）。