C# - обнаружил интересную "фишку"

[MOPO3]

Знаю что классы бывают sealed. Понятно для чего. Но также sealed могут быть методы, и тут я наткнулся на такую штуку, что есть способ обхода sealed методов

Создадим класс с виртуальным методом :

Код:

public class Demo
{
public virtual int Sum(int a, int b)
{
return a + b;
}
}

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

Код:

public class Demotester : Demo
{
public sealed override int Sum(int a, int b)
{
return base.Sum (a, b);
}
}

Опять же создадим класс наследник предыдущего и попробуем оуверрайдить в нём метод Sum

Код:

public class Tester : Demotester
{
public override int Sum(int a, int b)
{
return base.Sum(a, b);
}
}

Получим ошибку, так как не можем оуверрайдить sealed метод. Но! есть оказывается способ это обойти

Код:

public class Tester : Demotester
{
public new int Sum(int a, int b)
{
return base.Sum(a, b);
}
}

Всё скомпилиться и отработает Какой то shadowing получается
Теперь вопрос к знатокам : Это что ? Фишка языка ? Объясните мне пожалуйста зачем это нужно то ?

[Alf]

...
Получим ошибку, так как не можем оуверрайдить sealed метод. Но! есть оказывается способ это обойти

Это вовсе не обход. Посредством new ты заявил, что не намерен переопределять унаследованный метод, а создаешь свой собственный с таким же именем, который прячет одноименный метод предка. То есть в этом месте у тебя перестает работать виртуальный механизм (vtbl и прочее) и появляется обычный метод.

Грубая аналогия - если у тебя есть член класса X и ты в меоде объявил локальную переменную с таким же именем, ты просто "спрятал" имя из охватывающей метод области видимости, а вовсе не переопределил переменную. С первоначальной переменной новая не имеет ничего общего, кроме имени.

Кстати, погляди внимательнее на диагностику компилятора. Если у тебя есть базовый класс B:

Код:

public class B
{
  virtual void M() { }
}

и производный от него C:

Код:

public class C:
{
  void M() { }
}

, то при компиляции ты получишь предупреждение о неоднозначности ситуации. Выдается сообщение что-то вроде "уточни свои намерения, задай override, если хочешь переопределить виртуальный метод, или new, чтобы перекрыть унаследованный.

[Alf]

(Продолжение)

Я предполагаю (следует проверить на практике), что ситуация такова.

Допустим, имеем:

Код:

C c = new C();
B b = c;
...
c.M(); // вызывается C.M()
b.M(); // вызывается B.M()

Так что на переопределение метода базового класса это, увы, ничуть не похоже. Обращение к объекту через указатель на базовый класс проигнорирует новый метод и по-прежнему использует базовый.

[Alf]

И в завершение темы цитата:

new Modifier
Use the new modifier to explicitly hide a member inherited from a base class. To hide an inherited member, declare it in the derived class using the same name, and modify it with the new modifier.
Consider the following class:
public class MyBaseC
{
   public int x;
   public void Invoke() {}
}
Declaring a member with the name Invoke in a derived class will hide the method Invoke in the base class, that is:
public class MyDerivedC : MyBaseC
{
   new public void Invoke() {}
}

(сами знаете откуда (С) ).

[MOPO3]

Спасибо за столь подробное объяснение. Но я всё ещё немного туплю.
В методе который я привёл

Код:

public class Tester : Demotester
{
     public new int Sum(int a, int b)
     {
          return base.Sum(a, b);
     }
}

пускай и создастся отдельный метод через new, но в результате base.Sum(a, b); вызовет sealed метод из класса родителя , Или я ошибаюсь ?

[MOPO3]

Alf, сорри, тупанул я немного Вопрос последний снимается