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

Глава.16 .Массивы
‰
Распаковка элементов ссылочного типа в элементы значимого типа, например 
копирование 
Object[]
в 
Int32[]
.
‰
Расширение (widening) примитивных значимых типов, например копирование 
Int32[]
в 
Double[]
.
‰
Понижающее приведение в случаях, когда совместимость массивов невозможно 
определить по их типам. Сюда относится, к примеру, приведение массива типа 
Object[]
в массив типа 
IFormattable[]
. Если все объекты в массиве 
Object[]
реализуют интерфейс 
IFormattable[]
, приведение пройдет успешно.
Вот еще один пример применения метода 
Copy
:
// Определение значимого типа, реализующего интерфейс
internal struct MyValueType : IComparable {
public Int32 CompareTo(Object obj) {
...
}
}
public static class Program {
public static void Main() {
// Создание массива из 100 элементов значимого типа
MyValueType[] src = new MyValueType[100];
// Создание массива ссылок IComparable
IComparable[] dest = new IComparable[src.Length];
// Присваивание элементам массива IComparable ссылок на упакованные
// версии элементов исходного массива
Array.Copy(src, dest, src.Length);
}
}
Нетрудно догадаться, что FCL достаточно часто использует достоинства метода 
Array.Copy
.
Бывают ситуации, когда полезно изменить тип массива, то есть выполнить его 
ковариацию
(array covariance). Однако следует помнить, что эта операция сказы-
вается на производительности. Допустим, вы написали такой код:
String[] sa = new String[100];
Object[] oa = sa; // oa ссылается на массив элементов типа String
oa[5] = "Jeff"; // CLR проверяет принадлежность oa к типу String; 
// Проверка проходит успешно
oa[3] = 5; // CLR проверяет принадлежность oa к типу Int32;
// Генерируется исключение ArrayTypeMismatchException
В этом коде переменная 
oa
, тип которой определен как 
Object[]
, ссылается на 
массив типа 
String[]
. Затем вы пытаетесь присвоить одному из элементов этого 
массива значение 5, относящееся к типу 
Int32
, производному от типа 
Object
. 
Естественно, CLR проверяет корректность такого присваивания, то есть в про-

---

423
Базовый.класс.System Array
цессе выполнения контролирует наличие в массиве элементов типа 
Int32
. В дан-
ном случае такие элементы отсутствуют, что и становится причиной исключения 
ArrayTypeMismatchException
.