Объединение (структура данных)

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

В информатике объединение (англ. union) представляет собой значение[en] или структуру данных, которое может иметь несколько различных представлений или форматов.

В сильно типизированных языках тип объединение соответствует понятию тип-сумма из теории типов, т.е. требует использовать разные конструкторы для значений разных типов.

В слабо типизированных языках, таких как Си и C++, тип объединение реализует каламбур типизации, т.е. обеспечивает интерпретацию одного и того же значения в соответствии с разными типами.

В зависимости от конкретного языка и типа, значение объединения может использоваться в таких операциях как присваивание или сравнение в отрыве от информации о конкретном типе или с требованием её наличия.

Пример на C++[править | править вики-текст]

union Some {
    int i;
    double a;
};

Это объединение хранит либо целое число (переменная i), либо число с плавающей точкой (переменная a). Поскольку объединение — это вид структуры, то в C и C++ к нему обращаются так же, как и к структуре: через символ «->» при использовании указателя, или «.» при использовании обычной переменной.

Можно усложнить пример, сделав объединение частью структуры, тогда обращаться надо будет уже через структуру, то есть:

struct STRX {
   int j;
   Some v, *w;
} a, *b;

Рассмотрим способы обращения к объединению, заданные через указатели, переменные и смешанным образом:

a.v.i=123;
b->v.i=123;
a.w->i=123;
b->w->i=123;

Есть возможность сделать объединение безымянным :

struct STRX {
    int j;
    union {
        int i;
        double a;
    };
} a;

При этом обращение упрощается:

a.i=123;
a.a=4.5;

См. также[править | править вики-текст]