Типы данных. При трансляции программы все подобные попытки отслеживаются и считаются грубыми ошибками

Тип данных переменной определяет род информации, диапазон представления и множество допустимых операций. Языки МЭК используют идеологию строгой проверки типов данных. Это означает, что любую переменную можно использовать только по­сле ее объявления. Присваивать значение одной переменной другой можно, только если они обе одного типа. Допускается также присваивание значения переменной совместимого типа, имеющей более широкое множество допустимых значений. В этом случае происходит неявное преобразование типа без потерь. Неявные преобразования типов данных с потерями запрещены. Так, например, логическую переменную, способную принимать только два значения (логические 0 и 1), можно присвоить переменной типа SINT (-128...+127), но не наоборот.

При трансляции программы все подобные попытки отслеживаются и считаются грубыми ошибками. Если же это действительно необходимо, то выполнить присваивание с потерями возможно, но только при помощи специальных операторов. Операторы преобразования в МЭК выполняют также и более сложные операции, например преобразование числа или календарной даты в текстовую строку, и наоборот.

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

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

Типы данных МЭК разделяются на две категории - элементарные и составные. Элементарные или базовые типы являются основой для построения составных типов. К составным типам относятся перечисления, массивы, структуры, массивы структур и т. д.