Antwort

In C++ wird ein Konstruktor, der mit einem Argument aufgerufen werden kann, standardmäßig als implicit (implizit) betrachtet. Ein solcher Konstruktor kann für implizite Typumwandlungen verwendet werden. Um dies zu verhindern, wird das Schlüsselwort explicit verwendet.

• explicit Konstruktoren verbieten implizite Umwandlungen.

Die Verwendung von explicit hilft, unerwartete Umwandlungen zu vermeiden, die beispielsweise beim Übergeben eines nicht typgerechten Arguments an Funktionen oder bei der Initialisierung von Variablen auftreten können.

Beispiel:

struct Foo {
    explicit Foo(int x) { /* ... */ }
};

Foo a = 10; // Fehler, explicit verbietet implizite Initialisierung
Foo b(10);   // OK

Wäre explicit nicht vorhanden, wäre die Zeile Foo a = 10; erlaubt und könnte zu unerwarteten Bugs führen.

Fangfrage

Frage: Dürfen alle mit explicit deklarierten Konstruktoren bei der Initialisierung mit = aufgerufen werden?
Häufige Antwort: Ja, explicit verbietet jede Initialisierung mit =.
Richtige Antwort: explicit verbietet nur implizite Umwandlungen. Bei der direkten Initialisierung (ClassName obj(param);) wird der explicit Konstruktor aufgerufen. Bei der Kopierinitialisierung (ClassName obj = param;) jedoch nicht.

Beispiel:

struct A {
    explicit A(int) {}
};
A x = 1;   // Fehler
A y(1);    // OK

Beispiele für reale Fehler aufgrund mangelnden Wissens über die Feinheiten des Themas

---

Geschichte: Im Projekt wurde ein Konstruktor ohne explicit geschrieben, der die Initialisierung über Typen erlaubte, was zu unerwarteten automatischen Umwandlungen von Funktionsargumenten führte. Dies verursachte versteckte Fehler und erschwerte die Fehlersuche.

---

---

Geschichte: Ein Entwickler hat für den Container-Konstruktor kein explicit gesetzt, und der Standardkonstruktor wurde plötzlich bei der Zuweisung oder Übergabe anderer Typen aufgerufen. Das Ergebnis war fehlerhafte Objektlogik und unvorhersehbares Verhalten.

---

---

Geschichte: Ein unerfahrener Programmierer deklariert einen explicit Konstruktor, war aber überrascht, dass die direkte Initialisierung mit runden Klammern funktioniert, in der Annahme, dass explicit dies ebenfalls blockiert. Dies führte zur Nichtnutzung bequemer sicherer Muster und zusätzlichem Code im Projekt.

---