与构造继承

Question

虚拟继承我有一个类层次结构，其归结为

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; }; 

正如你所看到的，我更愿意创造一些基本功能，并以经典的菱形图案继承它。我也想用构造继承，使之作为面向未来的地...

然而，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); 

即使is not enough一个更明确的版本替换的InOutPort定义：

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

相反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) { } }; 

有没有办法将构造函数继承与我忽略的虚拟继承结合起来？
如果没有，你会使用什么替代方案？
也许variadic模板构造函数完美地将其参数转发给所有基地？

Answer 1

似乎没有办法做这样的事情。在12.9/8：

...一个隐式定义的继承构造执行集的类的 初始化将由用户编写 直列构造为类执行的MEM-initializer-列表，其 只有MEM-初始化有MEM-初始化-ID如下规定名称的基础 类在using声明 和表达式列表的嵌套名称符记...

换句话说，您继承的构造函数的类是只有获取转发给它的参数的基类。所有其他基类都需要具有默认构造函数。由于您通过继承父构造函数将这些默认构造函数隐藏在中间类中，因此一旦明确继承父构造函数后就不能调用它们。

我认为你应该可以为两个中间类使用继承的构造函数，并且只为大部分派生类编写显式版本[我没有看到你已经试过这个 - 它看起来像是我的编译器错误对标准的理解]。如果我想到另一种更好的方法，我会更新。