Язык программирования C#9 и платформа .NET5 - Эндрю Троелсен

На заметку! Не стоит слишком глубоко вникать в синтаксис каждого фрагмента метаданных .NET Core, приводимого в нескольких последующих разделах. Важно усвоить, что метаданные .NET Core являются исключительно описательными и учитывают каждый внутренне определенный (и внешне ссылаемый) тип, который найден в имеющейся кодовой базе.

Просмотр (частичных) метаданных для перечисления EngineStateEnum

Каждый тип, определенный внутри текущей сборки, документируется с применением маркера TypeDef #n (где TypeDef — сокращение от type definition (определение типа)). Если описываемый тип использует какой-то тип, определенный в отдельной сборке .NET Core, тогда ссылаемый тип документируется с помощью маркера TypeRef #n (где TypeRef — сокращение от type reference (ссылка на тип)). Если хотите, то можете считать, что маркер TypeRef является указателем на полное определение метаданных ссылаемого типа во внешней сборке. Коротко говоря, метаданные .NET Core — это набор таблиц, явно помечающих все определения типов (TypeDef) и ссылаемые типы (TypeRef), которые могут быть просмотрены с помощью утилиты ildasm.exe.

В случае сборки CarLibrary.dll один из маркеров TypeDef представляет описание метаданных перечисления CarLibrary.EngineStateEnum (номер TypeDef у вас может отличаться; нумерация TypeDef основана на порядке, в котором компилятор C# обрабатывает файл):

// TypeDef #2

// -------------------------------------------------------

//   TypDefName: CarLibrary.EngineStateEnum

//   Flags     : [Public] [AutoLayout] [Class] [Sealed] [AnsiClass]

//   Extends   : [TypeRef] System.Enum

//   Field #1

//   -------------------------------------------------------

//     Field Name: value__

//     Flags     : [Public] [SpecialName] [RTSpecialName]

//     CallCnvntn: [FIELD]

//     Field type:  I4

//

//   Field #2

//   -------------------------------------------------------

//     Field Name: EngineAlive

//     Flags     : [Public] [Static] [Literal] [HasDefault]

//     DefltValue: (I4) 0

//     CallCnvntn: [FIELD]

//     Field type:  ValueClass CarLibrary.EngineStateEnum

//

...

Маркер TypDefName служит для установления имени заданного типа, которым в рассматриваемом случае является специальное перечисление CarLibrary.EngineStateEnum. Маркер метаданных Extends применяется при документировании базового типа для заданного типа .NET Core (ссылаемого типа System.Enum в этом случае). Каждое поле перечисления помечается с использованием маркера Field #n. Ради краткости выше была приведена только часть метаданных.

На заметку! Хотя это выглядит как опечатка, в TypDefName отсутствует буква "е", которую можно было бы ожидать.

Просмотр (частичных) метаданных для типа Car

 Ниже показана часть метаданных класса Car, которая иллюстрирует следующие аспекты:

• как поля определяются в терминах метаданных .NET Core;

• как методы документируются посредством метаданных .NET Core;

• как автоматическое свойство представляется в метаданных .NET Core.

// TypeDef #1

// -------------------------------------------------------

//   TypDefName: CarLibrary.Car

//   Flags     : [Public] [AutoLayout] [Class] [Abstract] [AnsiClass] [BeforeFieldInit]

//   Extends   : [TypeRef] System.Object

//   Field #1

//   -------------------------------------------------------

//     Field Name: <PetName>k__BackingField

//     Flags     : [Private]

//     CallCnvntn: [FIELD]

//     Field type:  String

...

  Method #1

-------------------------------------------------------

    MethodName: get_PetName

    Flags      : [Public] [HideBySig] [ReuseSlot] [SpecialName]

    RVA        : 0x000020d0

    ImplFlags  : [IL] [Managed]

    CallCnvntn: [DEFAULT]

    hasThis

    ReturnType: String

    No arguments.

...

//   Method #2

//   -------------------------------------------------------

//     MethodName: set_PetName

//     Flags     : [Public] [HideBySig] [ReuseSlot] [SpecialName]

//     RVA       : 0x00002058

//     ImplFlags : [IL] [Managed]

//     CallCnvntn: [DEFAULT]

//     hasThis

//     ReturnType: Void

//     1 Arguments

//       Argument #1:  String

//     1 Parameters

//       (1) ParamToken : Name : value flags: [none]

...

//   Property #1

//   -------------------------------------------------------

//     Prop.Name : PetName

//     Flags     : [none]

//     CallCnvntn: [PROPERTY]

//     hasThis

//     ReturnType: String

//     No arguments.

//     DefltValue:

//     Setter    : set_PetName

//     Getter    : get_PetName

//     0 Others

...

Прежде всего, метаданные класса Car указывают базовый класс этого типа (System.Object) и включают разнообразные флаги, которые описывают то, как тип был сконструирован (например, [Public], [Abstract] и т.п.). Описания методов (вроде конструктора Car) содержат имя, возвращаемое значение и параметры.

Обратите внимание, что автоматическое свойство дает в результате сгенерированное компилятором закрытое поддерживающее поле (по имени <PetName>k_BackingField) и два сгенерированных компилятором метода (в случае свойства для чтения и записи) с именами get_PetName() и set_PetName(). Наконец, само свойство отображается на внутренние методы получения/установки с применением маркеров Setter и Getter метаданных .NET Core.

Исследование блока TypeRef

Вспомните, что метаданные сборки будут описывать не только набор внутренних типов (Car, EnginestateEnum и т.д.), но также любые внешние типы, на которые ссылаются внутренние типы. Например, с учетом того, что в сборке CarLibrary.dll определены два перечисления, метаданные типа System.Enum будут содержать следующий блок TypeRef:

// TypeRef #19

// -------------------------------------------------------

// Token:             0x01000013

// ResolutionScope:   0x23000001

// TypeRefName:       System.Enum

Документирование определяемой сборки

В файле CarLibrary.il также присутствуют метаданные .NET Core, которые описывают саму сборку с использованием маркера Assembly. Ниже представлена часть метаданных манифеста сборки CarLibrary.dll:

// Assembly

// -------------------------------------------------------

//   Token: 0x20000001

//   Name : CarLibrary

//   Public Key    :

//   Hash Algorithm : 0x00008004

//   Version: 1.0.0.1

//   Major Version: 0x00000001

//   Minor Version: 0x00000000

//   Build Number: 0x00000000

//   Revision Number: 0x00000001

//   Locale: <null>

//   Flags : [none] (00000000)

Документирование ссылаемых сборок

В дополнение к маркеру Assembly и набору блоков TypeDef и TypeRef в метаданных .NET Core также применяются маркеры AssemblyRef #n для документирования каждой внешней сборки. С учетом того, что каждая сборка .NET Core ссылается на библиотеку базовых классов System.Runtime, вы обнаружите AssemblyRef для сборки System.Runtime, как показано в следующем фрагменте:

// AssemblyRef #1 (23000001)

// -------------------------------------------------------

//   Token: 0x23000001

//   Public Key or Token: b0 3f 5f 7f 11