About: 共用体

共用体（きょうようたい、英: union）は、プログラミング言語におけるデータ型の一つで、同じメモリ領域を複数の型が共有する構造である。 例として、ある入力が数字の場合は数値として、そうでない場合は文字列のまま保持したいという場合を考える。この場合、数値用と文字列用の領域をそれぞれ用意するのが一つの解法だが、入力は数値か文字列のどちらか一方なので、片方しか使われず無駄が出る。そこで代わりに、格納用の領域を一つだけ用意して、これを数値である、文字列であると場合により解釈し分けることで領域の無駄が抑えられる。この「格納用の領域」こそが共用体である。 共用体から意味のある値を取り出すためには、中身のデータそのものに加えて「今、何の型のデータが入っているか」という情報（タグという）が必要となる。タグを付加情報として持ち、常に正しい型でデータを得られるように設計された共用体を特にあるいはという。