C# 4.0: полное руководство - Герберт Шилдт

  }

}

Вот к какому результату приводит выполнение этого кода.

а имеет тип А

b совместим с А, поскольку он производный от А

b имеет тип В

а имеет тип object

Большая часть выражений is в приведенном выше примере не требует пояснений, но два из них необходимо все же разъяснить. Прежде всего, обратите внимание на следующую строку кода.

if (b is А)

  Console.WriteLine("b совместим с А, поскольку он производный от А");

Условный оператор if выполняется, поскольку b является объектом типа В, производным от типа А. Но обратное несправедливо. Так, если в строке кода

if(a is В)

Console.WriteLine("Не выводится, поскольку а не производный от В");

условный оператор if не выполняется, поскольку а является объектом типа А, не производного от типа В. Поэтому а не относится к типу В.

Применение оператора as

Иногда преобразование типов требуется произвести во время выполнения, но не генерировать исключение, если исход этого преобразования окажется неудачным, что вполне возможно при приведении типов. Для этой цели служит оператор as, имеющий следующую общую форму:

выражение as тип

где выражение обозначает отдельное выражение, преобразуемое в указанный тип. Если исход такого преобразования оказывается удачным, то возвращается ссылка на тип, а иначе — пустая ссылка. Оператор as может использоваться только для преобразования ссылок, идентичности, упаковки, распаковки.

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

// Использовать оператор is для предотвращения неправильного приведения типов.

using System;

class A { }

class В : A { }

class CheckCast {

  static void Main() {

    A a = new A();

    В b = new В();

    // Проверить, можно ли привести а к типу В.

    if (a is В) // если да, то выполнить приведение типов

      b = (В)a;

    else // если нет, то пропустить приведение типов

      b = null;

    if (b == null)

      Console.WriteLine("Приведение типов b = (В) HE допустимо.");

    else

      Console.WriteLine("Приведение типов b = (В) допустимо.");

  }

}

Эта программа дает следующий результат.

Приведение типов b = (В) НЕ допустимо.

Как следует из результата выполнения приведенной выше программы, тип объекта а не совместим с типом В, и поэтому его приведение к типу В не допустимо и предотвращается в условном операторе if. Но такую проверку приходится выполнять в два этапа. Сначала требуется убедиться в обоснованности операции приведения типов, а затем выполнить ее. Оба этапа могут быть объединены в один с помощью оператора as, как демонстрирует приведенная ниже программа.

// Продемонстрировать применение оператора as.

using System;

class A {}

class В : A {}

class CheckCast {

  static void Main() {

    A a = new A();

    В b = new В();

    b = a as В; // выполнить приведение типов, если это возможно

    if(b==null)

      Console.WriteLine("Приведение типов b = (В) НЕ допустимо.");

    else

      Console.WriteLine("Приведение типов b = (В) допустимо.");

  }

}

Эта программа дает прежний результат.

Приведение типов b = (В) НЕ допустимо.

В данном варианте программы в одном и том же операторе as сначала проверяется обоснованность операции приведения типов, а затем выполняется сама операция приведения типов, если она допустима.

Применение оператора typeof

Несмотря на всю свою полезность, операторы as и is проверяют лишь совместимость двух типов. Но зачастую требуется информация о самом типе. Для этой цели в C# предусмотрен оператор typeof. Он извлекает объект класса System.Туре для заданного типа. С помощью этого объекта можно определить характеристики конкретного типа данных. Ниже приведена общая форма оператора typeof:

typeof(тип)

где тип обозначает получаемый тип. Информация, описывающая тип, инкапсулируется в возвращаемом объекте класса Туре.

Получив объект класса Туре для заданного типа, можно извлечь информацию о нем, используя различные свойства, поля и методы, определенные в классе Туре. Класс Туре довольно обширен и содержит немало членов, поэтому его рассмотрение придется отложить до следующего раздела, посвященного рефлексии. Но в качестве краткого введения в этот класс ниже приведена программа, в которой используются три его свойства: FullName, IsClass и IsAbstract. Для получения полного имени типа служит свойство FullName. Свойство IsClass возвращает логическое значение true, если тип относится к классу. А свойство IsAbstract возвращает логическое значение true, если класс является абстрактным.

// Продемонстрировать применение оператора typeof.

using System;

using System.IO;

class UseTypeof {

  static void Main() {

    Type t = typeof(StreamReader);

    Console.WriteLine(t.FullName);

    if (t.IsClass)

      Console.WriteLine("Относится к классу.");

    if (t.IsAbstract)

      Console.WriteLine("Является абстрактным классом.");

    else

      Console.WriteLine("Является конкретным классом.");

  }

}

Эта программа дает следующий результат.

System.10.StreamReader

Относится к классу.

Является конкретным классом.

В данной программе сначала извлекается объект класса Туре, описывающий тип StreamReader. Затем выводится полное имя этого типа данных и определяется его принадлежность к классу, а далее — к абстрактному или конкретному классу.

Рефлексия

Рефлексия — это средство, позволяющее получать сведения о типе данных. Термин рефлексия, или отражение, происходит от принципа действия этого средства: объект класса Туре отражает базовый тип, который он представляет. Для получения информации о типе данных объекту класса Туре делаются запросы, а он возвращает (отражает) обратно информацию, связанную с определяемым типом. Рефлексия является эффективным механизмом, поскольку она позволяет выявлять и использовать возможности типов данных, известные только во время выполнения.

Многие классы, поддерживающие рефлексию, входят в состав прикладного интерфейса .NET Reflection API, относящегося к пространству имен System.Reflection. Поэтому для применения рефлексии в код программы обычно вводится следующая строка.

using System.Reflection;

Класс System.Type - ядро подсистемы рефлексии

Класс System.Туре составляет ядро подсистемы рефлексии, поскольку он инкапсулирует тип данных. Он содержит многие свойства и методы, которыми можно пользоваться для получения информации о типе данных во время выполнения. Класс Туре является производным от абстрактного класса System.Reflection.MemberInfо.

В классе MemberInfо определены приведенные ниже свойства, доступные только для чтения.

Свойство - Описание

Type DeclaringType - Тип класса или интерфейса, в котором объявляется отражаемый член

MemberTypes  MemberType - Тип члена. Это значение обозначает, является ли член полем, методом, свойством, событием или конструктором