CA2214: не вызывайте переопределяемые методы в конструкторах

Статья
09/06/2023

Свойство	Значение
Идентификатор правила	CA2214
Заголовок	Не вызывайте переопределяемые методы в конструкторах
Категория	Использование
Исправление является критическим или не критическим	Не критическое
Включен по умолчанию в .NET 9	No

Причина

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

Описание правила

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

Устранение нарушений

Чтобы устранить нарушение этого правила, не вызывайте виртуальные методы типа из конструкторов типа.

Когда лучше отключить предупреждения

Для этого правила отключать вывод предупреждений не следует. Конструктор должен быть переработан, чтобы исключить вызов виртуального метода.

Пример

В следующем примере показан результат нарушения этого правила. Тестовое приложение создает экземпляр DerivedType, который приводит к выполнению конструктора его базового класса (BadlyConstructedType). Конструктор BadlyConstructedType неправильно вызывает виртуальный метод DoSomething. Как видно из выходных данных, DerivedType.DoSomething() выполняется до выполнения конструктора DerivedType.

public class BadlyConstructedType
{
    protected string initialized = "No";

    public BadlyConstructedType()
    {
        Console.WriteLine("Calling base ctor.");
        // Violates rule: DoNotCallOverridableMethodsInConstructors.
        DoSomething();
    }
    // This will be overridden in the derived type.
    public virtual void DoSomething()
    {
        Console.WriteLine("Base DoSomething");
    }
}

public class DerivedType : BadlyConstructedType
{
    public DerivedType()
    {
        Console.WriteLine("Calling derived ctor.");
        initialized = "Yes";
    }
    public override void DoSomething()
    {
        Console.WriteLine("Derived DoSomething is called - initialized ? {0}", initialized);
    }
}

public class TestBadlyConstructedType
{
    public static void Main2214()
    {
        DerivedType derivedInstance = new DerivedType();
    }
}


Imports System

Namespace ca2214

    Public Class BadlyConstructedType
        Protected initialized As String = "No"


        Public Sub New()
            Console.WriteLine("Calling base ctor.")
            ' Violates rule: DoNotCallOverridableMethodsInConstructors.
            DoSomething()
        End Sub 'New

        ' This will be overridden in the derived type.
        Public Overridable Sub DoSomething()
            Console.WriteLine("Base DoSomething")
        End Sub 'DoSomething
    End Class 'BadlyConstructedType


    Public Class DerivedType
        Inherits BadlyConstructedType

        Public Sub New()
            Console.WriteLine("Calling derived ctor.")
            initialized = "Yes"
        End Sub 'New

        Public Overrides Sub DoSomething()
            Console.WriteLine("Derived DoSomething is called - initialized ? {0}", initialized)
        End Sub 'DoSomething
    End Class 'DerivedType


    Public Class TestBadlyConstructedType

        Public Shared Sub Main2214()
            Dim derivedInstance As New DerivedType()
        End Sub 'Main
    End Class
End Namespace

В примере получается следующий вывод.

Calling base ctor.
Derived DoSomething is called - initialized ? No
Calling derived ctor.

Поделиться через