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