Аргумент - тип - Большая Энциклопедия Нефти и Газа, статья, страница 4
Легче изменить постановку задачи так, чтобы она совпадала с программой, чем наоборот. Законы Мерфи (еще...)

Аргумент - тип

Cтраница 4


Чтобы перегрузить операцию инкремента для получения возможности использования и префиксной, и постфиксной форм, каждая из этих двух перегруженных функций-операций должна иметь разную сигнатуру, чтобы компилятор имел возможность определить, какая версия имеется в виду в каждом конкретном случае. Префиксный вариант перегружается точно так же, как любая другая префиксная унарная операция. Обеспечение уникальной сигнатуры функции операции постфиксной формы инкремента достигается с помощью фиктивного аргумента типа int. Пользователь может не задавать никакого значения этому аргументу. Он вводится просто для того, чтобы помочь компилятору различать префиксные и постфиксные формы операций инкремента и декремента.  [46]

Следовательно, в новых переменных задача формулируется так, что параметры не содержатся в основных уравнениях и не вводятся через граничные условия. Очевидно, при такой постановке задачи должны получаться решения, которыми искомые переменные определяются как функции одних только независимых переменных. Следовательно, закономерности процесса должны выражаться в форме обобщенных уравнений, не усложненных аргументами типа критериев подобия.  [47]

С функцией-генератором случайных чисел Random связано много условностей. Она всегда возвращает равномерно распределенное случайное число. Диапазон или, вернее, интервал распределения таких чисел задается видом вызова функции. Но если вызов содержал аргумент N типа Word - RandomC N), то вернется случайная величина ( целая.  [48]

Объяснение правил Гунда основано на анализе детального вида волновых функций отдельных термов, и этот вопрос выходит за рамки данной книги. Обычно даваемое объяснение заключается в том, что порядок термов определяется уменьшением электронного отталкивания с увеличением S и L. Однако это объяснение было в некоторых случаях опровергнуто точными расчетами волновых функций. Однако это может оказаться аргументом типа что было раньше: курица или яйцо, поскольку можно представить себе, что изменения энергии электронно-ядерного взаимодействия обусловлены релаксацией орбиталей в направлении уменьшения электронного отталкивания.  [49]

Объяснение правил Гунда основано на анализе детального вида волновых функций отдельных термов, и этот вопрос выходит за рамки данной книги. Обычно даваемое объяснение заключается в том, что порядок термов определяется уменьшением электронного отталкивания с увеличением 5 и L. Однако это объяснение было в некоторых случаях опровергнуто точными расчетами волновых функций. Однако это может оказаться аргументом типа что было раньше: курица или яйцо, поскольку можно представить себе, что изменения энергии электронно-ядерного взаимодействия обусловлены релаксацией орбиталей в направлении уменьшения электронного отталкивания.  [50]

Донахью пишут: цель контроля типов зависит от того, что понимается под типом данных. Тем самым контроль типов может рассматриваться, по существу, как дополнительный способ выяснения в период компиляции, что программа при своем исполнении вырабатывает неверный результат [ 139, с. Как уже отмечалось в разд. Вследствие этого аппликация функции к аргументам непредусмотренных типов не обязательно приведет к ошибке, а просто выработает подложный результат, неверно интерпретируя свои аргументы.  [51]

В таких языках задачи решаются в терминах отображений на множестве сложных объектов данных, имеющих структуру, соответствующую логике решения, а не компьютеру, на котором выполняется программа. Кроме того, понятие полиморфизма ( введенное в гл. Альтернатива полиморфизму в строго типизированных языках состоит в определении отдельной версии функции для каждого типа данных, к которому она применима. Более того, если реализация типизированного языка обеспечивает проверку типов на этапе компиляции, нет никакой необходимости хранить информацию о типах на этапе выполнения программы, так как можно считать, что созданный компилятором код не содержит ошибок, связанных с типами данных. Это означает, например, что функции всегда применяются к аргументам правильного типа.  [52]



Страницы:      1    2    3    4