4. .Net Framework. Общеязыковая среда исполнения (clr). Управляемые модули и сборки.

.NET Framework. состоит из:

- CLR(Common Language Runtime) – общеязыковая исполняющая среда.

- FCL (Framework Class Library) – библиотека классов Framework

Преимущества:

- единая упрощенная программная модель

- нет проблем с версиями (“ад DLL”)

- упрощенное развертывание

- работа на нескольких платформах

- интеграция языков программирования

- повторное использование кода

- автоматическая сборка мусора

- проверка безопасности типов

- взаимодействие с существующим кодом

CLR

- поддерживает приложения, разработанные на различных языках

- вместе с Framework распространяются (ассемблер IL, C#, Visual Basic .NET, J#, Jscript)

- Устанавливается в каталог: %WINDOWS%\Microsoft.NET\Framework\vверсия

Компиляция

Управляемый модуль (managed module) – стандартный исполняемый файл Windows, который требует для своего исполнения CLR

Метаданные (metadata) – «данные о данных» – набор таблиц данных, описывающих:

- какие типы определены в данном модуле

- на какие типы, определенные в других модулях, ссылается данный модуль

Использование метаданных:

- Устраняют необходимость в заголовочных файлах

- IntelliSense

- Верификация

- Сериализация/десериализация

- Сборка мусора

IL (Intermediate Language, промежуточный язык) – не зависящий от процессора псевдо-машинный язык

Особенности:

- создание и инициализация объектов

- вызов виртуальных методов

- манипулирование элементами массивов

- генерация и обработка исключений

- исполняется на любой платформе

Исполнение

JIT-компиляция (Just-in-Time, «точно в срок»): команды IL во время первого обращения к методу преобразуются в команды процессора (“native” код).

При этом осуществляется и верификация – проверка IL-кода на безопасность.

CLR работает не с модулями, а со сборками.

Сборка (assembly):

- логическая группировка одного или нескольких управляемых модулей или файлов ресурсов;

- единица повторного использования, безопасности и контроля версий.

Манифест, декларация (manifest) – метаданные, описывающие

- файлы, формирующие сборку

- общедоступные типы, реализованные в файлах сборки

- файлы ресурсов или данных, включенные в сборку

Framework Class Library

- FCL основана на объектно-ориентированной парадигме

- Содержит несколько тысяч типов

- Типы скомпонованы в пространства имен

5. .Net Framework. Общая система типов (cts) и Общеязыковая спецификация (cls).

Общая система типов (Common Type System, CTS) – формальная спецификация, описывающая определение типов и их поведение

- Типы (класс, структура, перечисление, интерфейс, делегат)

- Определяет элементы типов: поле, метод, свойство, событие

- Определяет правила видимости типов и доступа к их элементам public, protected, private, internal

Типы

- Ссылочные (reference types)

- Переменная содержит ссылку на объект

- При присваивании создается еще одна ссылка на тот же объект

- Объекты размещаются в управляемой куче

- Типы-значения (value-types)

- Переменная содержит сам объект

- При присваивании создается копия объекта

- Объекты размещаются в стеке

- Элементарные (primitive types)

Видимость типа

- public (открытый)

- internal (внутренний) (тип доступен только из сборки, в которой он определен)

Члены типа

Константа – идентификатор, представляющий некую постоянную величину

Поле

Статическое Экземплярное

Конструктор экземпляров

Конструктор типа – метод, инициализирующий статические поля типа

Метод

Перегруженный оператор

Оператор преобразования — метод определяющий порядок приведения объекта из одного типа в другой

Свойство — позволяет применить синтаксис, аналогичный обращению к полю, для получения/изменения состояния объекта

Событие – метод, позволяющий объекту/типу посылать уведомления слушающему типу/объекту

Тип – позволяет определить вложенные типы

Доступ к членам типа

private – тип (и вложенные типы)

protected – тип и производные от него

internal – сборка

protected internal – тип, производные от него и любой код в сборке

public – любой код из любой сборки

Общеязыковая спецификация (Common Language Specification, CLS) – спецификация, описывающая набор правил, позволяющих типам, реализованным на разных языках взаимодействовать друг с другом.

- Учет регистра символов

- Целые числа без знака

- Перегрузка операторов

- Методы с переменным числом параметров

Общеязыковая спецификация

- Учет регистра символов

- Целые числа без знака

- Перегрузка операторов

- Методы с переменным числом параметров