Язык программирования C#9 и платформа .NET5 - Джепикс Филипп - Страница 353

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

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

Спецификация CTS поддерживает создание конструкторов как уровня экземпляра, так и уровня класса (статических). В CIL конструкторы уровня экземпляра представляются с использованием лексемы

, тогда как конструкторы уровня класса — посредством лексемы (class constructor — конструктор класса). Обе лексемы CIL должны сопровождаться атрибутами (return type special name — специальное имя возвращаемого типа) и . Упомянутые атрибуты применяются для обозначения специфической лексемы CIL, которая может трактоваться уникальным образом в любом отдельно взятом языке .NET Core. Например, в языке C# конструкторы не определяют возвращаемый тип, но в CIL возвращаемым значением конструктора на самом деле является :

Обратите внимание, что директива

снабжена атрибутом (поскольку конструктор не статический). Атрибуты указывают на то, что внутри данного метода содержится код CIL, а не неуправляемый код, который может использоваться при выполнении запросов Р/Invoke.

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

Свойства и методы также имеют специфические представления в CIL. В качестве примера модифицируйте класс

с целью поддержки открытого свойства по имени , написав следующий код CIL (обратите внимание на применение атрибута ):

В терминах CIL свойство отображается на пару методов, имеющих префиксы

и . В директиве используются связанные директивы и для отображения синтаксиса свойств на подходящие "специально именованные" методы.

На заметку! Обратите внимание, что входной параметр метода

в свойстве помещен в одинарные кавычки и представляет имя лексемы, которая должна применяться в правой части операции присваивания внутри области определения метода.

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

Коротко говоря, параметры в CIL указываются (более или менее) идентично тому, как это делается в С#. Например, каждый параметр определяется путем указания его типа данных, за которым следует имя параметра. Более того, подобно C# язык CIL позволяет определять входные, выходные и передаваемые по ссылке параметры. Вдобавок в CIL допускается определять массив параметров (соответствует ключевому слову

в С#), а также необязательные параметры.

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

(по значению), параметр (по ссылке), параметр и один выходной параметр (типа ). В C# метод выглядел бы примерно так:

После отображения метода

на код CIL вы обнаружите, что ссылочные параметры C# помечаются символом амперсанда (), который дополняет лежащий в основе тип данных ().

Выходные параметры также снабжаются суффиксом

, но дополнительно уточняются лексемой языка CIL. Вдобавок если параметр относится к ссылочному типу (), то перед типом данных указывается лексема (не путайте ее с директивой ):