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

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

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

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

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

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

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

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

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

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

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

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

(window.adrunTag = window.adrunTag || []).push({v: 1, el: 'adrun-4-390', c: 4, b: 390})

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

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

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

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

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

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

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

.

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

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

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