3

В C# есть весьма странное и опасное разрешение- это вызов виртуальных методов внутри обычных методов.

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

В каких случаях- это может понадобится? Мне кажется, что больше -, чем +.

Рихтер, вроде, тоже не рекомендует так делать.

7
  • 5
    чем оно странно и опасно? что может привести к непредсказуемым результатам. - этак про любой код можно сказать
    – Grundy
    20 ноя 2017 в 8:12
  • Про непредсказуемые результаты не понял. Пока вижу только одну проблему - вызываемый в конструкторе метод может обратиться к еще не инициализированному полю экземпляра, но это касается любых методов - не имеет значения, виртуальные они или нет. И да, так делать не надо.
    – rdorn
    20 ноя 2017 в 8:29
  • Вопрос я думаю в первую очередь про конструктор и вызов в нём виртуальных функций. Там вроде есть какие то подводные камни потенциально. Как минимум - вызов функции у недостроенного класса.
    – Monk
    20 ноя 2017 в 8:45
  • @Monk, да, наверное мне нужно было переформулировать под конструктор.
    – iluxa1810
    20 ноя 2017 в 8:49
  • 1
    @B.Vandyshev почитайте, да и автору пригодится - stackoverflow.com/a/119543/3768545
    – Monk
    20 ноя 2017 в 9:20

2 ответа 2

3

В каких случаях- это может понадобится?

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

Пример:

class Animal
{
    public Animal()
    {
        var animalName = GetName();
        Console.WriteLine($"New {animalName} is born!");
    }
    protected virtual string GetName() => "Generic animal";
}

class Cat : Animal
{
    protected override string GetName() => "Cat";
}

class Dog : Animal
{
    protected override string GetName() => "Dog";
}

Аналогичный код в C++ вывел бы "New Generic animal is born!" для любого животного, что явно не является интуитивно ожидаемым поведением.


Известная проблема, конечно, заключается в том, что объект может быть не полностью инициализирован к моменту вызова виртуального метода, поэтому вызов в принципе может завершиться ошибкой. Но это часть более общей проблемы: ведь вызов и невиртуального метода в конструкторе может завершиться с ошибкой, т. к. этот метод прямо или косвенно может предполагать полную инициализацию объекта.

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

Поэтому решение проблемы — внимательно следить за тем, какие именно предусловия накладывают методы на вызывающий код.

13
  • Аналогичный код в C++ вывел бы "New Generic animal is born!" для любого животного, что явно не является интуитивно ожидаемым поведением. оно неожиданно только для тех, кто не знает с++. Для всех остальных абсолютно ожидаемое.
    – KoVadim
    20 ноя 2017 в 13:25
  • @KoVadim: Неожиданность хорошо видна в том, что программистам на C++ приходится его специально учить эту странность языка. А для программистов на C# код работает интуитивно понятно, так что вопросов не возникает. (Ну и да, я кое-как знаю C++. Но для меня это поведение всё ещё не интуитивно ожидаемое.)
    – VladD
    20 ноя 2017 в 13:33
  • ага, ответ выше как раз и показывает, как все прозрачно и интуитивно.
    – KoVadim
    20 ноя 2017 в 13:35
  • @KoVadim: Всё как раз прозрачно. Вызов метода до окончания инициализации объекта может привести к проблемам. Вне зависимости от того, это виртуальный метод или нет.
    – VladD
    20 ноя 2017 в 13:44
  • когда вызывается метод, который принадлежит объекту или его предкам, он может рассчитывать на то, базовая инициализация уже прошла. А вот методами наследников все сложнее... Их конструкторы к этому моменту ещё не отработали
    – KoVadim
    20 ноя 2017 в 13:48
-1

По сути, виртуальные методы чем то схожи в методами в интерфейсах, вы знаете что такой метод будет и знаете его сигнатуру, и можете им воспользоваться, но при этом вы не знаете как он будет реализован внутри. Самое популярное использование - это метод ToString() во время разработки базового класса (в данной случае object) вы не можете знать как именно вам следует преобразовывать класс в строку, у вас есть какая то базовая реализация, в большинстве случаев она подходит, но вы хотите чтобы в дочерних классах эту логику можно было переопределить, но при этом в отличии от интерфейса, вы не хотите обязывать пользователя определять этот метод ToString() в каждом классе наследнике.

UPD: Так как речь о конструкторе, то тут могут возникать некоторые ньюансы например код:

class Parent
{
    public Parent()
    {
        DoSomething();
    }

    protected virtual void DoSomething() 
    {
    }
}

class Child : Parent
{
    private string foo;
    public Child() 
    { 
      foo = "HELLO";
    }

    protected override void DoSomething()
    {
        Console.WriteLine(foo.ToLower());
    }
}

В данном коде, метод DoSomething() будет вызван до конструктора Client() следовательно foo еще не будет проинициализирован и мы получим NullReferenceException

1
  • Кстати: ideone.com/CstCea. Это ещё один аргумент за inline-инициализацию полей.
    – VladD
    20 ноя 2017 в 14:29

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.