1 Eine Funktionsdefinition des Formulars:
attribute-specifier-seq opt decl-specifier-seq opt declarator virt-specifier-seq opt = default ;
wird als explizit voreingestellte Definition bezeichnet. Eine explizit voreingestellte Funktion soll
(1.1) - eine spezielle Mitgliedsfunktion sein,
(1.2) - haben denselben deklarierten Funktionstyp (mit Ausnahme möglicherweise unterschiedlicher Referenzqualifizierer und mit der Ausnahme, dass im Fall eines Kopierkonstruktors oder eines Kopierzuweisungsoperators der Parametertyp "Referenz auf Nicht-Konstante T" sein kann, wobei T ist den Namen der Klasse der Mitgliedsfunktion), als ob sie implizit deklariert worden wäre, und
(1.3) - keine Standardargumente haben.
2 Eine explizit voreingestellte Funktion, die nicht als gelöscht definiert ist, kann nur dann als constexpr deklariert werden, wenn sie implizit als constexpr deklariert worden wäre. Wenn eine Funktion bei ihrer ersten Deklaration explizit voreingestellt ist, wird sie implizit als constexpr betrachtet, wenn die implizite Deklaration wäre.
3 Wenn eine explizit voreingestellte Funktion mit einem noexcept-Spezifizierer deklariert wird, der nicht dieselbe Ausnahmespezifikation wie die implizite Deklaration (18.4) erzeugt, dann
(3.1) - Wenn die Funktion bei ihrer ersten Deklaration explizit voreingestellt ist, wird sie als gelöscht definiert.
(3.2) - Andernfalls ist das Programm fehlerhaft.
4 [Beispiel:
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
- Beispiel beenden]
5 Explizit voreingestellte Funktionen und implizit deklarierte Funktionen werden gemeinsam als voreingestellte Funktionen bezeichnet, und die Implementierung muss implizite Definitionen für sie bereitstellen (15.1 15.4, 15.8), was bedeuten kann, dass sie als gelöscht definiert werden. Eine Funktion wird vom Benutzer bereitgestellt, wenn sie vom Benutzer deklariert und bei ihrer ersten Deklaration nicht explizit als Standard festgelegt oder gelöscht wurde. Eine vom Benutzer bereitgestellte explizit voreingestellte Funktion (dh explizit voreingestellte Funktion nach ihrer ersten Deklaration) wird an dem Punkt definiert, an dem sie explizit voreingestellt ist. Wenn eine solche Funktion implizit als gelöscht definiert ist, ist das Programm fehlerhaft. [Hinweis: Das Deklarieren einer Funktion als Standard nach ihrer ersten Deklaration kann eine effiziente Ausführung und präzise Definition ermöglichen und gleichzeitig eine stabile binäre Schnittstelle zu einer sich entwickelnden Codebasis ermöglichen. - Endnote]
6 [Beispiel:
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
- Beispiel beenden]
Dann ist natürlich die Frage, welche Funktionen implizit deklariert werden können und wann dies geschieht, was ich unter erklärt habe: