Net framework 5, а также среды Visual Studio 2012 и C#

Глава.12 .Обобщения
необобщенного метода 
Display
, получающего 
String
. Во втором случае компилятор 
не может вызвать необобщенный метод 
Display
, получающий 
String
, поэтому он 
вызывает обобщенный метод 
Display
. Кстати, очень удачно, что компилятор всегда 
выбирает более явное соответствие. Ведь если бы компилятор выбрал обобщенный 
метод 
Display
, тот вызвал бы метод 
ToString
, возвращающий 
String
, что привело 
бы к бесконечной рекурсии.
В третьем вызове метода 
Display
задается обобщенный аргумент типа 
String
. 
Для компилятора это означает, что не нужно пытаться логически вывести аргу-
менты типа, а нужно использовать указанные аргументы типа. В данном случае 
компилятор также считает, что непременно нужно вызвать обобщенный метод 
Display
, поэтому он его и вызывает. Внутренний код обобщенного метода 
Display
вызывает 
ToString
для переданной ему строки, а полученная в результате строка 
затем передается необобщенному методу 
Display
.
Обобщения и другие члены
В языке C# у свойств, индексаторов, событий, операторных методов, конструкторов 
и деструкторов не может быть параметров-типов. Однако их можно определить 
в обобщенном типе с тем, чтобы в их коде использовать параметры-типы этого 
типа.
C# не поддерживает задание собственных обобщенных параметров типа у этих 
членов, поскольку создатели языка С# из компании Microsoft считают, что раз-
работчикам вряд ли потребуется задействовать эти члены в качестве обобщенных. 
К тому же для поддержки обобщенного использования этих членов в С# пришлось 
бы разработать специальный синтаксис, что довольно затратно. Например, при 
использовании в коде оператора 
+
компилятор может вызвать перегруженный 
операторный метод. Невозможно указать в коде, где есть оператор 
+
, какие бы то 
ни было аргументы типа.