Полное руководство. С# 4.0
Шрифт:
В некоторых случаях оператор 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 = (В) НЕ
Как следует из результата выполнения приведенной выше программы, тип объекта а не совместим с типом В, и поэтому его приведение к типу В не допустимо и предот вращается в условном операторе 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 проверяют лишь совмести мость двух типов. Но зачастую требуется информация о самом типе. Для этой цели в С# предусмотрен оператор 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.IO.StreamReader Относится к классу. Является конкретным классом.
В данной программе сначала извлекается объект класса Туре, описывающий тип StreamReader. Затем выводится полное имя этого типа данных и определяется его принадлежность к классу, а далее — к абстрактному или конкретному классу. Рефлексия
Рефлексия — это средство, позволяющее получать сведения о типе данных. Термин рефлексия, или отражение, происходит от принципа действия этого средства: объект класса Туре отражает базовый тип, который он представляет. Для получения инфор мации о типе данных объекту класса Туре делаются запросы, а он возвращает (отра жает) обратно информацию, связанную с определяемым типом. Рефлексия является эффективным механизмом, поскольку она позволяет выявлять и использовать возмож ности типов данных, известные только во время выполнения.
Многие классы, поддерживающие рефлексию, входят в состав прикладного интер фейса .NET Reflection API, относящегося к пространству имен System.Reflection. Поэтому для применения рефлексии в код программы обычно вводится следующая строка. using System.Reflection; Класс System.Type - ядро подсистемы рефлексии
Класс System.Туре составляет ядро подсистемы рефлексии, поскольку он ин капсулирует тип данных. Он содержит многие свойства и методы, которыми можно пользоваться для получения информации о типе данных во время выполнения. Класс Туре является производным от абстрактного класса System.Reflection. MemberInfo.
В классе MemberInfo определены приведенные ниже свойства, доступные только для чтения. Свойство Описание Type DeclaringType Тип класса или интерфейса, в котором объявляется отражаемый член MemberTypes MemberTypesТип члена. Это значение обозначает, является ли член полем, методом, свойством, событием или конструктором int MetadataToken Значение, связанное к конкретными метаданными Module Module Объект типа Module, представляющий модуль (исполняемый файл), в котором находится отражаемый тип string Name Имя типа Type ReflectedType Тип отражаемого объекта
Следует иметь в виду, что свойство MemberType возвращает тип MemberTypes — перечисление, в котором определяются значения, обозначающие различные типы чле нов. К их числу относятся следующие. MemberTypes.Constructor MemberTypes.Method MemberTypes.Field MemberTypes.Event MemberTypes.Property
Следовательно, тип члена можно определить, проверив свойство MemberType. Так, если свойство MemberType имеет значение MemberTypes.Method, то проверяемый член является методом.
В класс MemberInfo входят два абстрактных метода: GetCustomAttributes и IsDefined. Оба метода связаны с атрибутами. Первый из них получает список специальных атрибутов, имеющих отношение к вызывающему объекту, а второй уста навливает, определен ли атрибут для вызывающего метода. В версию .NET Framework Version 4.0 внедрен метод GetCustomAttributesData, возвращающий сведения о специальных атрибутах. (Подробнее об атрибутах речь пойдет далее в этой главе.)
Класс Туре добавляет немало своих собственных методов и свойств к числу тех, что определены в классе MemberInfo. В качестве примера ниже перечислен ряд наиболее часто используемых методов класса Туре. Метод Назначение ConstructorInfo[] GetConstructors Получает список конструкторов для заданного типа EventInfo[] GetEvents Получает список событий для заданного типа FieldInfo[] GetFields Получает список полей для заданного типа Type[] GetGenericArguments Получает список аргументов типа, связанных с закрыто сконструированным обобщенным типом, или же список параметров типа, если заданный тип определен как обобщенный. Для открыто сконструированного типа этот список может содержать как аргументы, так и параметры типа. (Более подробно обобщения рассматриваются в главе 18.) MemberInfо[] GetMembers Получает список членов для заданного типа MethodInfo[] GetMethods Получает список методов для заданного типа PropertyInfo[] GetProperties Получает список свойств для заданного типа
Далее приведен ряд наиболее часто используемых свойств, доступных только для чтения и определенных в классе Туре. Свойство Назначение Assembly Assembly Получает сборку для заданного типа TypeAttributes Attributes Получает атрибуты для заданного типа Type BaseType Получает непосредственный базовый тип для заданного типа string FullName Получает полное имя заданного типа bool IsAbstract Истинно, если заданный тип является абстрактным bool IsArray Истинно, если заданный тип является массивом bool IsClass Истинно, если заданный тип является классом bool IsEnum Истинно, если заданный тип является перечислением bool IsGenericParameter Истинно, если заданный тип является параметром обобщенного типа. (Более подробно обобщения рассматриваются в главе 18.) bool IsGenericType Истинно, если заданный тип является обобщенным. (Более подробно обобщения рассматриваются в главе 18.) string Namespace Получает пространство имен для заданного типа Применение рефлексии