Union hold valA;// создали переменную valA по шаблону union hold

valA.letter = 'R';

union hold valB = valB;// инициализация одного объединения другим

union hold valC = {88};// инициализация числового элемента

Рассмотрим варианты использования объединения:

union hold fit;

fit.digit = 23; // число 23 хранится в переменной fit, 2 байта

fit.bigf = 6.78; // число 23 затерто, хранится 6.78, 8 байтов

fit.letter = 'h';// число 6.78 затерто, хранится символ h,1 байт

Операция точки показывает, какой тип данных используется в текущий момент [1]. За один раз запоминается только одно значение. Нельзя одновременно хранить значение типа char и значение типа int, даже если для этого имеется достаточно пространства (памяти для 8 байт). Следить за тем, какие значения на текущий момент хранятся в объединении, входит в обязанности программиста. Бывает, что на различных этапах выполнения программы одни переменные могут быть не нужны, в то время как другие, наоборот, используются только в текущей части программы, поэтому объединения экономят пространство, вместо того чтобы впустую тратить память на не использующиеся в данный момент переменные.

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

int x;

ptr = &fit;

x = ptr -> digit;

В содержимом объединения могут быть структуры в качестве инициализаторов. При этом по правилам использования объединения обращаться можно будет только к одной из них.

Фактически объединение является структурой, в которой все элементы имеют нулевое смещение от ее начала. Она имеет достаточную длину, чтобы в нее поместился самый длинный элемент, и при этом выравнивание выполняется правильно для всех типов данных [2]. Над объединениями разрешено выполнять те же операции, что и над структурами: присваивать или копировать как единое целое, брать его адрес и обращаться к отдельным элементам.

Объединения могут употребляться в структурах и массивах и наоборот. Способ обращения к члену объединения в структуре (или к члену структуры в объединении) полностью идентичен обращению к элементу вложенной структуры. Объединение можно инициализировать только данными того типа, который имеет его первый элемент [2].

Смысловое отличие объединения от структуры состоит в том, что записать информацию в объединение можно с помощью одного из его элементов, а выбрать данные из того участка памяти можно с помощью другого элемента того же объединения [3].

К объединениям может быть применен оператор typedef, после чего можно вводить обозначения объединяющих типов, не требующие служебного слова union. Рассмотрим пример: