Зачем нужно, чтобы виртуальные методы были явно переопределены в C#?

Question

Почему виртуальные методы должны быть явно переопределены в C#?

Answer 1

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

Объявив свой метод, реализующий в override, ваш являются , указав свое намерение, что вы перекрытый метод virtual.

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

Answer 2

Поскольку это делает код более читаемым:

class Derived : Base 
{ 
    void Foo(); 
} 

В C++, Foo может или не может быть виртуальный метод, мы не можем сказать, глядя на определение. В C# мы знаем, что метод является виртуальным (или нет), потому что есть либо ключевое слово virtual, либо override.

Комментарий Джейсона ниже - лучший ответ.

(отредактированный для ясности)

Answer 3

Если вы не добавили ключевое слово override, метод будет скрыт (как если бы у него было ключевое слово new), а не переопределено.

Например:

class Base { 
    public virtual void T() { Console.WriteLine("Base"); } 
} 
class Derived : Base { 
    public void T() { Console.WriteLine("Derived"); } 
} 

Base d = new Derived(); 
d.T(); 

Этот код печатает Base. Если вы добавите override в адрес Derived, код будет распечатать Derived.

Вы не можете сделать это на C++ с помощью виртуального метода. (There is no way to hide a C++ virtual method without overriding it))

Answer 4

Не все виртуальные методы должны быть переопределены, хотя все абстрактные методы должны (и должны) быть. Что касается того, почему ключевое слово override является явным, это потому, что переопределение и скрытие ведут себя по-разному. Метод скрытия не вызывается через ссылку на базовый класс, тогда как переопределенный метод. Вот почему компилятор специально предупреждает о том, как вы должны использовать ключевое слово «новое» в случае, когда вы скрываете, а не переопределяете.

Answer 5

Это потому, что члены команды C# - все опытные программисты на С ++. И знаете, как зарождается эта конкретная ошибка:

class Base { 
protected: 
    virtual void Mumble(int arg) {} 
}; 

class Derived : public Base { 
protected: 
    // Override base class method 
    void Mumble(long arg) {} 
}; 

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

Этого никогда не может быть в программе на C#. Даже управляемый C++ применял этот синтаксис, преднамеренно ломаясь с собственным синтаксисом C++. Всегда смелый выбор. IntelliSense снимает лишние формулировки.

В C# есть много синтаксических твинов, которые напоминают синтаксис такого типа.

---

EDIT: а остальная часть C++ сообщества согласился и принял переопределения ключевое слово в новой C++ 11 спецификации языка.

Answer 6

Нет необходимости явно переопределять виртуальный метод в производном классе. Маркировка метода virtual только позволяет переопределить.