ТИП ДАННЫХ

ТИП ДАННЫХ (data type). Понятие языков программирования высокого уровня, обозначающее множество допустимых в вычислительной системе значений, объединенных совокупностью применимых к ним операций. Указывая к какому Т. д. относится объект программы или выражение, программист определяет все множество значений, которые они могут принимать в данной вычислительной системе и совокупность допустимых над ними операций. Например, переменные целого типа могут принимать только целочисленные значения - положительных, отрицательных чисел или нуля, над которыми допустимы арифметические операции и операции сравнения. А переменные логического типа принимают только два значения - "истина" или "ложь", над которыми допустимы логические операции. Благодаря разработанной системе Т. д. в языках высокого уровня можно работать с данными, не вникая в детали их представления, хотя в большинстве языков программирования Т. д. позволяет указать и форму представления элемента данных в памяти. В каждом языке определен ряд Т. д., называемых встроенными или стандартными Т. д. В большинство существующих языков программирования встроены целый, вещественный, логический и символьный Т. д. Тип присутствующей в программе константы компилятор может распознать по ее "внешнему виду". Однако в случае переменной необходимо, чтобы ее тип был объявлен в описании. Объявление Т. д. необходимо компилятору, чтобы не только правильно компилировать программу, но и контролировать правильность использования данных в ней. Для объявления встроенных типов применяются ключевые слова - описатели, например, integer, real, boolean, character и т.п. или их сокращения. Кроме встроенных Т. д. во многих языках программирования (например, языках Паскаль, Си и др.) имеются средства конструирования Т. д., удобных для программиста. Такие Т. д. включаются в программу с помощью описаний типа. См. структурированный тип