что такое параметр в информатике

Параметр (программирование)

Пара́метр в программировании — принятый функцией аргумент. Термин «аргумент» подразумевает, что конкретно и какой конкретной функции было передано, а параметр — в каком качестве функция применила это принятое. Т.е. вызывающий код передает аргумент в параметр, который определен в спецификации функции.

Содержание

Фактический или формальный

По способу применения различают:

Передача параметра

Передача параметра возможна по значению и по ссылке. Иногда также используют выражение «передача параметра по адресу». Ниже приведён пример, иллюстрирующий различия этих способов.

Передача параметра по значению

Передача параметра по значению означает что вызывающая функция копирует в память, доступную вызываемой, (обычно стек) непосредственное значение. Изменение копии переменной, соответственно, оригинал не затрагивает.

Передача параметра по адресу

Если необходимо именно изменить переменную из внешней, по отношению к вызываемой функции, области видимости, можно копировать адрес переменной, подлежащей изменению. Соответственно при вызове функции g(&x) приходится использовать операцию взятия адреса. Эта техническая деталь отвлекает внимание программиста от логики прикладной программы, однако в случаях невозможности передачи по ссылке может оказаться единственным решением.

Можно заметить, что передача параметра по адресу является частным случаем передачи по значению: передаваемым значением является адрес, по которому можно найти другое значение — значение переменной x.

Передача параметра по ссылке

Передача параметра по ссылке означает что копируется не само значение, а адрес исходной переменной (как в случае передачи параметра по адресу), однако синтаксис используется такой, чтобы программисту не приходилось использовать операцию разыменования и он мог иметь дело непосредственно со значением, хранящимся по этому адресу (как в случае передачи параметра по значению).

Передача по ссылке позволяет избежать копирования всей информации, описывающей состояние объекта (а это может быть существенно больше чем sizeof(int)) и является необходимой для конструктора копирования.

Если функция возвращает значение по ссылке (например, в виде «return *this;»), то её вызов можно использовать слева от оператора присваивания (смотри также L-выражение).

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

Таким образом можно ожидать, что примерная программа напечатает (если закоментировать ошибочную строку) «0010 022 233 333».

См. также

Литература

Ссылки

Полезное

Смотреть что такое «Параметр (программирование)» в других словарях:

Параметр (значения) — Параметр (математика) Параметр (программирование) Параметр (свойство карт ККИ) Параметр (техника) … Википедия

ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия

ПРОГРАММИРОВАНИЕ ПАРАЛЛЕЛЬНОЕ — раздел программирования, связанный с изучением и разработкой методов и средств для: а) адекватного описания в программах естественного параллелизма моделируемых в ЭВМ и управляемых ЭВМ систем и процессов, б) распараллеливания обработки информации … Математическая энциклопедия

Аргумент (программирование) — У этого термина существуют и другие значения, см. Аргумент. В программировании: аргумент функции значение (число, указатель и т. д.), передаваемое функции, а также символьное имя (название переменной) в тексте программы,… … Википедия

Параметрическое программирование — (англ. parametrical programming) У этого термина существуют и другие значения, см. Параметрическое программирование (значения). Параметрическое программирование (Макропрограммирование) это язык программирования ЧПУ. Производители систем… … Википедия

Обобщённое программирование — (англ. generic programming) парадигма программирования, заключающаяся в таком описании данных и алгоритмов, которое можно применять к различным типам данных, не меняя само это описание. В том или ином виде поддерживается разными… … Википедия

Обобщенное программирование — Обобщённое программирование парадигма программирования, заключающаяся в таком описании данных и алгоритмов, которое можно применять к различным типам данных, не меняя само это описание. В том или ином виде поддерживается разными языками… … Википедия

Процедура (программирование) — Подпрограмма (англ. subprogram) поименованная или иным образом идентифицированная часть компьютерной программы, содержащая описание определённого набора действий. Подпрограмма может быть многократно вызвана из разных частей программы. В языках… … Википедия

Шаблон (программирование) — Шаблоны (англ. template) средство языка C++, предназначенное для кодирования обобщённых алгоритмов, без привязки к некоторым параметрам (например типам данных, размерам буферов, значениям по умолчанию). В C++ возможно создание шаблонов функций и … Википедия

