1 Визначення функції форми:
attribute-specifier-seq opt decl-specifier-seq opt declarator virt-specifier-seq opt = default ;
називається явно дефолтним визначенням. Функція, яка є явно дефолтом, повинна
(1.1) - бути функцією спеціального члена,
(1.2) - мають той самий оголошений тип функції (за винятком можливо різних класифікаторів, за винятком випадків, що стосується конструктора копії або оператора присвоєння копії, тип параметра може бути "посиланням на нестандартний T", де T є назва класу функції-члена), як ніби це було неявно оголошено, і
(1.3) - не мають аргументів за замовчуванням.
2 Явно дефолтована функція, яка не визначена як видалена, може бути оголошена constexpr, тільки якщо вона була б неявно оголошена як constexpr. Якщо функція явно за замовчуванням у своєму першому оголошенні, вона неявно вважається constexpr, якщо неявна заява буде.
3 Якщо функція, яка явно встановлена за замовчуванням, оголошена за допомогою специфікатора noexcept, який не створює таку ж специфікацію винятків, що і неявна декларація (18.4), тоді
(3.1) - якщо функція явно за замовчуванням у своєму першому оголошенні, вона визначається як видалена;
(3.2) - інакше програма неправильно сформована.
4 [Приклад:
struct S {
constexpr S() = default; // ill-formed: implicit S() is not constexpr
S(int a = 0) = default; // ill-formed: default argument
void operator=(const S&) = default; // ill-formed: non-matching return type
~ S() noexcept(false) = default; // deleted: exception specification does not match
private:
int i; // OK: private copy constructor
S(S&);
};
S::S(S&) = default; // OK: defines copy constructor
- кінцевий приклад]
5 Явно дефолтовані функції та неявно оголошені функції називаються спільно визначеними функціями, і реалізація повинна містити неявні визначення для них (15.1 15.4, 15.8), що може означати визначення їх як видалених. Функція надається користувачем, якщо вона оголошена користувачем і не є явним за замовчуванням або видалена в першій декларації. Надана користувачем функція явного дефолту (тобто явно дефолт після його першого оголошення) визначається в точці, де вона явно дефолт; якщо така функція неявно визначена як видалена, програма неправильно формується. [Примітка: Оголошення функції за замовчуванням після її першого оголошення може забезпечити ефективне виконання та стисле визначення, одночасно дозволяючи стабільному бінарному інтерфейсу до кодової бази, що розвивається. - кінцева примітка]
6 [Приклад:
struct trivial {
trivial() = default;
trivial(const trivial&) = default;
trivial(trivial&&) = default;
trivial& operator=(const trivial&) = default;
trivial& operator=(trivial&&) = default;
~ trivial() = default;
};
struct nontrivial1 {
nontrivial1();
};
nontrivial1::nontrivial1() = default; // not first declaration
- кінцевий приклад]
Тоді, звичайно, питання, які функції можна неявно оголосити, і коли це відбувається, що я пояснив у: