Полное руководство. С# 4.0

В этом коде значение переменной strOb присваивается переменной iOb. Но пере менная strOb ссылается на объект, содержащий символьную строку, а не целое зна чение. Такое присваивание оказывается верным с точки зрения синтаксиса, поскольку все ссылки на объекты класса NonGen одинаковы, а значит, по ссылке на один объект класса NonGen можно обращаться к любому другому объекту класса NonGen. Тем не менее такое присваивание неверно с точки зрения семантики, как показывает следую щая далее закомментированная строка кода. В этой строке тип, возвращаемый мето дом GetOb, приводится к типу int, а затем предпринимается попытка присвоить полученное в итоге значение переменной int. К сожалению, в отсутствие обобщений компилятор не сможет выявить подобную ошибку. Вместо этого возникнет исключи тельная ситуация во время выполнения, когда будет предпринята попытка приведения к типу int. Для того чтобы убедиться в этом, удалите символы комментария в начале данной строки кода, скомпилируйте, а затем выполните программу. При ее выполне нии возникнет ошибка.

Упомянутая выше ситуация не могла бы возникнуть, если бы в программе исполь зовались обобщения. Компилятор выявил бы ошибку в приведенной выше последо вательности кода, если бы она была включена в обобщенную версию программы, и со общил бы об этой ошибке, предотвратив тем самым серьезный сбой, приводящий к исключительной ситуации при выполнении программы. Возможность создавать типизированный код, в котором ошибки несоответствия типов выявляются во время компиляции, является главным преимуществом обобщений. Несмотря на то что в C# всегда имелась возможность создавать "обобщенный" код, используя ссылки на объек ты, такой код не был типизированным, т.е. не обеспечивал типовую безопасность, а его неправильное применение могло привести к исключительным ситуациям во время выполнения. Подобные ситуации исключаются благодаря обобщениям. По существу, обобщения переводят ошибки при выполнении в разряд ошибок при компиляции. В этом и заключается основная польза от обобщений.

В рассматриваемой здесь необобщенной версии программы имеется еще один любопытный момент. Обратите внимание на то, как тип переменной ob экземпляра класса NonGen создается с помощью метода ShowType в следующей строке кода. Console.WriteLine("Тип переменной ob: " + ob.GetType);

Как пояснялось в главе 11, в классе object определен ряд методов, доступных для всех типов данных. Одним из них является метод GetType, возвращающий объект класса Туре, который описывает тип вызывающего объекта во время выполнения. Сле довательно, конкретный тип объекта, на который ссылается переменная ob, становит ся известным во время выполнения, несмотря на то, что тип переменной ob указан в исходном коде как object. Именно поэтому в среде CLR будет сгенерировано ис ключение при попытке выполнить неверное приведение типов во время выполнения программы. Обобщенный класс с двумя параметрами типа