|
|
Объединение можно представить как структуру, все члены имеют
нулевое смещения, а размер ее достаточно велик, чтобы
вмещать любой из ее членов. В любой момент времени объединение
может содержать только один член. В объединении могут быть
функции-члены (в том числе конструкторы и деструкторы), но не
виртуальные функции ($$R.10.2). Объединение не может иметь базовых
классов и не может само использоваться в качестве базового класса.
Членом объединения не может быть объект класса с конструктором или
деструктором, а также с определенной пользователем операцией
присваивания ($$R.13.4.3). Объединение не может содержать статических
членов, представляющих данные.
Объединение вида
union { список-членов }
называется безымянным объединением, оно определяет объект без имени (и без типа). Имена всех членов безымянного объединения должны отличаться от других имен в той области видимости, в которой описано объединение; их можно использовать в этой области видимости непосредственно, без обычных операций доступа к членам ($$R.5.2.4). Приведем пример:
void f() { union { int a; char* p; }; a = 1; // ... p = "Jennifer"; // ... }
Здесь a и p используются как обычные переменные (не члены), но поскольку
они входят в одно объединение, их адреса совпадают.
Глобальные безымянные объединения можно описать со спецификацией
static. Безымянные объединения не должны содержать частных или
защищенных членов ($$R.11), а также функций-членов.
Если описаны объекты объединения или указатели на него, то
оно не считается безымянным, например,
union { int aa; char* p; } obj, *ptr=&obj; aa = 1; // ошибка ptr->aa = 1; // нормально
Здесь присваивание простому имени aa незаконно, т.к. имя члена не
привязано ни к какому объекту.
Инициализация объединений, не имеющих конструкторов, описывается
в $$R.8.4.1.
| |
|