Значение по умолчанию для параметра функции

Question

1.

int Add (int a, int b = 3);
int Add (int a, int b)
{

}

2.

int Add (int a, int b);
int Add (int a, int b = 3)
{

}

Обе работы;который является стандартным способом и почему ?

Answer 1

Если вы поместите объявление в файл заголовка, а определение в отдельный файл .cpp и заголовок #include из другого файла .cpp, вы увидите разницу.

В частности, предположим:

lib.h

int Add(int a, int b);

lib.cpp

int Add(int a, int b = 3) {
   ...
}

test.cpp

#include "lib.h"

int main() {
    Add(4);
}

Компиляция test.cpp не увидит объявление параметра по умолчанию и завершится с ошибкой.

По этой причине определение параметра по умолчанию обычно указывается в функции объявление :

lib.h

int Add(int a, int b = 3);

Answer 2

В C ++ требования, предъявляемые к аргументам по умолчанию в отношении их расположения в списке параметров, следующие:

1. Аргумент по умолчанию для данного параметра должен быть указан не более одного раза. Указывать его более одного раза (даже с одним и тем же значением по умолчанию) недопустимо.

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

Теперь, помня об этом, в C ++ вам разрешено «наращивать» набор параметров, имеющих аргументы по умолчанию, от одного объявления функции к следующему, если вышеуказанные требования постоянно выполняются.

Например, вы можете объявить функцию без аргументов по умолчанию

void foo(int a, int b);

Чтобы вызвать эту функцию после такого объявления, вам нужно явно указать оба аргумента.

Позже (далее) в том же модуле перевода вы можете повторно объявить его снова, но на этот раз с одним аргументом по умолчанию

void foo(int a, int b = 5);

и с этого момента вы можете вызвать его только одним явным аргументом.

Далее вы можете объявить его еще раз, добавив еще один аргумент по умолчанию

void foo(int a = 1, int b);

и с этого момента вы можете вызывать его без явных аргументов.

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

void foo(int a, int b);

int main()
{
  foo(2, 3);

  void foo(int a, int b = 5); // redeclare
  foo(8); // OK, calls `foo(8, 5)`

  void foo(int a = 1, int b); // redeclare again
  foo(); // OK, calls `foo(1, 5)`
}

void foo(int a, int b)
{
  // ...
}

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

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

Answer 3

Первый способ предпочтительнее второго.

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

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

Answer 4

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