Тип - аргумент
Cтраница 1
 |
Когда программа вызывает функцию, управление переходит к телу функции, а затем выполнение программы возобновляется со строки, следующей после вызова. [1] |
Тип аргументов должен соответствовать объявленным типам параметров. [2]
Тип аргументов может изменяться от одного аргумента к другому, но соответствующие аргументы во внешней программе и подпрограмме должны быть одного типа. [3]
Если типы аргумента и параметра не совпадают, то при обращении к процедуре автоматически производится их преобразование к типу параметра. Это означает, что аргумент типа BYTE, когда его значение присваивается формальному параметру типа ADDRESS, будет расширен добавлением нулей в восьми старших разрядах. Если значение аргумента типа ADDRESS присваивается параметру типа BYTE, то значение аргумента будет усечено отбрасыванием 8 старших битов. Если тип полученного значения в операторе RETURN не соответствует типу процедуры, то возвращаемое значение приводится к типу процедуры. [4]
Если тип аргумента может быть вычислен на стадии компиляции, говорят, что аргумент имеет статический тип, в противном случае - динамический тип. В соответствии с этим контроль типов, проводимый в период компиляции, называют статическим, а в период выполнения - динамическим [ 2, с. Статический контроль типов обеспечивает эффективную реализацию таких важных свойств ЯВУ ( языков высокого уровня. Динамический контроль типов, поддерживая универсальность и надежность операций, обеспечивает дополнительно гибкость применения одних и тех же алгоритмов для обработки данных разных типов. [5]
Список типов аргументов определяет число и типы аргументов функции. [6]
Список типов аргументов может быть опущен. В этом случае скобки после идентификатора функции все же требуются, хотя они и пусты. В этом случае в объявлении функции не определяются ни типы, ни число аргументов в функции. Когда эта информация опускается, то компилятор не проверяет соответствия между формальными и фактическими параметрами при вызове функции. [7]
По типу аргумента случайные функции подразделяются на случайные процессы - случайные функции времени и случайные поля - случайные функции пространственных координат. Если в качестве аргументов выступают время и координаты, то случайная функция называется пространственно-временным случайным процессом или пространственно-временным случайным полем в зависимости от того, какие свойства, временные или пространственные, являются определяющими для данной нагрузки. [8]
Рецензент является типом аргумента или результата. [9]
 |
Определение оператора йота. [10] |
Смешанный, унарный, тип аргумента - целое положительное число. [11]
Аппаратные средства проверки правильности типа аргумента объект порт включают также возможность проверки, имеются ли в аргументе вызывающей программы ( который является дескриптором доступа) право посылать в случае вызова Send или Cond send и право получать в случае вызова Receive или Cond receive. Мы отложим обсуждение подобных проверок прав до гл. [12]
Размещение обработчика исключения с типом аргумента void перед обработчиками исключений с другими типами указателей вызывает синтаксическую ошибку. [13]
При использовании стандартных функций использован неверный тип аргумента. [14]
В каждом прямоугольнике представлен уровень типов аргументов соответствующего предиката проверки типа. Этот предикат успешно согласуется для каждого входящего в прямоугольник типа его аргумента. [15]
Страницы: 1 2 3 4