Перегрузка C# с переопределением

Question

Я, безусловно, могу ответить на этот вопрос сам, написав фиктивный тест, но хочу знать, что люди думают по этому вопросу. Вот он:

Какой метод будет вызывать, когда у нас есть одновременно перегрузка и переопределение? Я рассматриваю только перегрузку типа, а не перегрузку arity и когда тип перегрузки связан.

Позвольте мне бросить вам пример:

class AA {} 
class BB : AA {} 

class A { 
    public virtual void methodA(AA anAA) { Console.Write("A:methodA(AA) called"); } 
    public virtual void methodA(BB aBB) { Console.Write("A:methodA(BB) called"); } 
} 

class B : A { 
    public override void methodA(AA anAA) { Console.Write("B:methodA(AA) called"); } 
} 

new B().methodA(new BB());  // Case 1 
new B().methodA(new AA());  // Case 2 
new B().methodA((AA)new BB()); // Case 3 

Можете ли вы сказать, что произойдет в случае 1, 2 и 3?

Я лично считаю, что перегрузка является злом и что нет постоянного мышления, которое могло бы привести к предсказуемому ответу. И это полностью основано на соглашении, реализованном в компиляторе + vm.

EDIT: Если у вас есть какие-то сомнения о том, почему перегрузка зло вы можете прочитать сообщение в блоге от Gilad Brach

Благодарности

Answer 1

Перегруженные методы исключены из набора метода, когда компилятор определяет, какой метод для вызова. См. Алгоритм member lookup. Так что, когда вы звоните methodA по типу B, набор элементов с именем methodA от типа B и это базовый тип будет построен:

override B.methodA(AA) 
virtual A.methodA(AA) 
virtual A.methodA(BB) 

Затем члены с ovveride модификатором удаляется из набора:

virtual A.methodA(AA) 
virtual A.methodA(BB) 

Эта группа методов является результатом поиска. После этого применяется overload resolution, чтобы определить, какой элемент вызывать.

1. A.methodA(BB) вызывается, потому что его аргумент соответствует параметру.
2. A.methodA(AA) будет выбран, но это виртуальный метод, поэтому на самом деле назвать идет к B.method(AA)
3. То же, что вариант 2

Answer 2

Нет, это вполне предсказуемо. Сначала определяется сигнатура метода, то есть сначала определяется перегрузка . Затем вызывается самый переопределенный метод. Таким образом, выходной сигнал будет:

• А: Methoda (ВВ) называется
• Б: Methoda (АА) называется
• Б: Methoda (АА) называется

Метод принимает экземпляр АА будет вызываться во вторых двух случаях, потому что это тип ссылки, которая передается, и это версия B, которая вызывается.Обратите внимание, что даже это приведет к тому же результату:

A instance = new B(); 
instance.methodA((AA)new BB()); // Case 3 

Answer 3

Я думаю, что результат будет таким

случай 1: Console.Write ("A: Methoda (BB) называется");

кейс 2: Console.Write ("B: methodA (AA), называемый");

case 3: Console.Write ("B: методA (AA), называемый");

в случае 3 будет выглядеть тот тип, который он прошел, и это B