Perché una classe con costruttori ereditati ottiene anche un costruttore predefinito sintetizzato?

Question

C++ Primer (5a edizione) a pagina 629 afferma:

una classe che contiene solo i costruttori ereditato avrà un costruttore di default sintetizzato.

Qual è il ragionamento alla base di questa regola?

Answer 1

Se la classe base non contiene un costruttore senza parametri, il compilatore non sarebbe in grado di generare un costruttore predefinito per la classe derivata perché ha bisogno degli argomenti mancanti per i costruttori della classe base. Tuttavia, se la classe base contiene un costruttore predefinito o un costruttore che non accetta alcun parametro, è possibile generare un costruttore predefinito per la classe derivata con il solito scopo di chiamare i costruttori delle variabili membro. Lo scopo è la comodità di non scrivere autonomamente un costruttore vuoto se il costruttore non fa nulla di speciale.

Answer 2

Penso che la citazione possa essere un sospetto. Di seguito, per esempio, non verrà compilato:

struct Base{ 
    Base(int){} 
}; 

struct Derived : Base{ 
    using Base::Base; 
}; 

int main() 
{ 
    Derived d; // error: Derived has no public default ctor!!! 
} 

Derivedcontiene costruttori solo ereditato, ma non dispone di un pubblico quello di default! Ho detto pubblico! In realtà, il messaggio di errore da gcc è:

'Derived :: Derivato()' è implicitamente eliminato perché la definizione di default sarebbe mal formati

Quindi, ciò che l'autore vuol dire è che se a Derived classe inherit constructor da una classe Base, verrà fornito un costruttore predefinito per Derived, perché potrebbe essere necessario inizializzare il membro dati Derived inizializzato che non può essere inizializzato dai costruttori ereditati, perché non sanno nemmeno della loro esistenza.

Infine, nel mio esempio il ctor predefinito per Derivato è stato eliminato in modo implicito dal compilatore, perché nessuno lo ha definito esplicitamente. Ma se si aggiunge un ctor predefinito a Base, sarà disponibile il ctor predefinito sintetizzato per Derivato.