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

Роль метаданных типов .NET Core

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

Чтобы проиллюстрировать формат метаданных типов .NET Core, давайте взглянем на метаданные, которые были сгенерированы для исследуемого ранее метода

класса , написанного на C# (метаданные для версии Visual Basic метода похожи, так что будет исследоваться только версия С#):

Роль манифеста сборки

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

(ради краткости некоторые строки не показаны):

Выражаясь кратко, показанный манифест документирует набор внешних сборок, требуемых для

(в директиве ), а также разнообразные характеристики самой сборки (вроде номера версии и имени модуля). Полезность данных манифеста будет более подробно исследоваться в главе 16.

Понятие общей системы типов

Сборка может содержать любое количество различающихся типов. В мире .NЕТ Core тип ― это просто общий термин, применяемый для ссылки на член из на­ бора {класс, интерфейс, структура, перечисление, делегат}. При построении решений на любом языке .NЕТ Core почти наверняка придется взаимодействовать со многими такими типами. Например, в сборке может быть определен класс, реализующий не­ которое количество интерфейсов. Возможно, метод одного из интерфейсов принимает перечисление в качестве входного параметра и возвращает вызывающему компоненту структуру.

Вспомните, что СТS является формальной спецификацией, которая документирует, каким образом типы должны быть определены, чтобы они могли обслуживаться .NЕТ Runtime. Внутренние детали СТS обычно интересуют только тех, кто занимается построением инструментов и/или компиляторов, предназначенных для .NЕТ Core. Однако всем программистам .NЕТ Core важно знать о том, как работать с пятью типами, определенными в CTS, на выбранных ими языках. Ниже приведен краткий обзор.

Типы классов CTS

В каждом языке .NЕТ Core поддерживается, по меньшей мере, понятие типа класса, которое является краеугольным камнем объектно-ориентированного программирования. Класс может состоять из любого количества членов (таких как конструкторы, свойства, методы и события) и элементов данных (полей). В языке С# классы объявляются с использованием ключевого слова

, примерно так:

Формальное знакомство с построением типов классов в С# начнется в главе 5, а пока в таблице 1.1 приведен перечень характеристик, свойственных типам классов.

Типы интерфейсов CTS

 Интерфейсы представляют собой всего лишь именованные коллекции определений и/или (начиная с версии C# 8) стандартных реализаций абстрактных членов, которые могут быть реализованными (необязательно при наличии стандартных реализаций) в заданном классе или структуре. В языке C# типы интерфейсов определяются с применением ключевого слова

.

По соглашению имена всех интерфейсов .NET Core начинаются с прописной буквы

, как показано в следующем примере:

Сами по себе интерфейсы приносят не особо много пользы. Тем не менее, когда класс или структура реализует выбранный интерфейс уникальным об разом, появляется возможность получать доступ к предоставленной функциональности, используя ссылку на этот интерфейс в полиморфной манере. Программирование на основе интерфейсов подробно рассматривается в главе 8.