Тип данных

Материал из Энциклопедия о программировании
Перейти к: навигация, поиск

Тип данных (тип) — это:

  • диапазон/множество значений и операций над этими значениями (IEEE Std 1320.2-1998)
  • класс данных, характеризуемый членами класса и операциями, которые могут быть к ним применены (ISO/IEC/IEEE 24765-2010).
  • категоризация абстрактного множества возможных значений, характеристик и набор операций для некоторого атрибута (IEEE Std 1320.2-1998).
  • категоризация аргументов операций над значениями, как правило, охватывающая как поведение, так и представление (ISO/IEC 19500-2:2003).
  • допустимое множество значений.

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

С точки зрения аппаратного обеспечения базовых типов данных высокого уровня всего два - int для обычного процессора, и double - для его математического сопроцессора. Все остальные типы данных - производные. Также в качестве типа данных может быть адрес оперативной памяти, но это уже не высокий программный, а низкий аппаратный уровень. В ассмблерных языках низкого уровня такой тип данных имеется.