extends MyNamespace.MyBaseClass implements MyNamespace.IMyInterface {}
}
Как было показано в главе 7, интерфейсы могут выступать в качестве базовых интерфейсов в отношении других типов интерфейса, в результате чего создаются иерархии интерфейсов. Однако, вопреки вашим возможным догадкам, атрибут extends нельзя использовать для получения интерфейса А из интерфейса В. Атрибут extends используется только для указания базового класса типа. Чтобы расширить интерфейс, вы должны еще раз использовать атрибут implements.
// Расширение интерфейсов в терминах CIL.
.class public interface IMyInterface {}
.class public interface IMyOtherInterface implements MyNamespace.IMyInterface {}
Определение структур
Директива .class может использоваться и для определения CTS-структуры, если соответствующий тип расширяет System.ValueType. Кроме того, такая директива .class сопровождается атрибутом sealed (поскольку структура не может быть базовой по отношению к другим типам, характеризуемым значениями). Если вы попытаетесь сделать иначе, ilasm.exe сгенерирует ошибку компиляции.
// Структура всегда должна быть изолированной.
.class public sealed MyStruct extends [mscorlib]System.ValueType {}
Полезно знать о том, что CIL предлагает специальное сокращение для определения типа структуры. Если вы используете атрибут value, новый тип будет производным от [mscorlib] System.ValueType и получит атрибут sealed автоматически. Таким образом, можно определить MyStruct так.
// Сокращенная запись для определения структуры.
.class public value MyStruct{}
Определение перечней
Перечни .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.
Компиляция файла CILTypes.il
Даже если вы не добавите никаких членов или иного программного кода в определенные вами типы, вы можете скомпилировать файл *.il в компоновочный блок DLL (иное просто невозможно, поскольку вы не указали метод Main()).
Откройте окно командной строки и введите следующую команду.
ilasm /dll CilTypes.il
После этого вы сможете открыть свой двоичный файл в ildasm.exe (рис. 15.4).
Рис. 15.4. Содержимое компоновочного блока CILTypes.dll
Проверив содержимое своего компоновочного блока, запустите для него peverify.exe. В результате будет выдан целый ряд сообщений об ошибках, поскольку все ваши типы пусты. Чтобы понять, как заполнить типы содержимым, мы должны сначала рассмотреть базовые типы данных CIL.
Исходный код. Файл CilTypes.il размещен в подкаталоге, соответствующем главе 15.
Соответствие между типами библиотеки базовых классов .NET, C# и CIL
В табл. 15.4 показано соответствие между типами базовых классов .NET и ключевыми словами C#, а также между ключевыми словами C# и командами CIL. Там же представлены сокращенные обозначения констант, используемые для CIL-типов. Чуть позже вы сможете убедиться в том, что при использовании кодов операций C#, часто используются и ссылки на эти константы.
Определение членов типов в CIL
Вы уже знаете, что типы .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).
Замечание. Значения, присваиваемые полям перечня, могут также быть шестнадцатиричными.
Конечно, при определении полей данных в пределах класса или структуры вы не ограничены использованием только открытых статических литералов. Можно, например, добавить в MyBaseClass поддержку двух приватных полей данных уровня экземпляра.
.class public MyBaseClass {
.field private string stringField
.field private int32 intField
}
Как и в C#, полям данных класса будут автоматически назначены подходящие значения для непользовании по умолчанию. Чтобы позволить пользователю объекта указать во время создания объекта пользовательские значения для приватных полей данных, придется (конечно) создать пользовательские конструкторы.
Определение конструкторов типов
Система CTS (общая система типов) поддерживает конструкторы как уровня экземпляра, так и уровня класса (статические конструкторы). В терминах CIL для конструкторов уровня экземпляра используется лексема .ctor, а для статических конструкторов – лексема .cctor (конструктор класса). Обе эти лексемы CIL должны сопровождаться атрибутами rtspecialname (специальное имя возвращаемого типа) и specialname. Эти атрибуты используются для идентификации специальных лексем CIL, позволяющих уникальное толкование в каждом языке .NET. Например, в C# конструкторы не определяют возвращаемый тип, однако в терминах CIL возвращаемым значением конструктора на самом деле будет void.
