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

Глава.4 .Основы.типов
public static void PromoteEmployee(Object o) { 
// В этом месте компилятор не знает точно, на какой тип объекта 
// ссылается o, поэтому скомпилирует этот код
// Однако в период выполнения CLR знает, на какой тип 
// ссылается объект o (приведение типа выполняется каждый раз), 
// и проверяет, соответствует ли тип объекта типу Employee 
// или другому типу, производному от Employee
Employee e = (Employee) o; 
... 
} 
} 
Метод 
Main
создает объект 
Manager
и передает его в 
PromoteEmployee
. Этот 
код компилируется и выполняется, так как тип 
Manager
является производным от 
Object
, на который рассчитан 
PromoteEmployee
. Внутри 
PromoteEmployee
CLR про-
веряет, на что ссылается 
o
— на объект 
Employee
или на объект типа, производного 
от 
Employee
. Поскольку 
Manager
— производный от 
Employee
тип, CLR выполняет 
преобразование, и 
PromoteEmployee
продолжает работу.
После того как 
PromoteEmployee
возвращает управление, 
Main
создает объект 
DateTime
, который передает в 
PromoteEmployee
. Объект 
DateTime
тоже является про-
изводным от 
Object
, поэтому код, вызывающий 
PromoteEmployee
, компилируется 
без проблем. Но при выполнении 
PromoteEmployee
CLR выясняет, что 
o
ссылается 
на объект 
DateTime
, не являющийся ни типом 
Employee
, ни другим типом, произ-
водным от 
Employee
. В этот момент CLR не в состоянии выполнить приведение 
типов и генерирует исключение 
System.InvalidCastException
.
Если разрешить подобное преобразование, работа с типами станет небезопас-
ной. Последствия могут быть непредсказуемы: возможное аварийное завершение 
приложения, возникновение уязвимостей в системе защиты, обусловленных воз-
можностью типов выдавать себя за другие типы. Фальсификация типов подвергает 
серьезному риску устойчивость работы приложений, поэтому столь пристальное 
внимание в CLR уделяется безопасности типов.
В данном примере было бы правильнее выбрать для метода 
Promote Employee
в качестве типа параметра не 
Object
, а 
Employee
, чтобы ошибка проявилась на стадии 
компиляции, а разработчику не пришлось бы ждать исключения, чтобы узнать о суще-
ствовании проблемы. А объект 
Object
я использовал только для того, чтобы показать, 
как обрабатывают операции приведения типов компилятор C# и среда CLR.