Что такое sealed?

Что такое ключевое слово sealed в C#?

Ключевое слово sealed в C# является модификатором, который применяется к классам, методам и свойствам для ограничения наследования и переопределения. Его основная цель — запретить дальнейшее расширение функциональности через наследование или модификацию членов класса.

Основные случаи использования sealed

1. sealed классы

Класс, помеченный как sealed, не может быть унаследован другими классами. Это полезно в следующих сценариях:

• Защита архитектуры: Когда класс представляет завершённую, стабильную функциональность, и его наследование может нарушить логику работы.
• Безопасность: Предотвращение злонамеренного изменения поведения класса через наследование.
• Оптимизация: Компилятор может применять дополнительные оптимизации, зная, что класс не будет иметь наследников.

// Пример sealed класса
public sealed class ConfigurationManager
{
    public string GetSetting(string key) 
    {
        // Логика чтения конфигурации
        return "value";
    }
}

// Попытка наследования вызовет ошибку компиляции:
// public class ExtendedConfigurationManager : ConfigurationManager { } // ОШИБКА!

2. sealed методы

Когда sealed применяется к методу, он запрещает переопределение этого метода в производных классах. Важное правило: sealed можно использовать только с методами, которые уже переопределяют виртуальный метод базового класса (то есть, комбинация override + sealed).

public class Vehicle
{
    public virtual void StartEngine()
    {
        Console.WriteLine("Engine started.");
    }
}

public class Car : Vehicle
{
    // Переопределяем метод и запрещаем дальнейшее переопределение
    public sealed override void StartEngine()
    {
        Console.WriteLine("Car engine started with key.");
    }
}

public class SportsCar : Car
{
    // Этот код вызовет ошибку компиляции:
    // public override void StartEngine() { } // ОШИБКА! Метод sealed.
}

3. sealed свойства

Аналогично методам, свойства могут быть помечены как sealed для запрета переопределения в производных классах.

public class BaseClass
{
    public virtual string Id { get; set; }
}

public class DerivedClass : BaseClass
{
    private string _id;
    
    // Запечатываем свойство
    public sealed override string Id
    {
        get => _id;
        set => _id = value ?? throw new ArgumentNullException(nameof(value));
    }
}

Преимущества использования sealed

• Контроль над наследованием: Позволяет проектировщику классов явно указать, какие классы или члены не должны изменяться через наследование.
• Безопасность: Уменьшает риск непреднамеренного изменения критической бизнес-логики.
• Производительность: В некоторых случаях компилятор может применять оптимизации, например, девиртуализацию вызовов, так как знает, что метод не будет переопределён.
• Ясность кода: Делает намерения разработчика явными для других программистов, работающих с кодом.

Когда следует использовать sealed?

1. Классы-утилиты или хелперы, которые содержат статические методы и не должны иметь состояния.
2. Иммутабельные классы, такие как DTO (Data Transfer Objects), где наследование может нарушить контракт.
3. Классы, содержащие чувствительную логику (например, связанную с безопасностью или лицензированием).
4. Методы, реализующие критически важную логику, которую нельзя изменять в производных классах.

Пример из реальной практики

В библиотеках .NET многие классы помечены как sealed. Например, String — sealed класс, поскольку его наследование могло бы нарушить фундаментальные предположения о строковых операциях и безопасности.

// В исходном коде .NET:
public sealed class String : ICloneable, IComparable, IConvertible, ...
{
    // Реализация строки
}

Важные ограничения

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

Заключение

Ключевое слово sealed — это мощный инструмент проектирования в C#, который помогает создавать стабильные, безопасные и эффективные иерархии классов. Его разумное использование способствует написанию чистого, поддерживаемого кода, явно выражающего архитектурные решения разработчика. Однако следует избегать излишнего "запечатывания" классов без веской причины, чтобы не ограничивать гибкость системы в будущем.