Контроль - тип
Cтраница 3
А тогда в языках программирования, допускающих совмещение имен операций, первой задачей контроля типов является выяснение, об операции какого типа идет речь в каждом конкретном случае. [31]
Возможность использования аргументов одних типов в операциях с параметрами других типов остро ставит проблему контроля типов при вызове операций. Здесь важными проблемами являются вопросы установления эквивалентности типов ( что такое один и тот же тип. В главе предлагается решение этих проблем, основанное на унифицированном конструктиве типов данных и рассмотрении типов как значений универсального типа типов данных. [32]
Программы, которые используют библиотеки, драйверы и другие программные компоненты, например элементы контроля типа ActiveX, перенести на другой компьютер вручную проблематично. [33]
Если перед числом вместо нулей стоят пробелы, которые принадлежат к буквенным символам, программа контроля типа данных воспримет это как ошибку. Поэтому рекомендуется перед контролем типа данных заменять пробелы, предшествующие цифровым данным, нулями. [34]
Автоматическая электростанция, расположенная в Принстоне, управляется из г. Бристоля с помощью системы управления и контроля типа Мак II, которая работает по системе междугороднего телефона. [35]
Наиболее часто понятие типов данных вводится в языки программирования посредством набора примитивных типов, сопровождаемого правилами контроля типов. [36]
Степень влияния механизма типизации данных на программиста зависит от того, насколько строги правила соответствия и контроля типов. Так, языки программирования с сильной типизацией заставляют программиста быть более внимательным к используемым им данным, чем языки программирования, в которых описание данных значит лишь чуть-чуть больше, чем комментарий. Степень влияния механизма типизации данных на программиста зависит также от богатства имеющейся структуры типов. Так, если имеющаяся структура типов слишком убога, то информацию о данных, являющуюся обычно частью типа, приходится хранить в самих данных. Так, хотя объектный код для обоих указанных далее случаев может оказаться одинаковым, использование перечислимых типов предпочтительнее, чем явное кодирование с помощью целых типов. [37]
 |
S. Вид стека при обработке определения генератора функций. [38] |
Трансляция описания генератора заключается в построении внутреннего представления типа генератора, синтаксической проверке тела генератора и контроле типов. При этом не происходит генерации объектного кода и распределения памяти под параметры и локальные переменные. Семантические программы, соответствующие реальным операциям в теле генератора, получая управление, выполняют вычисления в случае константных аргументов и производят фиктивный результат в противном случае. При анализе тела генератора в таблице имен заводится новый блок, в начало которого помещаются имена и типы формальных параметров генератора. После обработки тела генератора соответствующий ему блок таблицы имен уничтожается и остается в ней лишь сформированный дескриптор генератора. Точно так же в типе генератора уничтожается вся информация о типе его результата ( на рис. 5.17 - все, что ниже штриховой линии), так как для каждой конкретизации генератора она строится заново. [39]
Контроль за созданием объектов, отличных от обычных, регулируется наличием AD ( с установленным в нем правом создать) объекта контроль типа, связанного с конкретным расширенным типом. [40]
На самом деле в языке Си вместо необходимой гибкости ( достичь которой весьма трудно) имеет место слабина, заключающаяся в отсутствии контроля типов, что особенно ощутимо в случае функций и указателей. [41]
Крупные механизированные комплексы ( КМК) оснащены машинами и оборудованием, обеспечивающими поточно-расчле-ненный метод неповоротной сварки, базами поворотной сварки, автоматизированными комплексами контроля типа АКП. Комплекты машин изоляционно-укладочных колонн включают дополнительно очистную машину и трубоукладчик. Входящая в КМК бригада по преодолению оврагов и малых водотоков имеет комплекты землеройных машин, сварочных агрегатов, трубоукладчиков, а также очистную и изоляционную машину. В комплекты машин по инженерной подготовке трассы входят валочно-трелевочные машины, бесчокерные трелевочные тракторы, фронтальные погрузчики и другие машины. КМК для сооружения трубопроводов диаметром 1220 - 1420 мм в своем составе имеют 280 - 320 машин и транспортных средств. Режимы работы КМК должны предусматривать не более одной перебазировки на новый объект в течение года. [42]
Во-вторых, при трансляции расширенных программ, содержащих тип пакет, компилятор полностью использует основополагающие механизмы системы 1432 по доступу к объектам и контролю типов. [43]
Программное обеспечение системы уровня ДП ПО функционирует под управлением многозадачной двухпроцессорной операционной системы реального времени с автоматическим переключением процессоров из пассивного в активное состояние по сигналам устройств контроля типа вотч-дог без потери информации об объекте управления и реального времени. [44]
Хотя в языке Си имеются типы данных ( в отличие от его предшественника - языка BCPL) и большинство трансляторов с языка Си обеспечивает проведение в том или ином объеме контроля типов, тем не менее утверждать, что язык Си является языком программирования с сильной типизацией было бы неверно. На самом деле основной функцией верификатора lint является выявление нарушений контроля типов, не выявляемых трансляторами с языка Си. Язык Си предоставляет в распоряжение программиста множество возможностей для нарушения контроля типов. Некоторые из этих возможностей перечислены ниже. [45]
Страницы: 1 2 3 4