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

Cupko — Tue, 30 Sep 2014 11:40:37 GMT

Итак, не так давно натолкнулся на следующую задачку:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
class Program
{
    static void Main(string[] args)
    {
        var obj = new DerivedClass();
        obj.SomeMethod(5);
    }
}
 
class BaseClass
{
    internal void SomeMethod(int a) { }
}
 
class DerivedClass : BaseClass
{
    internal void SomeMethod(long a) { }
}

Собственно, сам вопрос был "Метод какого класса выполнится при передаче интового значения?".

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

Мне смогли помочь с ответом, дав ссылку на спецификацию.

Давайте попробуем разобраться в этом:

Итак,

компилятор берет набор всех перегруженных методов объекта наследуемого типа (DerivedClass);
компилятор проходит по каждому методу, и проверяет на условия:
- если сигнатура метода не подходит (про проверку подробнее тут), то это метод исключается из набора;
- если сигнатура метода подходит, то все методы, объявленные в базовом типе, исключаются из набора.

В принципе, ответ на вопрос получен. Но осталось недопонимание, что происходит с методами базового типа, если не было найдено ни единого подходящего в объекте нашего наследованного типа. Ибо в спецификации написано следующее:

If the resulting set of candidate methods is empty, then no applicable methods exist, and a compile-time error occurs.

при этом упоминания о заполнении исходного набора методов, методами базового типа, нет. Но это уже другой вопрос.

Upd: здесь более подробно описаны этот и другие интересные ситуации перегрузки методов.

Форум программистов и сисадминов Киберфорум - Блоги - Cupko

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