Common Type System

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

При округлении дробных значений благодаря фреймворку по умолчанию применяется метод банковского округления. Начиная с версии 2, «симметричное арифметическое округление» («англ. Symmetric Arithmetic Rounding») (округляет до ближайшего числа со стороны нуля) также доступно программистам в качестве дополнительной возможности[1].

Стандартная система типов поддерживает две основные категории типов:

Значимые типы

Переменные значимых типов непосредственно содержат данные, а экземпляры значимых типов располагаются или в стеке или непосредственно в теле других объектов. Значимые типы могут быть встроенными (реализуются средой исполнения), пользовательскими или перечислениями. Значение значимого типа может быть преобразовано в значение ссылочного типа путём применения к нему процедуры упаковки (боксинга, boxing).

Ссылочные типы

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

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

Imports System

Class Class1
    Public Value As Integer = 0
End Class 'Class1
 
Class Test
    Shared Sub Main()
        Dim val1 As Integer = 0
        Dim val2 As Integer = val1
        val2 = 123
        Dim ref1 As New Class1()
        Dim ref2 As Class1 = ref1
        ref2.Value = 123
        Console.WriteLine("Значения: {0}, {1}", val1, val2)
        Console.WriteLine("Ссылки: {0}, {1}", ref1.Value, ref2.Value)
    End Sub 'Main
End Class 'Test

Вышеприведенный пример выводит следующее:

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

Int32 x = 10; 
object o = x ; // Неявная упаковка
Console.WriteLine("Объект o = {0}",o); // печатает 10

Int32 x = 10; 
object o = (object) x; // Явная упаковка
Console.WriteLine("Объект o = {0}",o); // печатает 10

Int32 x = 5; 
object o1 = x; // Неявная упаковка
x = (int)o1; // Явная распаковка

dynamic x = 42;
int y = x; // Неявная распаковка

• .NET Framework
• Блит-типы
• Common Language Infrastructure

• Common Type System  (англ.)
• .NET Framework Class Library Overview  (англ.)
• Boxing and Unboxing (C# Programming Guide)  (рус.)