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)
{

}

Обидва працюють; який стандартний спосіб і чому ?

Якщо ви помістите декларацію у файл заголовка, а визначення - в окремий .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);

У 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)
{
  // ...
}

Що стосується коду у вашому питанні, то обидва варіанти цілком дійсні, але вони означають різні речі. Перший варіант одразу оголошує аргумент за замовчуванням для другого параметра. Другий варіант спочатку оголошує вашу функцію без аргументів за замовчуванням, а потім додає один для другого параметра.

Чистий ефект обох ваших декларацій (тобто так, як це бачиться за кодом, який слідує за другим оголошенням) абсолютно однаковий: функція має аргумент за замовчуванням для свого другого параметра. Однак якщо вам вдасться видавити якийсь код між першою та другою деклараціями, ці два варіанти будуть вести себе по-різному. У другому варіанті функція не має аргументів за замовчуванням між деклараціями, тому вам доведеться чітко вказати обидва аргументи.

Перший спосіб віддав перевагу другому.

Це відбувається тому, що файл заголовка покаже, що параметр є необов’язковим і яким буде його значення за замовчуванням. Крім того, це забезпечить, що значення за замовчуванням буде однаковим, незалежно від реалізації відповідного .cpp-файлу.

По-друге, немає гарантії значення за замовчуванням для другого параметра. Значення за замовчуванням може змінюватися залежно від способу реалізації відповідного .cpp-файлу.

Аргументи за замовчуванням повинні бути вказані з першим виникненням назви функції - як правило, в прототипі функції. Якщо прототип функції опущено, оскільки визначення функції також виконує роль прототипу, тоді аргументи за замовчуванням повинні бути вказані у заголовку функції.