Иерархия типов в .NET

Рассмотрим более подробно обобщенную систему типизации, принятую в.NET.

Как явствует из схемы, Common Type System представляет собой иерархию, в которой стрелки указывают в сторону уменьшения общности типа.

Типы иерархии CTS подразделяются на ссылочные типы (pointer type) и типы-значения (value type).

Особенностями ссылочных типов являются необходимость использования указателей на типизированные объекты, а также централизованное хранение и освобождение памяти (" сборка мусора ").

Одной из характеристик типов-значений является то обстоятельство, что они не участвуют в наследовании. Кроме того, типы-значения копируются при присваивании значения.

В свою очередь, ссылочные типы могут принимать одну из трех форм:

1. объектные типы (object type);

2. интерфейсные типы (interface type);

3. типы указателей (pointer type).

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

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

Выводы по лекции 7

Подводя итоги рассмотрения основных аспектов теории типов и типизации в языках программирования, можно сделать следующие выводы.

1. Теории с типами и языки программирования с типизацией имеют значительно более высокую вычислительную мощность, а, следовательно, более высокую теоретическую и прикладную значимость.

2. Технологическая платформа.NET обеспечивает ряд несомненных дополнительных преимуществ перед другими известными платформами в отношении системы типов:

- технология.NET использует централизованную, унифицированную, интегрированную систему типизацииCommon Type System (CTS), общую для всех языков программирования, реализуемых на данной платформе.

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

3. Целям безопасности типизации служит явное разделение на ссылочные типы и типы-значения, а также гибкий и надежный механизм преобразования типов-значений в ссылочные (известный под названием boxing) и обратно (известный под названием unboxing).

Для более подробного самостоятельного ознакомления с тематикой лекции рекомендуется следующий список источников: [32, 43, 44, 59].

Дата добавления: 2014-01-07