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

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

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

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

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

Особенности использования:

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

Поддержка: некоторые языки не имеет специальных лексических средств поддержки формирования формальных, например Си/Си++, или фактических параметров.

Program parameter(output);
var iActual, iFormal: Integer;
Function actual_p(n: Integer): Integer;
begin {actual_p}
 n := 1;
 actual_p := n;
end {actual_p};
Function formal_p(var n: Integer): Integer;
begin {formal_p}
 n := 1;
 formal_p := n;
end {formal_p};
begin
 iActual := 0;
 iFormal := 0;
 WriteLn('Начальное значение переменной: ', iActual);
 WriteLn('Аргумент передан как фактический параметр и изменён:', actual_p(iActual));
 WriteLn('Конечное значение переменной: ', iActual);
 WriteLn('Начальное значение переменной: ', iFormal);
 WriteLn('Аргумент передан как формальный параметр и изменён:', formal_p(iFormal));
 WriteLn('Конечное значение переменной: ', iFormal);
 ReadLn; { Ожидание нажатия кнопики и enter, для закрытия окна. }
end.

#include <iostream>
 
using namespace std;
 
int actual_p(int n)
{
    n = 1;
    return n;
}
 
int formal_p(int &n)
{
    n = 1;
    return n;
}
 
int main()
{
    int iActual = 0;
    int iFormal = 0;
    cout << "Начальное значение переменной: " << iActual << endl;
    cout << "Аргумент передан как фактический параметр и изменён: " << actual_p(iActual) << endl; 
    cout << "Конечное значение переменной: " << iActual << endl;
    cout << "Начальное значение переменной: " << iFormal << endl;
    cout << "Аргумент передан как формальный параметр и изменён: " << formal_p(iFormal) << endl;
    cout << "Конечное значение переменной: " << iFormal << endl;
    return 0;
}

Начальное значение переменной: 0
Аргумент передан как фактический параметр и изменён: 1
Конечное значение переменной: 0
Начальное значение переменной: 0
Аргумент передан как формальный параметр и изменён: 1
Конечное значение переменной: 1

Как видно из работы программ:

• фактический параметр — значение аргумента;
• формальный параметр — имя аргумента, то есть указатель на переменную.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

#include <iostream>
using namespace std; // для использования cout
 
void f(int x)
{
    // передача параметра по значению
    cout << x;
    x = 1;
    cout << x;
}
 
void g(int* x)
{ 
    // передача параметра по адресу
    cout << *x;
    *x = 2;
    cout << *x;
}
 
void h(int& x)
{ 
    // передача параметра по ссылке
    cout << x;
    x = 3;
    cout << x;
}
 
void i(const int& x)
{ 
    // передача неизменяемого параметра по ссылке
    cout << x;
    x = 4; //Ошибка из-за которой код не будет скомпилирован
    cout << x;
}
 
int main()
{
    int x = 0;    
    cout << x;
    f(x);
    cout<< x << " ";
    g(&x);
    cout << x << " ";
    h(x);
    cout << x << " ";
    i(x);
    cout << x;
    return 0;
}

См. также

• Ссылка (программирование)

Литература

• В.В.Фаронов 8.2.2. Параметры // 8.2. Описание подпрограммы // Глава 8. Процедуры и функции // Иллюстрированный самоучитель по Турбо Паскалю.

Ссылки