В MSDN такие методы называются не обобщенными методами обобщенного класса, что ни чем не лучше моей формулировки в вопросе. В спецификации такой вариант тоже не рассматривается отдельно. Ок, раз ни где ни чего конкретно не написано спросим у самой CLR, в конце концов именно ей исполнять все что мы понаписали.
Итак, начнем с объявления класса
.class public auto ansi beforefieldinit ConsoleApplication.SomeClass`1<T>
Интересный момент: `1 - цифры после апострофа означают число параметров типа, но главная задача этой прибавки - расширение имени класса. Таким образом у нас может быть два класса с одинаковым именем и разным количеством обобщающих параметров включая не обобщенный класс без параметров.
Объявления методов (тело опускаю, т.к. не важно в данном случае):
Не обобщенный метод
.method public hidebysig
instance void DoSomething (
int32 x //тип указан явно
) cil managed
Явно обобщенный метод
.method public hidebysig
instance void DoSomething<U> (
!!U x //обратите внимание на два восклицательных знака
) cil managed
Два восклицательных знака сообщают JITу что конкретный тип нужно искать в обобщающих параметрах метода
Не обобщенный метод с параметром обобщенного типа класса
.method public hidebysig
instance void DoSomething (
!T x //тут только один восклицательный знак
) cil managed
Один восклицательный знак сообщает JITу что конкретный тип нужно искать в обобщающих параметрах класса.
Ок, уже что-то, теперь взглянем на то, как эти методы вызываются:
Не обобщенный метод
call instance void class ConsoleApplication.SomeClass`1<int32>::DoSomething(int32)
тип параметра указывается явно
Явно обобщенный метод
call instance void class ConsoleApplication.SomeClass`1<int32>::DoSomething<int32>(!!0)
тип параметра указывается ссылкой на параметр с индексом 0 в списке обобщающих параметров метода
Не обобщенный метод с параметром обобщенного типа класса
call instance void class ConsoleApplication.SomeClass`1<int32>::DoSomething(!0)
тип параметра указывается ссылкой на параметр с индексом 0 в списке обобщающих параметров класса
Получается, что в текущей реализации мы имеем два вида обобщенных методов - явные и неявные. В обоих случаях JITу потребуются дополнительные действия при компиляции данных методов для разрешения типов, т.к. в обоих случаях при вызове указана только ссылка на элемент списка обобщающих параметров.
Итого для конкретной реализации компилятора/JIT/VM:
Есть два типа методов - обобщенные и не обобщенные.
Обобщенные методы могут быть обобщенными явно и неявно.
Приоритет при выборе перегруженного метода при прочих равных условиях:
- не обобщенный
- неявно обобщенный
- явно обобщенный
В спецификации эту информацию найти можно, но только косвенно, прямых упоминаний нет, видимо понадеялись на логику читающих.
PS: Если есть другое объяснение, с удовольствием его прочитаю в вашем ответе.