Namespaces
Variants

explicit specifier

From cppreference.net
C++ language
General topics
Flow control
Conditional execution statements
Iteration statements (loops)
Jump statements
Functions
Function declaration
Lambda function expression
inline specifier
Dynamic exception specifications ( until C++17* )
noexcept specifier (C++11)
Exceptions
Namespaces
Types
Specifiers
constexpr (C++11)
consteval (C++20)
constinit (C++20)
Storage duration specifiers
Initialization
Expressions
Alternative representations
Literals
Boolean - Integer - Floating-point
Character - String - nullptr (C++11)
User-defined (C++11)
Utilities
Attributes (C++11)
Types
typedef declaration
Type alias declaration (C++11)
Casts
Memory allocation
Classes
Class-specific function properties
explicit (C++11)
static

Special member functions
Templates
Miscellaneous

Inhaltsverzeichnis

Syntax

explicit (1)
explicit ( expression ) (2) (seit C++20)
expression - kontextuell konvertierter konstanter Ausdruck vom Typ bool


1) Legt fest, dass ein Konstruktor oder eine Konvertierungsfunktion (since C++11) oder ein deduction guide (since C++17) explicit ist, das heißt, es kann nicht für implizite Konvertierungen und copy-initialization verwendet werden.
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 ( Token, das auf explicit folgt, wird immer als Teil des explicit-Spezifizierers geparst:

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

explicit

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
}

Siehe auch