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