Понятия типа и контракта
Тип — это множество допустимых значений и набор операций, которые можно выполнять над данными, принадлежащими этому типу. При описании типов будет использоваться понятие контракта.
Контрактом мы будем называть набор свойств и методов, присущих тому или иному типу, а также поведение этих свойств и методов. Другими словами, контракт — это те обязательства, которые берет на себя «1С:Исполнитель», когда программист оперирует значением некоторого типа (экземпляром).
Таким образом, можно сказать, что тип — это множество допустимых значений и контракт.
В языке существует специальный тип Тип, который предназначен для идентификации типов значений. Этот тип необходим для определения и сравнения типов, а также для получения информации об иерархии типов.
Иерархия типов
Типы образуют иерархию. Это означает, что в отношении типов можно рассмотреть отношение «предок-потомок». При этом потомок какого-либо типа наследует контракт своего предка, но каким-либо образом расширяет или допустимые значения, или контракт, или оба этих параметра.
Также можно сказать, что предок какого-либо типа будет называться базовым типом. Соответственно, потомок типа будет называться производным типом. О базовых типах подробно написано в разделе «Базовые типы».
У одного типа может быть несколько базовых типов. Если тип А выступает базовым для типа Б, то переменной типа А можно присвоить значение типа Б.
В основании всей иерархии типов лежит тип Объект. Этот тип является базовым для всех типов, кроме типа Неопределено.
Обобщенные типы
В языке также поддерживаются обобщенные типы — универсальные шаблоны, параметризуемые типами. Например, можно использовать обобщенный тип Массив<Строка> — массив строк. Подробнее об обобщенных типах написано здесь.