带标记联合体 Tagged union

判别值与联合体载荷的组合，其不变量要求标签指明当前保存值的成员。