Необязательные аргументы функций

Имена функций

В языке C++ допустимо иметь несколько функций с одним и тем же именем, потому что функции различаются не только по именам, но и по типам аргументов. Если в дополнение к определенной выше функции sum мы определим еще одну функцию с тем же именем

doublesum(double a, double b, double c){ double result; result = a + b + c; return result;}

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

int x, y, z, ires;double p,q,s, dres;. . .// вызвать первое определение функции sumires = sum(x,y,z);// вызвать второе определение функции sumdres = sum(p,q,s);

При первом вызове функции sum все фактические аргументы имеют тип int. Поэтому вызывается первая функция. Во втором вызове все аргументы имеют тип double, соответственно, вызывается вторая функция.

Важен не только тип аргументов, но и их количество. Можно определить функцию sum, суммирующую четыре аргумента:

intsum(int x1, int x2, int x3, int x4){ return x1 + x2 + x3 + x4;}

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

int foo(int x);double foo(int x); // ошибка – двукратное определение имени

При объявлении функций в языке C++ имеется возможность задать значения аргументов по умолчанию. Первый случай применения этой возможности языка – сокращение записи. Если функция вызывается с одним и тем же значением аргумента в 99% случаев, и это значение достаточно очевидно, можно задать его по умолчанию. Предположим, функция exp возводит число в произвольную целую положительную степень. Чаще всего она используется для возведения в квадрат. Ее объявление можно записать так:

double exp(double x, unsigned int e = 2);

Определение функции:

doubleexp(double x, unsigned int e){ double result = 1; for (int i = 0; i < e; i++) result *= x; return result;}main(){ double y = exp(3.14); double x = exp(2.9, 5); }

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

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

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

double exp(double x, unsigned int e = 2);double exp(double x);

приведет к ошибке компиляции – неоднозначности определения функции. Это происходит потому, что вызов

double x = exp(4.1);

подходит как для первой, так и для второй функции.