Перечни .NET (как вы помните) получаются из класса System.Enum, производного от System.ValueType (и, таким образом, тоже должны быть изолированными). Чтобы определить перечень в терминах CIL, следует просто расширить [mscorlib]System.Enum.
// Перечень.
.class public sealed MyEnum extends [mscorlib]System.Enum {}
Как и для структур, для определения перечней имеется специальное сокращение, атрибут enum.
// Сокращенная запись для определения перечня.
.class public enum MyEnum {}
Замечание. Последний из фундаментальных типов данных .NET, делегат, тоже имеет специальное представление в CIL. Подробности можно найти в главе 6.
Даже если вы не добавите никаких членов или иного программного кода в определенные вами типы, вы можете скомпилировать файл *.il в компоновочный блок DLL (иное просто невозможно, поскольку вы не указали метод Main).
Откройте окно командной строки и введите следующую команду.
ilasm /dll CilTypes.il
После этого вы сможете открыть свой двоичный файл в ildasm.exe (рис. 15.4).
Рис. 15.4. Содержимое компоновочного блока CILTypes.dll
Проверив содержимое своего компоновочного блока, запустите для него peverify.exe. В результате будет выдан целый ряд сообщений об ошибках, поскольку все ваши типы пусты. Чтобы понять, как заполнить типы содержимым, мы должны сначала рассмотреть базовые типы данных CIL.
Исходный код. Файл CilTypes.il размещен в подкаталоге, соответствующем главе 15.
В табл. 15.4 показано соответствие между типами базовых классов .NET и ключевыми словами C#, а также между ключевыми словами C# и командами CIL. Там же представлены сокращенные обозначения констант, используемые для CIL-типов. Чуть позже вы сможете убедиться в том, что при использовании кодов операций C#, часто используются и ссылки на эти константы.
Вы уже знаете, что типы .NET могут определить различные члены. Перечни содержат некоторый набор пар имен и значений. Структуры и классы могут иметь конструкторы, поля, методы, свойства, статические члены и т.д. В предыдущих 14 главах вы уже могли видеть фрагменты определений CIL для таких элементов, но тем не менее, ниже предлагается краткая сводка того, как различные члены отображаются в примитивы CIL.
Таблица 15.4. Связь между типами базовых классов .NET и ключевыми словами C#, а также их проекция в CIL
| Тип базового класса .NET | Ключевое слово C# | Представление CIL | Обозначение для константы CIL |
|---|---|---|---|
| System.SByte | sbyte | int8 | I1 |
| System.Byte | byte | unsigned int8 | U1 |
| System.Int16 | short | int16 | I2 |
| System.UInt16 | ushort | unsigned int16 | U2 |
| System.Int32 | int | int32 | I4 |
| System.UInt32 | uint unsigned | int32 | U4 |
| System.Int64 | long | int64 | I8 |
| System.UInt64 | ulong | unsigned int64 | U8 |
| System.Char | char | char | CHAR |
| System.Single | float | float32 | R4 |
| System.Double | double | float64 | R8 |
| System.Boolean | bool | bool | BOOLEAN |
| System.String | string | string | – |
| System.Object | object | object | – |
| System.Void | void | void | VOID |
Перечни, структуры и классы могут поддерживать поля данных. Во всех случаях для указания таких полей используется директива. field. Например, чтобы добавить немного сути в каркас MyEnum, давайте определим для него три пары имен и значений (заметьте, что значения здесь указываются в скобках).
.class public auto ansi sealed MyEnum extends [mscorlib]System.Enum {
.field public static literal valuetype MyNamespace.MyEnum NameOne = int32(0)
.field public static literal valuetype MyNamespace.MyEnum NameTwo = int32(1)
.field public static literal valuetype MyNamespace.MyEnum NameThree = int32(2)
}
Поля, размещаемые в рамках контекста типа .NET, производного от System.Enum, сопровождаются атрибутами static и literal. Вам должно быть ясно, что эти атрибуты соответствуют полям данных, имеющим фиксированное значение и доступным из данного типа непосредственно (например, с помощью MyEnum.NameOne).
