Помеченный союз
- Помеченное объединение — структура данных для хранения значения, принимающего несколько фиксированных типов.
- В любой момент времени используется только один из типов, поле тега указывает, какой тип используется.
- Объединения с тегами важны в функциональных языках программирования для проверки обработки всех случаев.
- Типы сумм, проверяемые во время компиляции, широко используются в Rust и называются перечислениями.
- Объединения с тегами могут экономить память за счет перекрытия областей хранения для каждого типа.
- Объединения с тегами сопровождаются концепцией конструктора, создающего значение типа с заданным тегом и значением соответствующего типа.
- Математически помеченные союзы соответствуют непересекающимся или выделенным союзам, обычно записываемым с помощью +.
- Основное преимущество объединения с тегами перед объединением без тегов — безопасность обращений и возможность проверки обработки всех случаев.
Полный текст статьи: