Оператор as. Этот пример иллюстрирует различные результаты, к которым может привести применение оператора is

Как это работает

Этот пример иллюстрирует различные результаты, к которым может привести применение оператора is. В программе определяются четыре класса, интерфейс и структура, в дальнейшем используемые как параметры метода класса, в котором оператор is проверяет, могут ли они быть преобразованы в тип ClassA, в тип интерфейса и в тип структуры.

Совместимыми с классом ClassA являются только сам ClassA и ClassD (он наследуется от класса ClassA). Типы, которые не наследуются от данного класса, не являются совместимыми с названным классом.

В типах ClassA, ClassB и MyStruct реализован интерфейс IMyInterface, поэтому все они совместимы с типом IMyInterface. Класс ClassD наследуется от класса ClassA, поэтому он также является совместимым. Следовательно, несовместимым с типом IMyInterface оказывается только ClassC.

Наконец, только переменные собственно типа MyStruct и переменные, полученные в результате упаковки этого типа, оказываются совместимыми с MyStruct, поскольку возможности преобразовывать ссылочные типы в значимые типы не существует (за исключением того, что мы можем выполнить процедуру распаковки для тех переменных, для которых ранее была выполнена процедура упаковки).

Оператор as осуществляет преобразование типа в заданный ссылочный тип с помощью следующего синтаксиса:

<операнд> as <тип>

Использование этой возможности допускается только при наличии определенных обстоятельств:

• Если <операнд> имеет тип <тип>.

• Если <операнд> может быть неявно преобразован в тап <тип>.

• Если <операнд> может быть преобразован в тип <тип> в результате процедуры упаковки.

Если <операнд> может быть преобразован в <тип> явным образом, то результатом вычисления этого выражения будет null. Например, в предыдущей программе существует возможность явного преобразования между типами classA и classD, который наследуется от класса classA. В результате выполнения следующего кода:

ClassA obj1 = new ClassA ();

ClassD obj2 = obj1 as ClassD;

obj2 будет присвоен null.

Однако если переменная типа classA содержит экземпляр переменной типа classD, то этот оператор будет работать:

ClassD obj1 = new ClassD();

ClassA obj2 = obj1;

ClassD obj3 = obj2 as ClassD;

В данном случае в переменной obj3 вместо null будет содержаться ссылка на тот же самый объект, что и в переменной objl.

Это делает оператор as очень полезным, поскольку выполнение следующего кода приведет к возникновению исключительной ситуации:

ClassD obj2 = (ClassD)obj1;

А вот выполнение аналогичного кода с использованием оператора as приведет к тому, что переменной obj2 будет просто присвоено значение null. Вследствие этого код, аналогичный приведенному ниже (в нем используются два класса, созданных нами ранее: класс Animal и класс Cow, производный от класса Animal), является совершенно обычным для приложений на С#:

public void MilkCow{Animal myAnimal)

{

Cow myCow = myAnimal as Cow;

if (myCow!= null)

{

myCow Milk()

}

Дата добавления: 2014-01-04