10.6.4Переопределяющие методы

Если объявление метода экземпляра содержит модификатор override, метод является переопределяющим методом. Такой метод переопределяет унаследованный виртуальный метод с такой же сигнатурой. Объявление виртуального метода определяет новый метод. Объявление переопределяющего метода уточняет существующий виртуальный метод, предоставляя его новую реализацию.

Метод, переопределяемый с помощью объявления override, называется переопределенным базовым методом. Для переопределяющего метода M, объявленного в классе C, переопределенный базовый метод определяется посредством проверки всех базовых для C типов класса. Проверка начинается с прямого базового типа класса C и продолжается для каждого последующего прямого базового типа класса. Проверка продолжается до тех пор, пока не будет найден базовый тип класса, содержащий хотя бы один доступный метод M, подпись которого после замены аргументов типа соответствует заданной. Переопределенный базовый метод считается доступным, если он объявлен как public, protected, protected internal или объявлен как internal в той же программе, что и C.

Если для объявления переопределения не выполняются все следующие условия, возникает ошибка времени компиляции.

• Может быть найден переопределенный базовый метод (см. выше).

• Существует только один переопределенный базовый метод. Это ограничение влияет только в том случае, если тип базового класса представляет собой сформированный тип, в котором сигнатуры двух методов после замены аргументов типа совпадают.

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

• Переопределенный базовый метод не является запечатанным методом.

• Переопределяющий метод и переопределенный базовый метод имеют одинаковые типы возвращаемых данных.

• Для объявления переопределения и переопределенного базового метода объявлен одинаковый уровень доступа. Другими словами, объявление переопределения не может изменять доступность виртуального метода. Однако если переопределенный базовый метод объявлен как protected internal в сборке, отличной от той, в которой содержится переопределяющий метод, для последнего следует объявить уровень доступа protected.

• Объявление переопределения не содержит предложений_ограничений_параметров_типа. Все ограничения наследуются из переопределенного базового метода. Обратите внимание, что ограничения, являющиеся параметрами типа в переопределенном методе могут быть заменены аргументами типа в унаследованном ограничении. Это может привести к ограничениям, не являющимся законными при явном задании, таким как типы значений или запечатанные типы.

В следующем примере показано применение правил переопределения для универсальных классов.

abstract class C<T> { public virtual T F() {...}

public virtual C<T> G() {...}

public virtual void H(C<T> x) {...} }

class D: C<string> { public override string F() {...} // Ok

public override C<string> G() {...} // Ok

public override void H(C<T> x) {...} // Error, should be C<string> }

class E<T,U>: C<U> { public override U F() {...} // Ok

public override C<U> G() {...} // Ok

public override void H(C<T> x) {...} // Error, should be C<U> }

Объявление переопределения может иметь доступ к переопределенному базовому методу с помощью базового_доступа (§7.6.8). Пример.

class A { int x;

public virtual void PrintFields() { Console.WriteLine("x = {0}", x); } }

class B: A { int y;

public override void PrintFields() { base.PrintFields(); Console.WriteLine("y = {0}", y); } }

с помощью метода base.PrintFields() класса B вызывается метод PrintFields, объявленный в классе A. Базовый_доступ отключает механизм виртуального вызова и рассматривает базовый метод просто как невиртуальный метод. Если записать вызов в классе B как ((A)this).PrintFields(), это приведет к рекурсивному вызову метода PrintFields, объявленного в классе B, а не в классе A. Это связано с тем, что метод PrintFields является виртуальным, а типом времени выполнения для ((A)this) является B.

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

class A { public virtual void F() {} }

class B: A { public virtual void F() {} // Warning, hiding inherited F() }

метод F класса B не содержит модификатор override и, следовательно, не переопределяет метод F класса A. В этом случае метод F класса B скрывает метод класса A, и отображается предупреждение, поскольку объявление не содержит модификатор new.

В примере

class A { public virtual void F() {} }

class B: A { new private void F() {} // Hides A.F within body of B }

class C: B { public override void F() {} // Ok, overrides A.F }

метод F класса B скрывает виртуальный метод F, унаследованный из класса A. Поскольку для нового метода F класса B объявлен уровень доступа private, область его действия распространяется только на тело класса B и не включает класс C. Таким образом, объявление метода F в классе C может переопределять метод, F унаследованный из класса A.