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

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

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

Содержание

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

См. также

Литература

Ссылки

Полезное

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

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

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

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

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

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

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

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

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

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

Источник

ru.knowledgr.com

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

В отличие от аргумента в обычном использовании, аргументом в информатике является фактическое входное выражение, переданное/переданное функции, процедуре или подпрограмме в операторе вызова/вызова, тогда как параметр является переменной внутри реализации подпрограммы. Например, если подпрограмма определяется как, то это параметры, в то время как если она вызывается как, то это аргументы. Следует отметить, что переменные (и их выражения) из контекста вызова могут быть аргументами: если подпрограмма вызывается, то переменные являются аргументами, а не значениями. Дополнительные сведения см. в разделе Параметры и аргументы.

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

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

Пример

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

В этом примере функция была вызвана с аргументом 10.00. Когда это произойдет, цена будет присвоена 10,00, и функция начнет вычисление своего результата. Шаги для получения результата указаны ниже, enclosed в <>. Указывает, что первое, что нужно сделать, это 0.05 на значение цены, которая дает 0.50. означает, что функция будет производить результат. Следовательно, конечный результат (игнорирование возможных ошибок округления, встречающихся при представлении десятичных фраз как бинарных фраз) равен 0.50.

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

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

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

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

Функция Sum имеет два параметра: addend1 и addend2. Он добавляет значения, передаваемые в параметры, и возвращает результат вызывающему абоненту подпрограммы (используя que, автоматически предоставляемый C comp);.

Код, вызывающий функцию Sum, может выглядеть следующим образом: int e1 = 40; int e2 = 2; int sum _ value = Sum (e1, e2); Переменные e1 и e2 инициализируются с помощью es. e1 и e2 являются аргументами к этой функции.

Во время выполнения значения, присвоенные этим переменным, передаются функции Sum в качестве аргументов. В функции «Сумма» параметры «addend1» и «addend2» являются, что приводит к появлению аргументов 40 и 2 соответственно. Значения аргументов добавляются, и результат возвращается вызывающему абоненту, где он назначается переменной sum _ value.

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

Альтернативная конвенция в Eyphel

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

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

сумма (addend1: INTEGER; addend2: INTEGER): INTEGER do Result: = addend1 + addend2 end

Рутина принимает два аргумента и, которые называются формальными аргументами рутины. Вызов specifyactual arguments, как показано ниже с и.

sum _ value: INTEGER e1: INTEGER = 40 e2: INTEGER = 2 sum _ value: = sum (e1, e2)

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

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

my _ dictionary: HASH _ TABLE [STRING, STRING]

Типы данных

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

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

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

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

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

Некоторые языки программирования, такие как Ada, C++, Common jure, Common Lisp, Fortran 90, P on, Ruby, Tcl и Windows PowerShell, допускают, что аргумент по умолчанию должен быть исчерпывающим или подразумеваемым в объявлении подпрограммы. Это позволяет вызывающему абоненту использовать этот аргумент при вызове подпрограммы. Если аргумент по умолчанию задан точно, то это значение используется, если оно не предоставлено вызывающей стороной. Если аргументом по умолчанию является implici (иногда с помощью ключевого слова, такого как Optional), то язык предоставляет хорошо известное значение (такое как null, Empty, zero, пустая строка и т. д.), если значение не предоставлено вызывающей стороной.

PS > doc 88 88 gigawatts? 88 gigawatts? Great Scott! Аргументы по умолчанию можно рассматривать как особый случай списка аргументов переменной длины.

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

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

PS > marty 2015 1985 1955 назад к 2015 году назад к 1985 назад к 1955 году

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

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

PS > ifer ‘fresh’ ‘опытный’ Young ifer: Я свежий! Старый ifer: я опытный!

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

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

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

Выходной параметр, также известный как выходной параметр или возвращаемый параметр, является параметром, используемым для вывода, а не более обычным для ввода. Использование вызова по ссылочным параметрам или вызов по значениям параметров, где значение является ссылочным, так как выходные параметры являются idiom в некоторых языках, примечательно C и C++, в то время как другие языки имеют встроенную поддержку выходных параметров. Языки со встроенной поддержкой выходных параметров включают Ada (см. Ada subprograms), Fortran (начиная с Fortran 90; см. Fortran «intent&quot);, различные процедурные расширения к SQL, такие как PL/SQL (см. функции PL/SQL) и Transact-SQL, C # и | Framework, Swift, и скриптский язык (описание).

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

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

