Вызов виртуального метода в конструкторе: почему это опасно и как избежать?

Проблема: порядок инициализации и виртуальные методы

Вы правы — в C# виртуальный метод в конструкторе действительно вызывает переопределённую версию из производного класса. Но проблема в том, что конструктор производного класса ещё не выполнен, когда вызывается InitializeName(). Это может привести к непредсказуемому поведению, если переопределённый метод полагается на состояние, которое должно быть установлено в конструкторе производного класса.

Что происходит на самом деле?

При создании new Dog():

1. Вызывается конструктор Dog(), который неявно вызывает конструктор Animal().
2. В конструкторе Animal() вызывается InitializeName().
3. Так как метод виртуальный, вызывается Dog.InitializeName().
4. В этот момент поля Dog ещё не инициализированы (конструктор Dog только начнётся после возврата из Animal()).

В вашем примере это работает, потому что вы просто присваиваете Name. Но представьте, что в Dog есть поле, которое используется в InitializeName():

public class Dog : Animal
{
    private string _breed;
    
    public Dog(string breed)
    {
        _breed = breed;
    }
    
    public override void InitializeName()
    {
        // _breed ещё не задано! Будет null или значение по умолчанию.
        Name = $"Dog ({_breed ?? "unknown breed"})";
    }
}

Правильное решение: не вызывайте виртуальные методы в конструкторе

Вместо этого используйте один из следующих подходов:

1. Сделайте конструктор невиртуальным и используйте перегрузку

public class Animal
{
    public string Name { get; set; }
    
    public Animal()
    {
        InitializeName();
    }
    
    // Не виртуальный
    private void InitializeName()
    {
        Name = GetDefaultName();
    }
    
    // Виртуальный метод для получения имени
    protected virtual string GetDefaultName()
    {
        return "Unknown animal";
    }
}

public class Dog : Animal
{
    protected override string GetDefaultName()
    {
        return "Buddy";
    }
}

2. Используйте фабричный метод

public class Animal
{
    public string Name { get; set; }
    
    protected Animal(string name)
    {
        Name = name;
    }
    
    public static Animal CreateDefault()
    {
        return new Animal("Unknown animal");
    }
}

public class Dog : Animal
{
    private Dog(string name) : base(name) { }
    
    public static Dog CreateDefault()
    {
        return new Dog("Buddy");
    }
}

3. Используйте отложенную инициализацию (lazy initialization)

public class Animal
{
    private string _name;
    public string Name
    {
        get
        {
            if (_name == null)
                _name = GetDefaultName();
            return _name;
        }
        set => _name = value;
    }
    
    protected virtual string GetDefaultName()
    {
        return "Unknown animal";
    }
}

Почему это важно?

• Безопасность: вы избегаете вызова методов, которые могут использовать неинициализированные поля.
• Предсказуемость: код работает так, как ожидается, независимо от порядка наследования.
• Поддержка: другие разработчики не будут удивлены неожиданным поведением.

ReSharper прав, предупреждая об этом. Всегда лучше избегать виртуальных вызовов в конструкторах, если это возможно.

public abstract class Animal
{
    public string Name { get; private set; }
    
    // Template method
    public void Initialize()
    {
        Name = GetDefaultName();
        OnInitialized();
    }
    
    protected abstract string GetDefaultName();
    protected virtual void OnInitialized() { }
}

public class Dog : Animal
{
    protected override string GetDefaultName()
    {
        return "Buddy";
    }
    
    protected override void OnInitialized()
    {
        Console.WriteLine("Dog initialized!");
    }
}

var dog = new Dog();
dog.Initialize(); // Явный вызов после создания объекта