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

ВниМание
Иногда.разработчики.спрашивают,.почему.они.должны.явно.указывать.слово.in.или.
out.в.параметрах.обобщенного.типа .Они.полагают,.что.компилятор.может.само-
стоятельно.проверить.объявление.делегатов.или.интерфейсов.и.автоматически.
определить,.являются.ли.параметры.обобщенного.типа.контравариантными.или.
ковариантными .Несмотря.на.то.что.компилятор.действительно.может.это.опреде-
лять.автоматически,.разработчики.языка.C#.считают,.что.при.определении.контракта.
следует.указывать.эти.слова.в.явном.виде .Представьте,.что.компилятор.определил,.
что.параметр.обобщенного.типа.контравариантен,.а.затем.в.будущем.в.интерфейс.
будет.добавлен.член.с.параметром-типом.в.выходной.позиции .В.следующий.раз.
при.компиляции.компилятор.определит,.что.этот.параметр-тип.инвариантен,.но.в.тех.
местах.кода,.где.используется.факт.контравариантности.параметра-типа,.могут.
возникнуть.ошибки 
По.этой.причине.разработчики.компилятора.требуют.точно.определять.параметр-
тип .При.попытке.использования.этого.параметра-типа.в.контексте,.не.соответ-
ствующем.объявлению,.компилятор.выдаст.ошибку.с.сообщением.о.нарушении.
контракта .Если.потом.вы.решите.исправить.код.путем.добавления.in.или.out.для.
параметров-типов,.вам.придется.внести.изменения.в.программный.код,.исполь-
зующий.старый.контракт 
Обобщенные методы
При определении обобщенного ссылочного и значимого типа или интерфейса 
все методы, определенные в этих типах, могут использовать их параметр-тип. 
Параметр-тип может использоваться для параметров метода, возвращаемого 
значения метода или типа заданной внутри него локальной переменной. Но CLR 
также позволяет методу иметь собственные параметры-типы, которые могут при-
меняться для параметров, возвращаемых значений или локальных переменных. 
Вот немного искусственный пример типа, в котором определяются параметр-тип 
и метод с собственным параметром-типом:
internal sealed class GenericType {
private T m_value;
public GenericType(T value) { m_value = value; }
public TOutput Converter() {
TOutput result = (TOutput) Convert.ChangeType(m_value, typeof(TOutput));
продолжение


---

320