
- •1. Понятие модуля. Принципы модульного программирования. Понятие объекта как динамического модуля.
- •2. Понятие класса. Понятие метода. Представление метода в виде обычной процедуры. Понятие конструктора и деструктора.
- •3. Понятие свойства. Методы получения и установки значений свойств. Свойства-массивы (в некоторых языках программирования). Индексаторы (в некоторых языках программирования).
- •Информация о типе времени выполнения программы
- •5. Классы в программных модулях. Атрибуты доступа к элементам объектов. Термин «инкапсуляция».
- •Термин «инкапсуляция»
- •Virtual – в базовом классе
- •7. Понятие ссылки на метод объекта (или делегата – в зависимости от языка программирования). Понятие события. Применение ссылок на методы для расширения объектов.
- •8. Понятие метакласса (в некоторых языках программирования). Методы, применяемые к классам. Виртуальные конструкторы (в некоторых языках).
- •Понятие метакласса (в некоторых языках программирования)
- •Виртуальные конструкторы (в некоторых языках)
- •3) Finally – вызвать free.
- •Если глобально-уникальный идентификатор назначается интерфейсу, то он записывается после ключевого слова interface и заключается в квадратные скобки, например:
- •Microsoft Visual Studio
- •Import Network;
- •Var Stat: SocketStat;
- •Var SocketStatCollection: … ;
- •Конструкторы и деструкторы
- •Стандартные конструкторы
- •Создание объектов по значению (на стеке) и по ссылке (в динамической памяти)
- •Операторы new и delete
- •Размещающий оператор new
- •Порядок конструирования и разрушения объектов
- •Вложенные определения классов
- •«Друзья» класса
- •Статические члены класса
- •19. Перегрузка бинарных операторов. Перегрузка унарных операторов. Перегрузка операторов преобразования типа.
- •Индексаторы
- •Механизм вызова событий
- •Создание пользовательских обобщенных коллекций
- •Создание обобщенных интерфейсов
- •Несколько слов о вложенных делегатах
- •25. Понятие итератора в языке c#. Оператор foreach. Оператор yield.
- •И напоследок... Блок finally
- •26. Понятие атрибутов в языке c#. Создание пользовательских атрибутов. Анализ атрибутов во время выполнения программы. Понятие рефлексии (reflection) в языке c#. Сериализация объектов.
- •Что такое метаданные и зачем они нужны?
- •1. Метаданные в .Net обязательны и универсальны.
- •2. Метаданные в .Net общедоступны.
- •3. Метаданные в .Net исчерпывающи.
- •4. Метаданные в .Net расширяемы.
- •5. Метаданные в .Net конструируемы программно.
- •Получение экземпляра класса Type
- •Динамическая загрузка сборок
- •Динамическая загрузка типов
- •Исследование типа
- •Характеристики типа как целого
- •Члены класса
- •Исследование объекта
- •Динамическое создание объекта и вызов методов
- •Создание объекта по его типу
- •Декларативное программирование
- •Новые механизмы абстракции?
- •Динамическое создание типов
- •Роль графов объектов
- •Formatter сериализации
- •XmlSerializer
- •Интерфейсы iFormatter и iRemotingFormatter
- •Точность типов среди форматеров
- •28*. Ооп в языке программирования Smalltalk. Достоинства и недостатки этого языка в сравнениии с языком программирования c#.
Исследование типа
Имея в руках объект Type, можно начинать исследовать структуру типа, который он описывает (перебирать поля, методы, события, свойства, вложенные типы...).
Характеристики типа как целого
Класс Type содержит больше трёх десятков методов, позволяющих получать информацию об описываемом типе. Так можно узнать какое-либо свойство типа или наличие (и значение) определённого атрибута, выяснить принадлежность типа к некоторому семейству. Вот некоторые их этих методов:
IsAbstract |
Является ли тип абстрактным классом или интерфейсом. |
IsClass |
Класс ли это? (т.е. не value type и не интерфейс) |
IsSealed |
Может ли тип иметь наследников? |
IsInterface |
Это интерфейс? (Заметьте, интерфейс - это не класс!) |
IsCOMObject |
А уж не COM-объект ли скрывается под видом класса .Net? |
IsValueType |
Это value type (тип-значение)? |
IsEnum |
Это перечисление? |
IsPrimitive |
Не является ли тип примитивным (т.е. одним из bool, byte, sbyte, short, ushort, int, uint, long, ulong, char, double, float)? |
IsArray |
Является ли тип массивом. Тип элементов массива можно получить с помощью свойства ElementType. |
IsPointer |
Является ли тип ссылкой? Тип указываемого объекта можно получить с помощью свойства ElementType. |
IsByRef |
А уж не тип ли это параметра, передаваемого по ссылке? Если да, то тип передаваемого объекта можно получить с помощью свойства ElementType. |
HasElementType |
HasElementType = IsArray || IsPointer || IsByRef. Т.е. тип является не самостоятельным типом, а лишь "производным от" ElementType. |
Вот, например, как можно с помощью этих свойств получить описание семейства типа:
string GetTypeDescription(Type type) { return type.IsClass ? "class" : type.IsInterface ? "interface" : type.IsArray ? "array" : type.IsEnum ? "enum" : type.IsValueType ? "struct" : ""; } |
Члены класса
Для получения информации о членах класса имеется несколько групп методов (далее – семейств). Каждая группа обеспечивает получение информации об определённом типе членов класса. Например, информацию только о конструкторах класса, или только о его полях. Но есть одна группа методов, которые позволяют получать информацию сразу обо всех членах класса. Это семейство методов GetMembers.
public MemberInfo[] GetMembers(); public abstract MemberInfo[] GetMembers(BindingFlags); |
В каждом семействе имеется не меньше двух методов, аналогичных приведенным выше. Один из этих методов возвращает массив, содержащий информацию об открытых (public) членах, а другой позволяет указать, информацию о каких членах класса следует возвращать. Например, если передать в качестве параметра BindingFlags.Public | BindingFlags.Instance, будут возвращены все открытые нестатические члены класса. Если вам нужна информация ещё и о статических членах, нужно добавить ещё один флагBindingFlags.Static. А если вас интересуют не только открытые, но и закрытые члены, следует использовать флаг BindingFlags.NonPublic.
Ниже перечислены основные семейства методов класса Type, используемые для получения информации о членах класса.
GetConstructors |
Получение информации о конструкторах класса. Возвращает массив элементов типа ConstructorInfo. |
GetCustomAttributes |
Получение информации об атрибутах класса. Возвращает массив объектов-атрибутов. |
GetEvents |
Получение информации о событиях, поддерживаемых классом. Возвращает массив элементов типа EventInfo. |
GetFields |
Получение информации о полях класса. Возвращает массив элементов типа FieldInfo. |
GetInterfaces |
Получение информации об интерфейсах, реализованных или унаследованных классом. Возвращает массив элементов типа Type. |
GetMembers |
Получение информации о членах класса (включая свойства, методы, поля, события и т.д.) Возвращает массив элементов типа MemberInfo. |
GetMethods |
Получение информации о методах класса. Возвращает массив элементов типа MethodInfo. |
GetNestedTypes |
Получение информации о вложенных типах класса. Возвращает массив элементов типа Type. |
GetProperties |
Получение информации о свойствах (properties) класса. Возвращает массив элементов типа PropertyInfo. |
GetTypeArray |
Получение информации о типе элементов массива (если рассматриваемый тип является массивом). Возвращает соответствующий объект Type. |
Поскольку и конструкторы, и поля, и события, и методы, и свойства - это всё члены класса, то совершенно логично, что соответствующие им типы метаданных, (ConstructorInfo,EventInfo, FieldInfo, MethodInfo, PropertyInfo) унаследованы от типа MemberInfo.
Давайте рассмотрим пример получения информации обо всех конструкторах класса.
public static string TraceCtorsOf(Type type) { string trace = ""; ConstructorInfo[] arrCI = type.GetConstructors(); foreach (ConstructorInfo ci in arrCI) { trace += (ci.IsStatic ? "static " : "") + (ci.IsPrivate ? "private " : "") + (ci.IsFamily ? "protected " : "") + (ci.IsAssembly ? "internal " : "") + ci.Name; ParameterInfo[] arrParamInfo = ci.GetParameters(); trace += "("; for (int i = 0; i != arrParamInfo.Length; i++) { ParameterInfo parInf = arrParamInfo[i]; trace += (i != 0 ? ", " : "") + (parInf.IsIn ? "in " : "") + (parInf.IsOut ? "out " : "") + (parInf.IsOptional ? "optional ": "") + (parInf.IsLcid ? "lcid " : "") + parInf.ParameterType.Name + " " + parInf.Name + ((parInf.DefaultValue != DBNull.Value) ? (" = " + parInf.DefaultValue) : "") ; } trace += ");\r\n"; } return trace; } |
В этом примере вы можете видеть, каким способом извлекается информация о параметрах методов. Каждая структура данных, отвечающая за методы-члены (EventInfo, MethodInfo, ConstructorInfo), имеет метод GetParameters(), возвращающий массив элементов типа ParameterInfo. Каждый элемент этого массива описывает отдельный параметр метода: его тип, имя, значение по умолчанию, направление передачи данных (in/out) и др.
Надеюсь, я убедил вас, что в получении информации о типах нет ничего сложного. Информации этой много, и она очень подробна, но извлекать её довольно просто (особенно когда точно знаешь, что именно тебе нужно).