Как реализовано переопределение в C#?

Реализация переопределения в C#

Переопределение (overriding) в C# — это механизм, позволяющий производному классу предоставлять свою собственную реализацию метода, свойства, индексатора или события, уже определенного в базовом классе. Это ключевой элемент полиморфизма, позволяющий объектам производных классов обрабатываться как объекты базового класса, но с вызовом их собственных версий методов.

Ключевые элементы для переопределения

1. Виртуальные члены (virtual)

В базовом классе метод, свойство или другое переопределяемое поведение помечается ключевым словом virtual. Это указывает, что член может быть переопределён в производных классах.

2. Переопределяемые члены (override)

В производном классе используется ключевое слово override для явного указания, что данный член переопределяет унаследованный виртуальный член. Сигнатура (имя, тип возвращаемого значения и параметры) должна точно совпадать.

3. Специальные модификаторы

• sealed override — предотвращает дальнейшее переопределение в более глубоких производных классах.
• abstract — абстрактные методы также являются виртуальными, но не имеют реализации в базовом классе и обязаны быть переопределены в первом конкретном производном классе.

Пример базовой реализации

// Базовый класс
public class Animal
{
    // Виртуальный метод - может быть переопределён
    public virtual void MakeSound()
    {
        Console.WriteLine("Some generic animal sound");
    }
    
    // Виртуальное свойство
    public virtual string Species => "Unknown";
}

// Производный класс
public class Dog : Animal
{
    // Переопределение метода
    public override void MakeSound()
    {
        Console.WriteLine("Woof!");
    }
    
    // Переопределение свойства
    public override string Species => "Canis lupus familiaris";
    
    // Новый метод, специфичный для Dog
    public void WagTail()
    {
        Console.WriteLine("Tail wagging");
    }
}

// Производный класс с sealed переопределением
public class Bulldog : Dog
{
    // Переопределяем метод с sealed
    public sealed override void MakeSound()
    {
        Console.WriteLine("Bulldog woof!");
    }
}

// Использование
class Program
{
    static void Main()
    {
        Animal animal = new Dog(); // Полиморфизм
        animal.MakeSound(); // Выведет "Woof!" (вызывается переопределённый метод)
        
        Console.WriteLine(animal.Species); // Выведет "Canis lupus familiaris"
        
        // animal.WagTail(); // Ошибка компиляции - WagTail не определён в Animal
        
        Dog dog = new Bulldog();
        dog.MakeSound(); // Выведет "Bulldog woof!"
    }
}

Особенности и правила переопределения

1. Статические члены не могут быть виртуальными или переопределёнными — для них используется скрытие через ключевое слово new.

2. Модификаторы доступа при переопределении должны оставаться такими же или быть менее строгими (например, protected можно изменить на public в переопределении).

3. Виртуальные и переопределяемые свойства могут быть как автореализуемыми, так и с явными геттерами/сеттерами.

4. Вызов базовой реализации — можно вызвать метод базового класса с помощью ключевого слова base:

public class Cat : Animal
{
    public override void MakeSound()
    {
        base.MakeSound(); // Вызов реализации из Animal
        Console.WriteLine("Meow!");
    }
}

1. Проверка во время компиляции — компилятор проверяет, что:
   • Метод с override действительно переопределяет виртуальный метод
   • Сигнатуры полностью совпадают
   • Нельзя переопределить невиртуальный или статический метод

Переопределение событий и индексаторов

Переопределение также работает с событиями и индексаторами:

public class BaseClass
{
    public virtual event EventHandler SomethingHappened;
    
    public virtual int this[int index]
    {
        get { return index * 2; }
    }
}

public class DerivedClass : BaseClass
{
    private EventHandler _handler;
    
    public override event EventHandler SomethingHappened
    {
        add { _handler += value; }
        remove { _handler -= value; }
    }
    
    public override int this[int index]
    {
        get { return index * 3; }
    }
}

Отличия от сокрытия (new)

Важно различать переопределение (override) и сокрытие (new):

public class BaseClass
{
    public virtual void Method() => Console.WriteLine("Base");
}

public class DerivedOverride : BaseClass
{
    public override void Method() => Console.WriteLine("Derived (override)");
}

public class DerivedNew : BaseClass
{
    public new void Method() => Console.WriteLine("Derived (new)");
}

// Использование
BaseClass obj1 = new DerivedOverride();
obj1.Method(); // "Derived (override)" - полиморфизм работает

BaseClass obj2 = new DerivedNew();
obj2.Method(); // "Base" - метод базового класса (сокрытие)

Заключение

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