Объединения

Что такое объединения в Delphi и почему о них слагают легенды

Объединения (variant parts записи, объявляемые через case) — одна из самых недопонятых возможностей Delphi. Многие программисты, особенно перешедшие с других языков, считают их пережитком прошлого или источником неисправимых ошибок. На деле — это мощный механизм для экономии памяти и реализации полиморфизма данных без наследования.

Главный страх: «Я могу случайно записать не тот тип и всё сломается». Реальность: компилятор Delphi контролирует только память, но не логику. Однако при грамотном подходе вы получаете гибкость, недоступную обычным записям.

Миф №1: Объединения всегда опасны и не нужны в современном коде

Это заблуждение родилось из-за злоупотреблений в ранних версиях Delphi, а также из-за путаницы с unions в C/C++. На самом деле:

• Объединения в Delphi (variant record) не требуют ручного выравнивания байтов — компилятор делает это автоматически.
• Они незаменимы при работе с двоичными протоколами, драйверами устройств и парсинге упакованных данных.
• Многие системные структуры Windows (например, TVarData, TObjectDispatch) построены именно на объединениях.

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

Миф №2: В объединениях нельзя использовать строки и динамические массивы

Это полная неправда, но с оговоркой. Действительно, если вы объявите variant record, где одно поле — string, а другое — Integer, компилятор выдаст ошибку (типы с управлением жизнью несовместимы). Однако:

1. Можно разместить строку в вариантной части, если все поля — строки (или динамические массивы одного типа).
2. Используя поле типа array[0..0] of Byte с последующим приведением, вы легко работаете с любыми данными.
3. Для смешанных сценариев (число + строка) применяйте TVarRec или Variant — но это уже не чистое объединение, а надстройка.

Реальная практика: объединения отлично дружат с записями-тегами (tagged records), где целочисленное поле указывает, какой тип активен.

Миф №3: Union — это медленная конструкция из-за проверок компилятора

Напротив, объединения — один из самых быстрых способов интерпретации одних и тех же байт как разных типов. Компилятор не генерирует кода для переключения полей — он просто резервирует максимум памяти среди всех вариантов.

• Доступ к любому полю через case — это смещение адреса на константу (как в обычной записи).
• Никаких виртуальных таблиц, скрытых вызовов или проверок границ.
• Скорость работы идентична ручному приведению указателей (PInteger(@MyRecord.Bytes)^), но код чище и типобезопаснее на этапе компиляции.

Страх производительности обычно возникает у тех, кто путает объединения с Variant или TValue — последние действительно содержат накладные расходы на управление типом.

Миф №4: Аналогов нет, и без C-совместимости объединения бесполезны

Delphi-объединения полностью совместимы с union в C при использовании директивы packed (упакованная запись). Более того, они позволяют делать то, что в C невозможно:

1. Именованные варианты с разными наборами полей — не просто один union, а логическая группировка.
2. Вложенные объединения в записях — комбинируйте фиксированные и переменные части.
3. Привязка варианта к тегу (дискриминанту) — компилятор может предупредить о потенциальных проблемах, если включена опция {$R+} или Range Checking.

Многие современные библиотеки для Delphi (например, Spring4D) используют объединения внутри для оптимизации хранения коллекций с разными типами значений.

Практический пример: как правильно и безопасно

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

type
  TMyData = record
    case DataType: (dtInteger, dtFloat, dtString) of
      dtInteger: (IntVal: Integer);
      dtFloat:   (FloatVal: Double);
      dtString:  (StrVal: ShortString);
    end;

Важное замечание: ShortString — это статический массив из 256 байт, поэтому он безопасен в вариантной части. Для длинных строк используйте PAnsiChar или array[0..255] of AnsiChar и управляйте памятью вручную.

Что действительно стоит помнить, а чего бояться не надо

• Не бойтесь: использовать объединения для работы с сырыми данными (RAW, бинарные заголовки).
• Бойтесь: забывать про инициализацию полей — в вариантной части нет конструктора по умолчанию.
• Не бойтесь: компиляторных предупреждений — они защищают от глупых ошибок.
• Бойтесь: смешивать в одном объединении управляемые (managed) и неуправляемые типы — это приведёт к утечкам памяти.

Заключение: объединения в Delphi — не чёрная магия, а рабочий инструмент. Мифы о их ненадёжности порождены либо неправильным применением, либо переносом привычек из других экосистем. Изучите документацию на Record with variant parts, поэкспериментируйте с простыми примерами — и вы перестанете их бояться.

Добавлено: 27.04.2026