День 2602. #ЧтоНовенького #NET11 Объединения Наконец Появятся в .NET? Начало После многих лет раздумий, обсуждений дизайна и костылей на уровне библиотек, объединения наконец-то становятся полноценной частью C#. Предложение в репозитории языка C# больше не является отдалённой идеей. Теперь, похоже, что эта функция появилась в превью 2 .NET 11 в качестве одной из ранних возможностей C# 15. Это важно, потому что объединения решают проблему моделирования, которая существовала в C# очень давно: значение часто имеет ровно одну из нескольких допустимых форм, но система типов не имела встроенного способа выразить это замкнутое множество. В результате обычно использовалось что-то из следующего: обнуляемое значение, управление потоком через исключение, логический флаг или написанная вручную обёртка для результата. Что именно есть в предложении? Предложение шире, чем просто единая синтаксическая форма. Оно определяет модель объединений для языка и лаконичный синтаксис объявления поверх этой модели. На высоком уровне предложение вводит 4 возможности, которые важны в повседневном коде (поведения объединения): 1. Неявные преобразования из типов-вариантов в тип объединения; 2. Сопоставление по образцу, которое автоматически распаковывает содержимое объединения; 3. Проверка полноты в выражениях switch, что охвачены все типы-варианты; 4. Улучшения обнуляемости для содержимого объединения. Основной синтаксис прост: public union Pet(Cat, Dog, Bird); Это объявление означает, что Pet может содержать ровно один из этих типов-вариантов. Компилятор разрешает прямое построение через значения вариантов и рассматривает сопоставление с образцом в Pet как работу с замкнутым множеством. public sealed record Cat(string Name); public sealed record Dog(string Name); public sealed record Bird(string Name); public union Pet(Cat, Dog, Bird); public static string Describe(Pet pet) => pet switch { Cat cat => $"Cat: {cat.Name}", Dog dog => $"Dog: {dog.Name}", Bird bird => $"Bird: {bird.Name}" }; Вариант default не требуется, т.к. объединение считается исчерпывающим после обработки всех типов-вариантов. Типы-объединения и объявления объединения — не одно и то же C# не просто добавляет форму объявления объединения… Он также определяет, что такое тип-объединение. Согласно предложению, любой класс или структура, помеченные атрибутом [Union], могут участвовать в поведении объединения (см. 4 варианта выше), если они предоставляют необходимые открытые члены. Т.е. в язык добавляется новый паттерн обработки, а не просто ключевое слово union. Это важно по двум причинам: 1. Объединения разработаны как языковая возможность, которая может выходить за рамки объявлений, генерируемых компилятором. Существующие или написанные вручную типы также могут использовать эту модель. 2. Это оставляет место для специализированных реализаций. Сокращённое объявление, показанное выше, намеренно оставлено нечётким, но языковая модель шире, чем это сокращённое объявление. Окончание следует… Источник: https://medium.com/@benjaminabt/c-15-unions-unions-are-finally-in-net-ben-abt-f4493c1e9ffc