Типы c# и типы платформы. 
Net framework

Платформа .NET Framework и спецификация CTS

Язык C# и средства его поддержки в настоящее время связаны с платформой .NET Framework, разработанной Microsoft. Названная платформа (см. [4,6,7,15]) включает: общеязыковую исполняющую среду (CLR — Common Language Runtime) и библиотеку классов (FCL — Framework Class Library).

Следует заметить, что язык C# является только одним из многих языков, на которых можно писать программы, работающие на платформе .NET Framework.

При использовании платформы .NET Framework подготовленный программистом код (текст программы, например, на С#) вначале транслируется в код на общем для всех исходных языков промежуточном языке (CIL — Common Intermediate Language, иногда сокращенно IL — Intermediate Language).

Последовательность процессорных команд появляется позже — во время исполнения средой CLR команд CIL. Этот временной «разрыв» между трансляцией исходного текста и появлением процессорного кода не случаен. Код на промежуточном «универсальном» языке CIL может исполняться на процессорах с разной архитектурой (PowerPC, х86, IA64, Alpha и др.). Единственное, но обязательное требование — на компьютере, где выполняется приложение на языке CIL, должна быть развернута среда .NET Framework, т. е. установлены CLR и FCL, соответствующие стандартам ЕСМА.

Платформа .NET Framework позволяет разрабатывать приложение, используя одновременно несколько разных языков программирования. Такая возможность обеспечена общей системой типов (CTS — Common Type System), которую используют все языки, ориентированные на CLR. Так как наша книга посвящена только одному языку программирования, то все ограничения, возникающие при использовании в одном приложении частей, написанных на разных языках, мы рассматривать не будем. Достаточно отметить, что для обеспечения межъязыкового взаимодействия необходимо придерживаться общеязыковой спецификации (CLS — Common Language Specification), предложенной Microsoft. Эта спецификация ограничивает все разнообразие типов того или иного языка программирования тем подмножеством, которое присутствует одновременно во всех языках. Любой из типов, соответствующих спецификации CLS, присутствует в каждом из языков и «понятен» в каждой части многоязыковой программы.

Спецификация CTS описывает правила определения типов и особенности их поведения. При изучении C# мы будем подробно рассматривать правила определения типов именно на языке С#. Сейчас очень кратко остановимся только на основных требованиях CTS.

Во-первых, CTS утверждает, что каждый тип — это класс (или структура), который может включать нуль или более членов. Членами классов (структур) могут быть следующие сущности [6].

Поле — переменная, определяющая состояние класса или объекта. Поле идентифицируется именем и имеет конкретный тип.

Метод — функция, выполняющая действие над классом или объектом. Метод идентифицируется сигнатурой и для него определен тип возвращаемого значения.

Свойство — средство для получения или задания значения некоторой характеристики, зависящей от состояния объекта. Для вызывающей стороны свойство синтаксически неотличимо от поля. В реализации типа свойство представлено одним или двумя методами с фиксированными (внешне невидимыми) именами.

Событие — средство для уведомления адресатов (других объектов, классов, методов) об изменении состояния объекта или о воздействии на него.

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

Следующее правило CTS состоит в требовании для всех типов иметь единый базовый класс. В соответствии с этим требованием все типы являются производными от класса System.Object. Происхождение всех типов от базового класса System. Object гарантирует для каждого типа присутствие заранее определенной минимальной функциональности. Эта функциональность предусматривает для каждого экземпляра (для объекта) любого типа возможности:

• • сравнения с другим экземпляром;
• • получения хэш-кода;
• • определения (идентификации) типа;
• • копирования;
• • формирования строкового представления.

Изучая программирование на языке С#, мы знакомимся не с CTS, а с ее «проекцией» на конкретный язык программирования (на С#). В конкретном языке для упрощения вводят «надстройки» над CTS, обеспечивающие более высокий уровень абстракции. В языке C# именно так появляются индексаторы, делегаты, массивы, /.-выражения, кортежи и другие конструкции, которые будут нами подробно рассмотрены.

Кроме того, для упрощения записи программ развернутое обозначения типов, принятых в CTS, в конкретных языках разрешено заменять традиционными для языков программирования более короткими названиями: int, char и т. п. Именно такие типы языка C# мы рассматривали в предыдущих главах, не отмечая тот факт, что каждый из этих типов просто-напросто представляет в программе на C# один из типов CTS, имеющих в CTS более громоздкие обозначения.