Eredità virtuale con il costruttore Inheritance

Question

Ho una gerarchia di classi, che si riduce a

class Module { }; 

struct Port { 
    Module& owner; 
    Port(Module& owner) : owner(owner) {} 
}; 

struct InPort : virtual Port { using Port::Port; }; 
struct OutPort : virtual Port { using Port::Port; }; 
struct InOutPort : InPort, OutPort { using Port::Port; }; 

Come potete vedere, io preferirei di creare alcune funzionalità di base, ed ereditare in un modello di diamante classico. Mi piacerebbe anche usare costruttore di ereditarietà per renderlo a prova di futuro possibile ...

Tuttavia, this does not work as written down above

prog.cpp: In function 'int main()': 
prog.cpp:14:15: error: use of deleted function 'InOutPort::InOutPort(Module&)' 
    InOutPort p(m); 

Anche la sostituzione della definizione di InOutPort con una versione più esplicita is not enough:

struct InOutPort : InPort, OutPort { InOutPort(Module& m) : Port(m), InPort(m), OutPort(m) { } }; 

Invece I seem to have to write down everything explicitly for it to work::

struct InPort : virtual Port { InPort(Module& m) : Port(m) { } }; 
struct OutPort : virtual Port { OutPort(Module& m) : Port(m) { } }; 
struct InOutPort : InPort, OutPort { InOutPort(Module& m) : Port(m), InPort(m), OutPort(m) { } }; 

C'è un modo per combinare l'ereditarietà del constuctor con l'ereditarietà virtuale che sto trascurando?
In caso negativo, quale alternativa useresti?
Forse costruttori di modelli variadici che inoltrano perfettamente i propri argomenti a tutte le basi?

Answer 1

Non sembra che ci sia un modo per fare una cosa del genere. Nel 12,9/8:

... Un costruttore ereditare implicitamente definito esegue la serie di inizializzazioni della classe che avrebbe essere eseguite da un costruttore linea scritto dall'utente per quella classe con un mem-initializer- lista il cui solo mem-inizializzatore ha una mem-inizializzatore-id che indica la classe base denotato nel nested-nome-specificatore della dichiarazione using e un'espressione lista come in appresso ...

In altre parole, la classe di cui si eredita il costruttore è la solo la classe base che riceve gli argomenti inoltrati. Tutte le altre classi base devono avere costruttori predefiniti. Poiché hai nascosto i costruttori predefiniti nelle classi intermedie ereditando il costruttore genitore, non puoi chiamarli dopo aver ereditato esplicitamente il costruttore genitore.

Penso che dovresti essere in grado di utilizzare i costruttori ereditati per entrambe le classi intermedie e solo scrivere la versione esplicita per la classe più derivata [Non ho visto che hai già provato questo: sembra un bug del compilatore dal mio comprensione dello standard]. Aggiornerò se penso ad un altro approccio migliore.