Проверка - тип
Cтраница 4
Если для двух труб совпадает только один узел, в блоках 20 - 24 производится проверка типа этого узла. При подключении к узлу также и других элементов, трубы не эк-вивалентируются. В массивы И, 12 заносятся номера последовательно соединенных труб. [46]
При разработке функции для вывода типа, о которой чаще говорят как об алгоритме для проверки типа, возникает несколько синтаксических и семантических вопросов, требующих рассмотрения. Во-первых, нужно определить синтаксическую схему типов, которая присваивает уникальный ( наиболее общий) тип каждому синтаксически допустимому выражению. Такие выражения называются правильно типизированными, а их типы называются правильными типами. Так, необходимо быть уверенными, что при вычислении правильно типизированного выражения все его примитивные функции будут применяться к аргументам соответствующих типов. В-третьих, алгоритм должен быть синтаксически правильным. Это означает, что если с помощью данного алгоритма найден тип выражения, то это выражение является правильно типизированным. Наконец, хотелось бы также, чтобы алгоритм проверки типов был полным в том смысле, что если выражение имеет правильный тип, то алгоритм находил бы его по крайней мере в большинстве случаев. [47]
Эти среды просты как для понимания, так и для моделирования, но они могут потребовать проверки типов при выполнении, что влечет существенное снижение эффективности. [48]
Эту традицию установил язык Лисп, где от программиста вообще не требуется описания типа, а наиболее существенные проверки типов делаются лишь во время исполнения. Противоположностью Лиспа являются такие языки, как Паскаль, где точная информация о типе требуется для всех величин, а во время компиляции делаются всевозможные проверки. Неудобство подобного подхода в том, что стандартные функции обработки списков, такие, как member или maplist, приходится переписывать для каждого нового типа записи, используемого при построении списков. Каждому варианту такой стандартной функции приходится давать свое имя, что приводит к многословию в длинных программах. [49]
В данном случае предусмотрено утверждение для каждого из четырех возможных образцов аргументов, а вызов предикатов проверки типов обеспечивает взаимную исключительность этих утверждений. Порядок, в котором расположены другие подцели, обеспечивает эффективность. [50]
Обрабатываемые записи засылаются или выбираются из переменной, участвующей в операции ввода-вывода, без всякого преобразования и проверки типа. [51]
В ПЛ / I при действиях с указателями во время выполнения программы отсутствуют какие-либо дескрипторы и не производится проверка типа данных. Это повышает эффективность выполнения программы, но зато программист должен сам следить за правильностью использования указателей. В частности, при некорректном употреблении указателей могут легко возникнуть висячие ссылки и мусор, никаких системных средств для защиты от таких ситуаций не предусмотрено. [52]
 |
Снимок структуры данных сразу же после присвоения переменной X указателя на объект типа Typed R. Предполагается что переменной X было отведено гнездо в части доступа текущего объекта контекст. [53] |
Поскольку экземпляры ссылочных типов языка Ада могут создаваться динамически и статически, полезно обратиться еще раз к способу проверки типов, автоматически выполняемому компилятором во время компиляции и / или во время исполнения программы. [54]
Страницы: 1 2 3 4