"union" '{' Описание элемента1';'
…
Описание элементаn';' '}';
Для каждого из элементов объединения выделяется одна и та же область памяти, т. е. все элементы перекрываются. Хотя доступ к этой области памяти возможен с использованием любого из элементов, элемент для этой цели должен выбираться так, чтобы полученный результат не был бессмысленным.
Доступ к элементам объединения осуществляется тем же способом, что и к полям структур. Тип объединения может быть объявлен точно так же, как и тип структуры.
Объединение применяется для следующих целей:
— инициализации используемого объекта памяти, если в каждый момент времени только один объект из многих является активным;
— интерпретации основного представления объекта одного типа, как если бы этому объекту был присвоен другой тип.
Размер области памяти, выделяемой для переменной типа объединения, определяется наиболее длинным элементом объединения. Когда используется элемент меньшей длины, то переменная типа объединения может содержать неиспользуемую память. Все элементы объединения хранятся в одной и той же области памяти, начиная с одного и того же адреса.
Например, требуется передать число плавающего типа. Однако последовательный порт может передавать или принимать только байты. В этом случае можно воспользоваться объединением:
union {float Koeff; //Интерпретация объединения как переменной плавающего типа
char byte[4]; //Интерпретация объединения как массива
} bufer; //Объявление переменной
Объединение bufer позволяет последовательному порту получить доступ к отдельным байтам числа
Кроме определения переменных различных типов, имеется возможность заранее объявить тип переменной, а затем воспользоваться им при определении переменных. Использование при определении переменной заранее объявленного типа позволяет сократить определение, избежать ошибок при определении переменных в разных местах программы и добиться полной идентичности определяемых переменных.
Это можно сделать двумя способами. Первый способ — указать имя типа при объявлении структуры, объединения или перечисления, а затем использовать это имя в объявлении переменных и функций. Второй — использовать для объявления типа ключевое слово typedef. Следует отметить, что этот способ предпочтителен, т. к. использование его приводит к более наглядным и понятным программам.
При объявлении с ключевым словом typedef идентификатор, стоящий на месте описываемого объекта, является именем вводимого в рассмотрение типа данных, и далее этот тип может быть использован для объявления переменных.
Отметим, что любой тип может быть объявлен с использованием ключевого слова typedef, включая типы указателя, функции или массива. Имя с ключевым словом typedef для типов указателя, структуры, объединения может быть объявлено прежде, чем эти типы будут определены, но в пределах видимости объявителя.
Примеры объявления и использования новых типов:
При объявлении переменных и типов здесь были использованы имена типов (MATH и FIO). Помимо определения переменных, имена типов могут еще использоваться в трех случаях: в списке формальных параметров при определении функций, в операциях приведения типов и в операции sizeof.
При объявлении переменной ей можно присвоить начальное значение, присоединяя инициатор к описателю. Инициатор начинается со знака «=» и имеет следующие формы.
'=' Инициатор';' (формат 1)
'=' '{' Список инициаторов '}'';' (формат 2)
Формат 1 используется при инициализации переменных основных типов и указателей, а формат 2 — при инициализации составных объектов.
Примеры:
char to1 = 'N';
Переменная
const long megabute = (1024 * 1024);
Немодифицируемая переменная
static int b[2][2] = {1,2,3,4};
Инициализируется двухмерный массив
static int b[2][2] = { { 1,2 }, { 3,4 } };
При инициализации массива можно опустить одну или несколько размерностей
static int b[3][] = { { 1,2 }, { 3,4 } };