Переменная ob также относится к типу Т, поэтому ее тип совпадает с типом, воз вращаемым методом GetOb.

Метод ShowType отображает тип параметра Т, передавая его оператору typeof. Но поскольку реальный тип подставляется вместо Т при создании объекта класса Gen, то оператор typeof получит необходимую информацию о конкретном типе. В классе GenericsDemo демонстрируется применение обобщенного класса Gen.

Сначала в нем создается вариант класса Gen для типа int. Gen<int> iOb;

Внимательно проанализируем это объявление. Прежде всего обратите внимание на то, что тип int указывается в угловых скобках после имени класса Gen. В этом случае int служит аргументом типа, привязанным к параметру типа Т в классе Gen. В данном объявлении создается вариант класса Gen, в котором тип Т заменяется типом int вез де, где он встречается. Следовательно, после этого объявления int становится типом переменной ob и возвращаемым типом метода GetOb.

В следующей строке кода переменной iOb присваивается ссылка на экземпляр объекта класса Gen для варианта типа int. iOb = new Gen<int>(102);

Обратите внимание на то, что при вызове конструктора класса Gen указывается так же аргумент типа int. Это необходимо потому, что переменная (в данном случае — iOb), которой присваивается ссылка, относится к типу Gen. Поэтому ссылка, воз вращаемая оператором new, также должна относиться к типу Gen. В противном случае во время компиляции возникнет ошибка. Например, приведенное ниже при сваивание станет причиной ошибки во время компиляции. iOb = new Gen<double>(118.12); // Ошибка!

Переменная iOb относится к типу Gen и поэтому не может использоваться для ссылки на объект типа Gen. Такой контроль типов относится к одним из главных преимуществ обобщений, поскольку он обеспечивает типовую безопасность. Затем в программе отображается тип переменной ob в объекте iOb — тип System. Int32. Это структура .NET, соответствующая типу int. Далее значение переменной ob получается в следующей строке кода. int v = iOb.GetOb;

Возвращаемым для метода GetOb является тип Т, который был заменен на тип int при объявлении переменной iOb, и поэтому метод GetOb возвращает значение того же типа int. Следовательно, данное значение может быть присвоено переменной v типа int.

Далее в классе GenericsDemo объявляется объект типа Gen<string>. Gen<string> strOb = new Gen<string>("Обобщения повышают эффективность.");

В этом объявлении указывается аргумент типа string, поэтому в объекте класса Gen вместо Т подставляется тип string. В итоге создается вариант класса Gen для типа string, как демонстрируют остальные строки кода рассматриваемой здесь программы.

Прежде чем продолжить изложение, следует дать определение некоторым терми нам. Когда для класса Gen указывается аргумент типа, например int или string, то создается так называемый в C# закрыто сконструированный тип. В частности, Gen является закрыто сконструированным типом. Ведь, по существу, такой обобщенный тип, как Gen, является абстракцией. И только после того, как будет сконструиро ван конкретный вариант, например Gen, создается конкретный тип. А конструк ция, подобная Gen, называется в C# открыто сконструированным типом, поскольку в ней указывается параметр типа Т, но не такой конкретный тип, как int.

В С# чаще определяются такие понятия, как открытый и закрытый типы. Откры тым типом считается такой параметр типа или любой обобщенный тип, для которого аргумент типа является параметром типа или же включает его в себя. А любой тип, не относящийся к открытому, считается закрытым. Сконструированным типом считается такой обобщенный тип, для которого предоставлены все аргументы типов. Если все эти аргументы относятся к закрытым типам, то такой тип считается закрыто сконстру ированным. А если один или несколько аргументов типа относятся к открытым типам, то такой тип считается открыто сконструированным. Различение обобщенных типов по аргументам типа

Что касается обобщенных типов, то следует иметь в виду, что ссылка на один кон кретный вариант обобщенного типа не совпадает по типу с другим вариантом того же самого обобщенного типа. Так, если ввести в приведенную выше программу следую щую строку кода, то она не будет скомпилирована. iOb = strOb; // Неверно!

Несмотря на то что обе переменные, iOb и strOb, относятся к типу Gen, они ссылаются на разные типы, поскольку у них разные аргументы. Повышение типовой безопасности с помощью обобщений

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