Console.WriteLine("Не выводится, поскольку а не производный от В");
if(b is В)
Console.WriteLine("В имеет тип В"); if(a is object)
Console.WriteLine("а имеет тип object");
}
}
Вот к какому результату приводит выполнение этого кода.
а имеет тип А
b совместим с А, поскольку он производный от А b имеет тип В а имеет тип object
Большая часть выражений i s в приведенном выше примере не требует пояснений, но два из них необходимо все же разъяснить. Прежде всего, обратите внимание на следующую строку кода.
if (b is А)
Console.WriteLine("b совместим с А, поскольку он производный от А");
Условный оператор if выполняется, поскольку b является объектом типа В, производным от типа-А. Но обратное несправедливо. Так, если в строке кода
if(a is В)
Console.WriteLine("Не выводится, поскольку а не производный от В");
условный оператор i f не выполняется, поскольку а является объектом типа А, не производного от типа В. Поэтому а
Применение оператора as
Иногда преобразование типов требуется произвести во время выполнения, но не генерировать исключение, если исход этого преобразования окажется неудачным, что вполне возможно при приведении типов. Для этой цели служит оператор as, имеющий следующую общую форму:
где
Внекоторых случаях оператор as может служить удобной альтернативой оператору is.Вкачестве примера рассмотрим следующую программу, в которой оператор is используется для предотвращения неправильного приведения типов.
// Использовать оператор is для предотвращения неправильного приведения типов.
using System;
class А {} class В : А {}
class CheckCast {
static void Main {
A a = new A;
В b = new В ;
// Проверить, можно ли привести а к типу В. if(a is В) // если да, то выполнить приведение типов b = (В) а;
else // если нет, то пропустить приведение типов b = null;
if(b==null)
Console.WriteLine("Приведение типов b = (В) HE допустимо."); else
Console.WriteLine("Приведение типов b = (В) допустимо.");
Эта программа дает следующий результат.
Приведение типов b = (В) НЕ допустимо.