Система общих типов - Common Type System - Wikipedia

В Microsoft .NET Framework, то Система общих типов (CTS) - это стандарт, определяющий, как тип определения и конкретные значения типов представлены в памяти компьютера. Он предназначен для того, чтобы программы, написанные на разных языках программирования, могли легко обмениваться информацией. Как используется в языки программирования, а тип можно описать как определение набора значений (например, «все целые числа от 0 до 10») и допустимых операций над этими значениями (например, сложение и вычитание).

Спецификация CTS содержится в Экма стандарт 335, «Общие языковые инфраструктуры (CLI), разделы с I по VI». В CLI и CTS были созданы Microsoft, а Платформа Microsoft .NET это реализация стандарта.

Функции системы общих типов

Установить структуру, которая помогает обеспечить межъязыковую интеграцию, безопасность типов и выполнение кода с высокой производительностью.
Обеспечить объектно-ориентированный модель, которая поддерживает полную реализацию многих языков программирования.
Чтобы определить правила, которым должны следовать языки, что помогает гарантировать, что объекты, написанные на разных языках, могут взаимодействовать друг с другом.
CTS также определяет правила, которые гарантируют, что типы данных объектов, написанных на разных языках, могут взаимодействовать друг с другом.
CTS также определяет правила для видимости типа и доступа к членам типа, то есть CTS устанавливает правила, по которым сборки формируют область видимости для типа, а Common Language Runtime применяет правила видимости.
CTS определяет правила, регулирующие наследование типов, виртуальные методы и время жизни объекта.
Языки, поддерживаемые .NET, могут реализовывать все или некоторые общие типы данных…

Когда округление дробные значения, на полпути к четным («банкирский») метод используется по умолчанию во всей платформе. Начиная с версии 2, "Симметричное арифметическое округление" (округление половин от нуля) также доступно по выбору программиста.^[1]

он используется для общения с другими языками

Категории типов

Система общих типов поддерживает две общие категории типов:

Типы значений: Типы значений непосредственно содержат свои данные, а экземпляры типов значений либо размещаются на куча или размещены встроенными в структуру. Типы значений могут быть встроенными (реализованными средой выполнения), определяемыми пользователем или перечислениями.
Типы ссылок: Типы ссылок хранят ссылку на адрес в памяти значения и размещаются в куча. Ссылочные типы могут быть типами с самоописанием, типами указателей или типами интерфейсов. Тип ссылочного типа может быть определен из значений самоописывающихся типов. Типы с самоописанием далее разделяются на массивы и типы классов. Типы классов - это определяемые пользователем классы, типы значений в штучной упаковке и делегаты.

Следующий пример, написанный на Visual Basic .NET показывает разницу между ссылочными типами и типами значений:

Импорт СистемаУчебный класс Класс1    Общественные Ценить В качестве Целое число = 0Конец Учебный класс 'Class1 Учебный класс Тест    Общий Sub Главный()        Тусклый val1 В качестве Целое число = 0        Тусклый val2 В качестве Целое число = val1        'Закодировано        val2 = 123        Тусклый ref1 В качестве Новый Класс1()        Тусклый ref2 В качестве Класс1 = ref1        ref2.Ценить = 123        Консоль.WriteLine("Значения: {0}, {1}", val1, val2)        Консоль.WriteLine("Ссылки: {0}, {1}", ref1.Ценить, ref2.Ценить)    Конец Sub 'ГлавныйКонец Учебный класс 'Тест

Результат приведенного выше примера

Значения: 0, 123 Ссылка: 123, 123

Бокс и распаковка

Заниматься боксом

Преобразование типов значений в ссылочные типы также известно как заниматься боксом. Как видно из приведенного ниже примера, нет необходимости сообщать компилятору, что Int32 упакован в объект, потому что он сам позаботится об этом.

Int32 Икс = 10; объект о = Икс ; // Неявный боксКонсоль.WriteLine("Объект o = {0}",о); // выводит "The Object o = 10"

Однако Int32 всегда можно явно поместить в коробку следующим образом:

Int32 Икс = 10; объект о = (объект) Икс; // Явный боксКонсоль.WriteLine("Объект o = {0}",о); // выводит "Объект o = 10"

Распаковка

В следующем примере показано, как распаковать ссылочный тип обратно в тип значения. Сначала Int32 помещается в объект, а затем снова распаковывается. Обратите внимание, что для распаковки требуется явное приведение.

Int32 Икс = 5; объект o1 = Икс; // Неявный боксИкс = (int)o1; // Явная распаковка

Смотрите также

внешняя ссылка

[1] "MidpointRounding Enumeration". Документы Microsoft.

[1]