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

У этого термина существуют и другие значения, см. Параметр (значения).

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

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

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

• фактический параметр — аргумент, передаваемый в функцию при ее вызове;
• формальный параметр — аргумент, указываемый при объявлении или определении функции.^{[1] [2]}

Пример на языке Си:

// Объявление функции. int a - формальный параметр, имя параметра может отсутствовать.
int myfunction(int a); 
 
// Определение функции. int b - формальный параметр, имя параметра может не совпадать с указанным при объявлении функции.
int myfunction(int b) 
{
   return 0;
}
 
int main()
{
    int c=0;
    myfunction(c); // Вызов функции. c - фактический параметр.
    return 0;
}

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

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

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

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

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

Если необходимо именно изменить переменную из внешней, по отношению к вызываемой функции, области видимости, можно копировать адрес переменной, подлежащей изменению. Соответственно при вызове функции 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. Процедуры и функции // Иллюстрированный самоучитель по Турбо Паскалю.

Ссылки

1. ↑ The GNU C Programming - Actual parameters and formal parameters  (англ.).
2. ↑ Определение и вызов функций.

Для улучшения этой статьи желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.