Обобщенные типы также имеют собственное представление в синтаксисе CIL. Вспомните из главы 10, что обобщенный тип или член может иметь один и более параметров типа. Например, в типе
List<T>
определен один параметр типа, а в
Dictionary<TKey,TValue>
— два. В CIL количество параметров типа указывается с применением символа обратной одиночной кавычки (
'
), за которым следует число, представляющее количество параметров типа. Как и в С#, действительные значения параметров типа заключаются в угловые скобки.
На заметку! На большинстве клавиатур символ
'
находится на клавише, расположенной над клавишей <ТаЬ> (и слева от клавиши <1>).
Например, предположим, что требуется создать переменную
List<T>
, где
Т
— тип
System.Int3
2. В C# пришлось бы написать такой код:
void SomeMethod
{
List<int> myInts = new List<int>;
}
В CIL необходимо поступить следующим образом (этот код может находиться внутри любого метода CIL):
// В C#: List<int> myInts = new List<int>;
newobj instance void class [System.Collections]
System.Collections.Generic.List`1<int32>::.ctor
Обратите внимание, что обобщенный класс определен как
List'1<int32>
, поскольку
List<T>
имеет единственный параметр типа. А вот как определить тип
Dictionary<string,int>
:
// В C#: Dictionary<string, int> d = new Dictionary<string, int>;
Рассмотрим еще один пример: пусть имеется обобщенный тип, использующий в качестве параметра типа другой обобщенный тип. Код CIL выглядит следующим образом:
// В C#: List<List<int>> myInts = new List<List<int>>;
newobj instance void class [mscorlib]
System.Collections.Generic.List`1<class
[System.Collections]
System.Collections.Generic.List`1<int32>>
::.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)
}
Как и в С#, поля данных класса будут автоматически инициализироваться подходящими стандартными значениями. Чтобы предоставить пользователю объекта возможность указывать собственные значения во время создания закрытых полей данных, потребуется создать специальные конструкторы.