1 Definicja funkcji formularza:
attribute-specifier-seq opt decl-specifier-seq opt declarator virt-specifier-seq opt = default ;
nazywa się definicją jawnie domyślną. Funkcja, która jest wyraźnie domyślnie niewykonana, powinna
(1.1) - być specjalną funkcją członka,
(1.2) - mają ten sam zadeklarowany typ funkcji (z wyjątkiem możliwie różnych kwalifikatorów ref i z wyjątkiem tego, że w przypadku konstruktora kopii lub operatora przypisania kopii, typ parametru może być „odniesieniem do non-const T”, gdzie T jest nazwa klasy funkcji składowej), jak gdyby została niejawnie zadeklarowana, oraz
(1.3) - nie mają domyślnych argumentów.
2 Funkcja jawnie domyślna, która nie jest zdefiniowana jako usunięta, może zostać zadeklarowana jako constexpr, tylko jeśli zostałaby niejawnie zadeklarowana jako constexpr. Jeśli funkcja jest domyślnie domyślnie domyślna w swojej pierwszej deklaracji, jest domyślnie uważana za constexpr, jeśli niejawna deklaracja byłaby.
3 Jeśli funkcja, która jest jawnie domyślna, zostanie zadeklarowana za pomocą specyfikatora noexcept, który nie tworzy tej samej specyfikacji wyjątku, co deklaracja niejawna (18.4), wówczas
(3.1) - jeśli funkcja jest domyślnie domyślnie ustawiona w pierwszej deklaracji, jest zdefiniowana jako usunięta;
(3.2) - w przeciwnym razie program jest źle sformułowany.
4 [Przykład:
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
- koniec przykładu]
5 Funkcje domyślnie niewykonane i funkcje niejawnie zadeklarowane są zbiorczo nazywane funkcjami domyślnymi, a implementacja powinna zapewnić dla nich niejawne definicje (15.1 15.4, 15.8), co może oznaczać zdefiniowanie ich jako usuniętych. Funkcja jest udostępniana przez użytkownika, jeśli jest zadeklarowana przez użytkownika i nie jest wyraźnie domyślnie domyślna ani usunięta przy pierwszej deklaracji. Podana przez użytkownika funkcja domyślnie niewykonana (tj. Wyraźnie domyślnie niewykonana po pierwszej deklaracji) jest zdefiniowana w punkcie, w którym jest wyraźnie domyślnie niewykonana; jeśli taka funkcja jest domyślnie zdefiniowana jako usunięta, program jest źle sformułowany. [Uwaga: Deklaracja funkcji jako domyślnej po pierwszej deklaracji może zapewnić wydajne wykonanie i zwięzłą definicję, jednocześnie umożliwiając stabilny interfejs binarny do ewoluującej bazy kodu. - uwaga końcowa]
6 [Przykład:
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
- koniec przykładu]
Następnie pojawia się pytanie, które funkcje można domyślnie zadeklarować i kiedy to nastąpi, co wyjaśniłem na: