C++ Problem bei Expliziter Initialisierung im Copy Constructor

[Daniel A. (daniel-a)]

Hallo

Ich bekomme eine Fehlermeldungen beim kompilieren und verstehe nicht, 
wie dieser zustandekommen konnte, und wie ich ihn beheben kann.

WebsocketServer/server/protocol/http/versions/http_v1.1.cpp: In constructor ‘protocol::http1v1::http1v1(const protocol::http&)’:
WebsocketServer/server/protocol/http/versions/http_v1.1.cpp:10:43: error: no matching function for call to ‘protocol::protocol::protocol()’

Die Fehlermeldung bezieht sich auf diese Zeile:

  http1v1::http1v1(const http& h) : http(h) {

Die Classe http ist folgendermasen definiert:

  class http : public virtual protocol {
...
    public:
      http(const http&);
      http(connection::connection*const x);
...

Die classe protocol wird im copy constructor der classe http 
instanziert:

  http::http(const http& x) : protocol((const protocol&)x) {  }

Wiso will der Compiler die classe protocol im copy constructor der 
classe http1v1 instanzieren, wo dies doch der copy constructor der 
classe http tun muss, welche explizit  im copy constructor der classe 
http1v1 instanziert wird?

Mit Freundlichen grüssen
Daniel Abrecht

[Dr. Sommer (Gast)]

Daniel A. schrieb:
> Wiso will der Compiler die classe protocol im copy constructor der
> classe http1v1 instanzieren, wo dies doch der copy constructor der
> classe http tun muss, welche explizit  im copy constructor der classe
> http1v1 instanziert wird?

Vermutlich weil http1v1 virtuell von http ableitet ("class http1v1 : 
virtual public http"). Brauchst du das wirklich?!

[A. H. (ah8)]

Daniel A. schrieb:
> Wiso will der Compiler die classe protocol im copy constructor der
> classe http1v1 instanzieren, wo dies doch der copy constructor der
> classe http tun muss, welche explizit  im copy constructor der classe
> http1v1 instanziert wird?

Normalerweise werden für eine Klasse, die mehrfach in der 
Vererbungshierarchie auftaucht, auch mehrere Kopien angeleget, zum 
Beispiel enthält in:

class A {};
class B: public A {};
class C: public A {};
class D: public B, public C {};

die Klasse D zwei Kopien von A, einmal in B und einmal in C. 
Insbesondere wird auch der Konstruktor für A zweimal aufgerufen, einmal 
von B und einmal von C, jeweils für die eigene Kopie.

Die virtuelle Vererbung soll genau das verhindern. In

class A {};
class B: virtual public A {};
class C: virtual public A {};
class D: public B, public C {};

enthält D nur noch eine Kopie von A, die von B und C gemeinsam genutzt 
wird. Da der Konstruktor von A aber nur einmal aufgerufen werden darf 
und nicht eindeutig bestimmbar ist, ob dieses sinnvoller durch B oder C 
erfolgen soll, legt der Standard fest, dass der Konstruktor von A immer 
von der am weitesten abgeleiteten Klasse, in diesem Fall also von D, 
aufgerufen wird. Der Konstruktor von D muss also (implizit oder 
explizit) einen Aufruf des Konstruktors von A enthalten:

D::D(): A(), B(), C() {}

Wird er nicht explizit angegeben, so wird er durch den Compiler ergänzt.

Da in Deiner Klasse http1v1 der Konstruktor für protocol fehlt wird 
der Compiler den Default-Konstuktor implizit ergänzen, der aber offenbar 
nicht existiert. Der Konstruktor für protocol in der Klasse http ist 
in diesem Fall wirkungslos. Er wir nur gerufen, wenn es in der 
Vererbungshierarchie kein weiteres Auftreten von protocol gibt, was 
hier aber offenbar nicht der Fall ist (d.h. es muss in der 
Vererbungshierarchie von  http1v1 mindestens ein weiteres Auftreten 
von protocol geben).

[Daniel A. (daniel-a)]

Danke für die Hilfe!

Jetzt funktioniert es und ich verstehe auch warum.