Например, для возврата двух переменных из функции в C можно записать: int width int height;

Обычный вариант использования на языках C и родственных языках предназначен для обработки исключений, когда функция помещает возвращаемое значение в выходную переменную и возвращает логическое значение, соответствующее тому, ли функция ed или нет. Архетипическим примером является метод в, особенно C #, который анализирует строку в целое число, возвращая успех и неудачу. Имеет следующую подпись: public c bool TryParse (string s, out int result) и может использоваться следующим образом: int result; если (! Int32.TryParse, result) указывает несколько выходных значений, возвращаемых значений, Object obj = G (y, F (x)); при записи с выходными и входными параметрами вместо этого становится (для него это выходной параметр, для входного/выходного параметра): Object obj; F (x, & obj);

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

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

Для возврата нескольких значений из функции альтернативой является возврат перепорки. Синхронно это clearer, если можно использовать автоматическую распаковку последовательности и параллельную ассимиляцию, как в Go или P on, например: def f : return 1, 2 a, b = f

Для возврата значения одного из нескольких типов вместо него можно использовать объединение с тегами, наиболее распространенными случаями являются типы, допускающие значения NULL (типы опций), где возвращаемое значение может иметь значение null, указывающее на сбой. Для обработки исключений можно вернуть тип, допускающий значения NULL, или создать исключение. Например, в P on один может иметь либо: result = parse (s), если результатом является None: # обработка исключений или, более того, idiomati : try: result = parse (s), кроме ParseError: # обработка исключений: # обработка исключений

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

Обычной альтернативой выходным параметрам на языке C и родственных языках является возврат единой структуры данных, содержащей все возвращаемые значения. Например, при наличии структуры, охватывающей ширину и высоту, можно записать: WidthHeight width _ and _ height = F (x);

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

Источник

СОДЕРЖАНИЕ

Пример

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

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

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

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

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

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

Типы данных

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Недостатки

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

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

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

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

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

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

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

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

Источник

Урок №13. Параметры и аргументы функций

Обновл. 11 Сен 2021 |

На предыдущем уроке мы говорили о том, что функция может возвращать значение обратно в caller, используя оператор return. На этом уроке мы узнаем, что такое аргументы в функции и что такое параметры в функции.

Параметры и аргументы функций

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

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

Аргумент функции — это значение, которое передается из caller-а в функцию и которое указывается в скобках при вызове функции в caller-е:

Обратите внимание, аргументы тоже перечисляются через запятую. Количество аргументов должно совпадать с количеством параметров, иначе компилятор выдаст сообщение об ошибке.

Как работают параметры и аргументы функций?

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

Как работают параметры и возвращаемые значения функций?

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

Например, простая функция, которая принимает два целых числа и возвращает их сумму:

Результат выполнения программы:

Еще примеры

Рассмотрим еще несколько вызовов функций:

Результат выполнения программы:

С первыми двумя вызовами всё понятно.

Следующая пара относительно лёгкая для понимания:

Теперь рассмотрим вызов посложнее:

add(1, multiply(2, 3)) => add(1, 6) => 7

Последний вызов может показаться немного сложным из-за того, что параметром функции add() является другой вызов add():

add(1, add(2, 3)) => add(1, 5) => 6

Задание №1: Что не так со следующим фрагментом кода?

Задание №2: Какие здесь есть две проблемы?

Задание №3: Какой результат выполнения следующей программы?

Задание №4: Напишите функцию doubleNumber(), которая принимает целое число в качестве параметра, удваивает его, а затем возвращает результат обратно в caller.

Задание №5: Напишите полноценную программу, которая принимает целое число от пользователя (используйте std::cin), удваивает его с помощью функции doubleNumber() из предыдущего задания, а затем выводит результат на экран.

Ответы

Чтобы просмотреть ответ, кликните на него мышкой.

Ответ №1

Функция multiply() имеет тип возврата void, что означает, что эта функция не возвращает значения. Но, так как она все равно пытается возвратить значение с помощью оператора return, мы получим ошибку от компилятора. Функция должна иметь тип возврата int.

Ответ №2

Проблема №1: main() передает один аргумент в multiply(), но multiply() имеет два параметра.

Проблема №2: multiply() вычисляет результат и присваивает его локальной переменной, которую не возвращает обратно в main(). А поскольку тип возврата функции multiply() — int, то мы получим ошибку (в некоторых компиляторах) или неожиданные результаты (в остальных компиляторах).

Ответ №3

Источник