explicit
specifier
Inhaltsverzeichnis |
Syntax
explicit
|
(1) | ||||||||
explicit (
expression
)
|
(2) | (seit C++20) | |||||||
| expression | - | kontextuell konvertierter konstanter Ausdruck vom Typ bool |
|
2)
Der
explicit
-Spezifizierer kann mit einem konstanten Ausdruck verwendet werden. Die Funktion ist explizit genau dann, wenn dieser konstante Ausdruck zu
true
ausgewertet wird.
|
(seit C++20) |
Der explicit-Spezifizierer darf nur innerhalb der decl-specifier-seq der Deklaration eines Konstruktors oder Konvertierungsfunktion (seit C++11) innerhalb seiner Klassendefinition erscheinen.
Hinweise
Ein Konstruktor mit einem einzelnen Nicht-Standardparameter (bis C++11) der ohne das Funktionsspezifizierer explicit deklariert wird, wird als converting constructor bezeichnet.
Sowohl Konstruktoren (außer copy / move ) als auch benutzerdefinierte Konvertierungsfunktionen können Funktions-Templates sein; die Bedeutung von explicit ändert sich nicht.
|
Ein
struct S { explicit (S)(const S&); // error in C++20, OK in C++17 explicit (operator int)(); // error in C++20, OK in C++17 }; |
(seit C++20) |
| Feature-Test-Makro | Wert | Std | Feature |
|---|---|---|---|
__cpp_conditional_explicit
|
201806L
|
(C++20) | Bedingtes explicit |
Schlüsselwörter
Beispiel
struct A { A(int) {} // konvertierender Konstruktor A(int, int) {} // konvertierender Konstruktor (C++11) operator bool() const { return true; } }; struct B { explicit B(int) {} explicit B(int, int) {} explicit operator bool() const { return true; } }; int main() { A a1 = 1; // OK: Copy-Initialisierung wählt A::A(int) A a2(2); // OK: Direktinitialisierung wählt A::A(int) A a3 {4, 5}; // OK: Direkt-Listeninitialisierung wählt A::A(int, int) A a4 = {4, 5}; // OK: Copy-Listeninitialisierung wählt A::A(int, int) A a5 = (A)1; // OK: Expliziter Cast führt static_cast aus if (a1) { } // OK: A::operator bool() bool na1 = a1; // OK: Copy-Initialisierung wählt A::operator bool() bool na2 = static_cast<bool>(a1); // OK: static_cast führt Direktinitialisierung aus // B b1 = 1; // Fehler: Copy-Initialisierung berücksichtigt B::B(int) nicht B b2(2); // OK: Direktinitialisierung wählt B::B(int) B b3 {4, 5}; // OK: Direkt-Listeninitialisierung wählt B::B(int, int) // B b4 = {4, 5}; // Fehler: Copy-Listeninitialisierung berücksichtigt B::B(int, int) nicht B b5 = (B)1; // OK: Expliziter Cast führt static_cast aus if (b2) { } // OK: B::operator bool() // bool nb1 = b2; // Fehler: Copy-Initialisierung berücksichtigt B::operator bool() nicht bool nb2 = static_cast<bool>(b2); // OK: static_cast führt Direktinitialisierung aus [](...){}(a4, a5, na1, na2, b5, nb2); // unterdrückt "unused variable"-Warnungen }