Volatile 6 страница

B.F
B.F
D.F
D.F

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

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() {...} // Допустимо

public override C<string> G() {...} // Допустимо

public override void H(C<T> x) {...} // Ошибка. Следует использовать C<string>
}

class E<T,U>: C<U>
{
public override U F() {...} // Допустимо

public override C<U> G() {...} // Допустимо

public override void H(C<T> x) {...} // Ошибка. Следует использовать C<U>
}

Объявление переопределения может обращаться к переопределенному базовому методу посредством базового_доступа (§7.5.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() {} // Предупреждение. Скрывается унаследованный метод F()
}

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

В примере

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

class B: A
{
new private void F() {} // Скрывает метод A.F в теле класса B
}

class C: B
{
public override void F() {} // Допустимо. Переопределяет метод A.F
}

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

10.6.5 Запечатанные методы;

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

В примере

using System;

class A
{
public virtual void F() {
Console.WriteLine("A.F");
}

public virtual void G() {
Console.WriteLine("A.G");
}
}

class B: A
{
sealed override public void F() {
Console.WriteLine("B.F");
}

override public void G() {
Console.WriteLine("B.G");
}
}

class C: B
{
override public void G() {
Console.WriteLine("C.G");
}
}

класс B предоставляет два переопределяющих метода: метод F с модификатором sealed и метод G без него. Использование модификатора sealed в классе B позволяет предотвратить последующее переопределение метода F в классе C.