Источник

Параметры (информатика)

Различают «формальные параметры» (= как часть определения функции в программном коде; пример 🙂 (

Если аргумент не передается для каждого параметра при вызове (под) программы, это может использовать стандартное предположение, сделанное при создании программы, или (в зависимости от реализации) обработка может быть отменена из-за отсутствия параметров.

Содержание

Назначение параметров

С точки зрения концепции системы параметры являются входными данными ; однако они отличаются от обычных входных данных, например Б. следующим образом:

Различные термины параметров

Параметры используются в различных функциях информатики:

При использовании нескольких параметров важно уметь идентифицировать и различать отдельные параметры. Для этого есть два метода обнаружения:

Допускаются ли пустые параметры и как их обрабатывать, например Б. пустая строка символов или стандартное предположение ( аргумент по умолчанию для английского языка ) должна обрабатываться программой. Формат, в котором они должны быть указаны, также должен быть указан / согласован для обоих вариантов ; в примере: «чч: мм», по 2 цифры, разделенные двоеточием.

Кроме того, параметры можно различать по:

Примеры параметров

В самом широком смысле компьютерные команды (на всех языках программирования, а также на машинном языке ) являются параметрами: они содержат код функции, а также адреса, длину и т. Д. Для данных, подлежащих обработке. Информация интерпретируется и декодируется блоком управления компьютера и исполняется соответствующим образом.

Конкретный пример применения параметров:

В рамках приложения для управления счетами должна быть создана программа, которая выводит счета для пользователей в виде списка. В качестве технического требования было определено, что в этом списке отображаются все еще не оплаченные счета-фактуры старше 1 месяца, рассчитанные на момент запуска программы.

СМИ для передачи параметров

Параметры в подпрограммах

Передача параметров / аргументов

Перенос через стек

Для этого в других системных средах используется стековый механизм. В этих случаях необходимы следующие базовые знания, чтобы понять, как работают подпрограммы:

В основном память процессоров делится на

У каждого потока есть свой стек. В этом сохраняются:

Параметры передаются через стек. Каждый фактический параметр помещается в стек в том порядке, в котором он обрабатывается, обычно слева направо (в соответствии со строго определенным соглашением о вызовах ). При необходимости он конвертируется в формат, требуемый подпрограммой.

Значения или ссылки / указатели как параметры

Вызов function(data) без оператора ссылки & приводит к синтаксической ошибке. В C, однако, только если известен прототип вызываемой функции.

В C или C ++ также можно запрограммировать передачу значений вместо обычно разумной и обычной передачи ссылок. Выглядит это так:

При вызове все содержимое структуры копируется в стек. Это может быть много, если структура обширная. Это может привести к сбою всего процесса, если пределы стека превышены, а это не распознается в среде выполнения. Перенос стоимости полезен в следующих случаях:

Обратная запись через ссылочные данные

Во многих языках программирования результаты также могут быть записаны обратно с использованием ссылок, которые были переданы как параметры подпрограммы, например, в C и C ++:

Это также относится к Java. Ответная реакция может быть нежелательной, так как следует предотвратить побочные эффекты. Подпрограмма должна обрабатывать значения определенных структур данных только для чтения и не должна на них влиять. В C ++ (или в C) можно сформулировать:

Обозначение, используемое здесь с ключевым словом, const должно пояснять, что указанная (указанная) область должна рассматриваться как постоянная. Возможно, const Type* то, что написано, является синтаксически и семантически идентичным. Только в этом случае можно вообще передать область памяти, объявленную постоянной. Постройка

Однако в C и C ++ можно изменить тип указателя внутри функции и при этом по-прежнему иметь доступ для записи в область памяти. Такое программирование следует использовать только в особых случаях и должным образом задокументировать извне.

В объектно-ориентированном программировании на Java и C ++ ссылка на this данные класса неявно передается с указателем. Поэтому всегда можно записать свои собственные данные для методов класса.

Реализация на машинном уровне

Для подпрограмм на уровне машинного языка (ассемблер) это не имеет особого значения, или это зависит от программиста, как он управляет передачей параметров и адресом возврата. Также возможна передача и сохранение только в регистрах процессора. Однако при управлении адресом возврата необходимо учитывать необходимость вложенного вызова нескольких (обычно разных) подпрограмм внутри друг друга. Ограничение до нескольких или только одного уровня имеет смысл только для очень простых задач. Однако на самом деле такие концепции существуют для специализированных процессоров и задач.

На ассемблере все это нужно программировать самостоятельно. В языках программирования C ++ и C это делает переводчик. В Java то же самое происходит в областях памяти виртуальной машины, организованных с помощью байт-кода (сгенерированного транслятором Java) и машинного кода в виртуальной машине.

В качестве иллюстрации показан сгенерированный код ассемблера ( ассемблер 80×86 ) следующей простой функции:

Машинный код для звонка: float y = parabel(2.0F);

Машинный код подпрограммы:

В следующем примере показан рукописный код ассемблера для сигнального процессора ADSP-216x от Analog Devices для вызова следующей функции из C:

Определение и техническое применение параметров подпрограммы

Формальные параметры

Пример: объявление подпрограммы в языках программирования PASCAL и Delphi с x и y в качестве формальных параметров:

Формальные параметры здесь x и y являются заполнителями для аргументов или фактических параметров, которые должны передаваться каждый раз, когда они используются.

Фактические параметры или аргументы

Пример: вызов подпрограммы с различными фактическими параметрами:

Подсказка типов

Замените формальные параметры фактическими

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

В макросе формальный параметр текстуально заменяется фактическим параметром. Отличие параметров имени в том, что разрешены конфликты имен. Если в фактическом параметре есть переменная, имя которой совпадает с именем локальной переменной, локальная переменная используется для раскрытия макроса.

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

Пример передачи различных параметров

Объяснение: Призывы test не изменять переменные a и b, чтобы переменные сохраняли свое исходное значение после завершения подпрограммы.

Вывод для справочных параметров ( вызов по ссылке )

Вывод для параметров результата значения ( вызов по значению и результат )

Параметры командной строки

Пример: фиктивный вызов программы через командную строку под Windows

В DOS (в традициях OpenVMS ) «/» традиционно используется вместо «-», а значения имен параметров разделяются «=». Оба стиля можно найти в Windows.

Источник

В компьютерное программирование, а параметр или формальный аргумент, особый вид Переменная, используется в подпрограмма для ссылки на один из фрагментов данных, предоставляемых в качестве входных данных для подпрограммы. [а] Эти фрагменты данных являются значениями [1] [2] [3] из аргументы (часто называют фактические аргументы или же фактические параметры), с помощью которого подпрограмма будет вызвана / вызвана. Упорядоченный список параметров обычно включается в определение подпрограммы, так что каждый раз, когда вызывается подпрограмма, ее аргументы для этого вызова оцениваются, и полученные значения могут быть присвоены соответствующим параметрам.

В наиболее частом случае вызов по значению, параметр действует в подпрограмме как новая локальная переменная, инициализированная значением аргумента ( местный (изолированная) копия аргумента, если аргумент является переменной), но в других случаях, например позвонить по ссылкена переменную аргумента, предоставленную вызывающей стороной, могут влиять действия в вызываемой подпрограмме (как описано в стратегия оценки).

Семантика того, как могут быть объявлены параметры и как (значения) аргументов передаются параметрам подпрограмм, определяется языком, но детали того, как это представлено в любой конкретной компьютерной системе, зависят от соглашения о вызовах этой системы.

Содержание

Пример

После определения функции ее можно вызывать следующим образом:

Параметры и аргументы

Напротив, аргументами являются выражения [5] Предоставляется процедуре при ее вызове, обычно одно выражение, соответствующее одному из параметров. В отличие от параметров, которые составляют неизменную часть определения процедуры, аргументы могут изменяться от вызова к вызову. Каждый раз, когда вызывается процедура, часть вызова процедуры, которая определяет аргументы, называется список аргументов.

Хотя параметры также обычно называют аргументами, аргументы иногда рассматриваются как фактические значения или ссылки, присвоенные переменным параметра, когда подпрограмма вызывается в время выполнения. При обсуждении кода, который вызывает подпрограмму, любые значения или ссылки, переданные в подпрограмму, являются аргументами, а место в коде, где эти значения или ссылки даются, является список параметров. При обсуждении кода внутри определения подпрограммы переменные в списке параметров подпрограммы являются параметрами, а значения параметров во время выполнения являются аргументами. Например, в C при работе с потоками обычно передается аргумент типа void * и приводится к ожидаемому типу:

Чтобы лучше понять разницу, рассмотрим следующую функцию, написанную на C:

Функция Сумма имеет два параметра с именем добавление1 и добавление 2. Он добавляет значения, переданные в параметры, и возвращает результат вызывающей программе подпрограммы (используя метод, автоматически предоставляемый компилятором C).

Код, вызывающий Сумма функция может выглядеть так:

Переменные значение1 и значение2 инициализируются значениями. значение1 и значение2 оба аргумента сумма функции в этом контексте.

Во время выполнения значения, присвоенные этим переменным, передаются функции Сумма как аргументы. в Сумма функция, параметры добавление1 и добавление 2 оцениваются, давая аргументы 40 и 2 соответственно. Значения аргументов добавляются, и результат возвращается вызывающей стороне, где он присваивается переменной sum_value.

Из-за разницы между параметрами и аргументами можно предоставить процедуре несоответствующие аргументы. Вызов может предоставить слишком много или слишком мало аргументов; один или несколько аргументов могут быть неправильного типа; или аргументы могут быть указаны в неправильном порядке. Любая из этих ситуаций вызывает несоответствие между списками параметров и аргументов, и процедура часто возвращает непреднамеренный ответ или генерирует ошибка выполнения.

Альтернативная конвенция в Эйфеле

В рамках Эйфель метод и язык разработки программного обеспечения, термины аргумент и параметр имеют различное использование, установленное соглашением. Период, термин аргумент используется исключительно по отношению к входам подпрограммы, [6] и срок параметр используется исключительно в параметризации типа для общие классы. [7]

Рассмотрим следующее обычное определение:

Параметры также рассматриваются как формальный или же действительный. Формальные общие параметры используются в определении универсальных классов. В приведенном ниже примере класс ХЕШ-ТАБЛИЦА объявлен как универсальный класс, имеющий два формальных универсальных параметра, грамм представляющие интересующие данные и K представляющий хеш-ключ для данных:

Типы данных

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

В некоторых языках используются специальные ключевые слова (например, пустота), чтобы указать, что подпрограмма не имеет параметров; в формальном теория типов, такие функции принимают пустой список параметров (тип которого не пустота, скорее единица измерения).

Передача аргумента

Точный механизм присвоения аргументов параметрам, называемый передача аргументов, зависит от стратегия оценки используется для этого параметра (обычно вызов по значению), которые можно указать с помощью ключевых слов.

Аргументы по умолчанию

Некоторые языки программирования, такие как Ада, C ++, Clojure, Common Lisp, Фортран 90, Python, Рубин, Tcl, и Windows PowerShell позволить аргумент по умолчанию быть явно или неявно указанным в объявлении подпрограммы. Это позволяет вызывающей стороне опустить этот аргумент при вызове подпрограммы. Если аргумент по умолчанию указан явно, то используется это значение, если оно не предоставлено вызывающей стороной. Если аргумент по умолчанию является неявным (иногда с использованием ключевого слова, например Необязательный), тогда язык предоставляет хорошо известное значение (например, ноль, Пустой, ноль, пустая строка и т. д.), если значение не предоставлено вызывающим.

Аргументы по умолчанию можно рассматривать как частный случай списка аргументов переменной длины.

Списки параметров переменной длины

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

Именованные параметры

Некоторые языки программирования, такие как Ада и Windows PowerShell—Разрешить подпрограммам иметь именованные параметры. Это позволяет сделать код вызова более точным. самодокументирующий. Это также обеспечивает большую гибкость для вызывающей стороны, часто позволяя изменять порядок аргументов или опускать аргументы по мере необходимости.

Несколько параметров на функциональных языках

В лямбда-исчисление, каждая функция имеет ровно один параметр. То, что считается функциями с несколькими параметрами, обычно представляется в лямбда-исчислении как функция, которая принимает первый аргумент и возвращает функцию, которая принимает остальные аргументы; это преобразование, известное как карри. Некоторые языки программирования, например ML и Haskell, следуйте этой схеме. В этих языках каждая функция имеет ровно один параметр, и то, что может выглядеть как определение функции с несколькими параметрами, на самом деле синтаксический сахар для определения функции, которая возвращает функцию и т. д. Приложение функции является левоассоциативный в этих языках, а также в лямбда-исчислении, поэтому то, что выглядит как применение функции к нескольким аргументам, правильно оценивается как функция, примененная к первому аргументу, затем получившаяся функция, примененная ко второму аргументу и т. д.

Выходные параметры

В некоторых случаях различаются только ввод и ввод / вывод, при этом вывод рассматривается как конкретное использование ввода / вывода, а в других случаях поддерживаются только ввод и вывод (но не ввод / вывод). Режим по умолчанию варьируется в зависимости от языка: в Fortran 90 ввод / вывод по умолчанию, в C # и расширениях SQL ввод по умолчанию, а в TScript каждый параметр явно указывается как ввод или вывод.

Синтаксически режим параметра обычно указывается ключевым словом в объявлении функции, например пустота f (out int x) в C #. Обычно выходные параметры часто помещаются в конец списка параметров, чтобы их четко различать, хотя это не всегда соблюдается. TScript использует другой подход, когда в объявлении функции перечислены входные параметры, а затем выходные параметры, разделенные двоеточием (:), и нет типа возврата для самой функции, как в этой функции, которая вычисляет размер текста. фрагмент:

Синтаксически аналогичная конструкция для выходных параметров заключается в назначении возвращаемое значение в переменную с тем же именем, что и функция. Это находится в Паскаль и Фортран 66 и Фортран 77, как в этом примере Паскаля:

Использовать

Например, чтобы вернуть две переменные из функции в C, можно написать:

куда Икс является входным параметром и ширина и высота являются выходными параметрами.

и может использоваться следующим образом:

Аналогичные соображения применимы к возврату значения одного из нескольких возможных типов, где возвращаемое значение может указывать тип, а затем значение сохраняется в одной из нескольких выходных переменных.

Недостатки

Параметры вывода и ввода / вывода предотвращают функциональная композиция, поскольку вывод хранится в переменных, а не в значении выражения. Таким образом, сначала нужно объявить переменную, а затем каждый шаг цепочки функций должен быть отдельным оператором. Например, в C ++ следующий состав функций:

при записи с параметрами вывода и ввода / вывода вместо этого становится (для F это выходной параметр, для грамм параметр ввода / вывода):

В особом случае функции с одним выходным или входным / выходным параметром и без возвращаемого значения, композиция функции возможна, если выходной или входной / выходной параметр (или в C / C ++, его адрес) также возвращается функцией, в этом случае приведенное выше становится:

Альтернативы

Существуют различные альтернативы вариантам использования выходных параметров.

Альтернативой для возврата из функции нескольких значений является возврат кортеж. Синтаксически это будет яснее, если автоматическая распаковка последовательности и параллельное назначение можно использовать, как в Идти или Python, например:

Для возврата значения одного из нескольких типов используется помеченный союз можно использовать вместо этого; наиболее частыми случаями являются типы, допускающие значение NULL (типы опционов), где возвращаемое значение может быть нулевым, чтобы указать на сбой. Для обработки исключений можно вернуть тип, допускающий значение NULL, или вызвать исключение. Например, в Python может быть:

или, более идиоматично:

Микрооптимизация, заключающаяся в том, что не требуется локальная переменная и копирует возвращаемый результат при использовании выходных переменных, также может быть применена к обычным функциям и возвращаемым значениям достаточно сложными компиляторами.

Обычной альтернативой выходным параметрам в C и связанных языках является возвращение единой структуры данных, содержащей все возвращаемые значения. [10] Например, учитывая структуру, инкапсулирующую ширину и высоту, можно написать:

В объектно-ориентированных языках вместо параметров ввода / вывода часто можно использовать позвонить, поделившись, передавая ссылку на объект и затем изменяя объект, но не изменяя, на какой объект ссылается переменная. [15]

Источник