Неявные преобразования типов данных

Лекция №4 Дополнительный материал, обязательный для изучения. (26 сентября 2014 года)

Общие характеристики языков программирования

· Анализ синтаксиса языков

Синтаксис языков сравнивается по следующим его характеристикам:

Целостность языка. Язык должен быть простым, понятным и логически четким. Не должен использовать произвольных ограничений, описывать все элементы программы. Не должно быть в языке одинаковых обозначений или стандартных имен для разных объектов, данных.

Избыточность конструкций языка.

Избыточность конструкций языка позволяет использовать разные стили программирования в самом языке. Это приводит к возможности более гибкого конструирования программ.

Возможность выполнения действий различными способами. Например, полный условный оператор можно заменить двумя неполными:

If a>b then c:=b else c:=a; Или

if a>b then c:=b; if not(a>b) then c:=a;

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

Выразительность

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

Многословие и безопасность

Чем длиннее текст программы, тем труднее поиск ошибок. Каждая программная единица, например, модуль - считается оптимальным по длине из не более, чем 2-х страниц.

• Данные

Качество представления данных очень существенно для написания программ. Возможности представления данных оцениваются по следующим критериям:

Степень типизации данных

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

Контроль типов данных

В языках должны быть средства проверки несовместимости типов данных для выполнения операций и выхода объявленных типов за возможные границы представления. Например, в языке Object Pascal деление для целых и вещественных чисел различаются по результатам. Если заданы целые переменные c, a, b, то действие c:=a div b позволит получить результат целым без дополнительных его преобразований. Но запись c:=a/b будет неверной без выполнения действий преобразований для целых чисел типа Round(x) или Trunc(x).

Неявные преобразования типов данных

Например, в языке Object Pascal по умолчанию производится преобразование более узкого диапазона данных к более широкому диапазону для одного и того же типа данных. В языке С сразу было допущенонеявное преобразование данных. Ограничения на преобразование типов данных осложняют процесс разработки программ, но не приводят к неконтролируемым ошибкам при выполнении программ. В объектно - ориентированных версиях языков в конструкциях классов заложена возможность использования классов для разных типов данных. Эта возможность существенно расширяет функциональные свойства программ.

Дата добавления: 2015-07-08