newobj instance void class [System.Collections]

  System.Collections.Generic.Dictionary`2

  ::.ctor()

Рассмотрим еще один пример: пусть имеется обобщенный тип, использующий в качестве параметра типа другой обобщенный тип. Код CIL выглядит следующим образом:

// В C#: List> myInts = new List>();

newobj instance void class [mscorlib]

  System.Collections.Generic.List`1

    [System.Collections]

    System.Collections.Generic.List`1>

    ::.ctor()

Компиляция файла CILTypes.il

Несмотря на то что к определенным ранее типам пока не были добавлены члены или код реализации, вы можете скомпилировать файл *.il в DLL-сборку .NET Core (так и нужно поступать ввиду отсутствия метода Main()). Откройте окно командной строки и введите показанную ниже команду:

dotnet build

Затем можете открыть скомпилированную сборку в ildasm.exe, чтобы удостовериться в создании каждого типа. Чтобы понять, каким образом заполнить тип содержимым, сначала необходимо ознакомиться с фундаментальными типами данных CIL.

Соответствия между типами данных в библиотеке базовых классов .NET Core, C# и CIL

В табл. 19.3 показано, как базовые классы .NET Core отображаются на соответствующие ключевые слова С#, а ключевые слова C# — на их представления в CIL. Кроме того, для каждого типа CIL приведено сокращенное константное обозначение. Как вы вскоре увидите, на такие константы часто ссылаются многие коды операций CIL.

На заметку! Типы System.IntPtr и System.UIntPtr отображаются на собственные типы int и unsigned int в CIL (это полезно знать, т.к. они интенсивно применяются во многих сценариях взаимодействия с СОМ и P/Invoke).

Определение членов типов в CIL

 Как вам уже известно, типы .NET Core могут поддерживать разнообразные члены. Перечисления содержат набор пар "имя-значение". Структуры и классы могут иметь конструкторы, поля, методы, свойства, статические члены и т.д. В предшествующих восемнадцати главах книги вы уже видели частичные определения в CIL упомянутых элементов, но давайте еще раз кратко повторим, каким образом различные члены отображаются на примитивы CIL.

Определение полей данных в CIL

Перечисления, структуры и классы могут поддерживать поля данных. Во всех случаях для их определения будет использоваться директива .field. Например, добавьте к перечислению MyEnum следующие три пары "имя-значение" (обратите внимание, что значения указаны в круглых скобках):

.class public sealed enum MyEnum

{

  .field public static literal valuetype

   MyNamespace.MyEnum A = int32(0)

  .field public static literal valuetype

   MyNamespace.MyEnum B = int32(1)

   .field public static literal valuetype

   MyNamespace.MyEnum C = int32(2)

}

Поля, находящиеся внутри области действия производного от System.Enum типа .NET Core, уточняются с применением атрибутов static и literal. Как не трудно догадаться, эти атрибуты указывают, что данные полей должны быть фиксированными значениями, доступными только из самого типа (например, MyEnum.А).

На заметку! Значения, присваиваемые полям в перечислении, также могут быть представлены в шестнадцатеричном формате с префиксом 0х.

Конечно, когда нужно определить элемент поля данных внутри класса или структуры, вы не ограничены только открытыми статическими литеральными данными. Например, класс MyBaseClass можно было бы модифицировать для поддержки двух закрытых полей данных уровня экземпляра со стандартными значениями:

.class public MyBaseClass

{

  .field private string stringField = "hello!"

  .field private int32 intField = int32(42)

}

Как и в С#, поля данных класса будут автоматически инициализироваться подходящими стандартными значениями. Чтобы предоставить пользователю объекта возможность указывать собственные значения во время создания закрытых полей данных, потребуется создать специальные конструкторы.

Определение конструкторов типа в CIL