2

我有以下课程：

class Socket
{
    Socket();
    Socket( SOCKET s );
};

class Connection : public virtual Socket
{
    Connection( IP ip );
};

这两个类包含一些纯虚函数和一些非虚函数以及它们自己的一些数据。它们的重点是我将派生一些套接字类型，实现不同的协议。

所以我专注于这两个类：

class ProtocolSocket : public virtual Socket
{
    ProtocolSocket() {}
    ProtocolSocket( SOCKET s ) : Socket( s ) { ; }
};

class ProtocolConnection : public ProtocolSocket, public virtual Connection
{
    ProtocolConnection( SOCKET s, IP ip ) : ProtocolSocket( s ), Connection( ip ) {;}
};

出了点问题——我相信你们中的许多人都可以看到。我尝试创建一个 ProtocolConnection：

new ProtocolConnection( s, ip );

施工过程如下：

start ctor ProtocolConnection
    start ctor Connection
       start ctor Socket
          Socket(); - default ctor via Connection's init list
       end ctor Socket
       Connection(); - default ctor ProtocolConnection's init list
    end ctor Connection
    start ctor ProtocolSocket
       start ctor Socket     
          // Socket( s ); - skipped!!! - would have been from init 
          //                list of ProtocolSocket, but ctor for this object 
          //                already called!
       end ctor Socket
       ProtocolSocket( s ); -from init list of ProtocolConnection()
    end ctor ProtocolSocket
    ProtocolConnection( s, ip );
end ctor ProtocolConnection

跳过第二个 Socket 构造函数是语言规范所说的应该发生的事情，并且有充分的理由。

如何让它调用带有 Socket(s) 的构造函数，而不是之前的构造函数？

我打算拥有多个派生类，例如 OtherProtocolSocket 和 OtherProcolConnection，与 ProtocoSocket 和 ProtocolConnection 对象处于同一级别。

我想要达到的效果是我想构造 ProtocolSocket 和 ProtocolConnection 对象，然后将它们作为 Socket 和 Connection 对象传递给我的系统。因此，在我制作了一个实现给定协议的套接字之后，我只需对其进行读写，而不用担心底层协议的细节。

Connection 对象需要继承 Socket 对象的所有方法。

@更新：

DyP 建议在 ProtocolConnection 中为 Socket 添加初始化程序。这解决了问题。我会给你一个接受......但这只是在评论中。

4

2 回答 2

4

要记住的关键是虚拟基类的构造函数是作为最派生类初始化的一部分完成的（并且在构造其他基类之前）。所以你的施工顺序幻灯片不正确。

事实上，当你构造 ProtocolConnection 时发生的事情是它首先构造了 Socket，然后是 Connection（因为你实际上继承了它），最后是 ProtcolSocket。

要调用你想要的socket的构造函数，你需要调用它的构造函数作为ProtocolSocket成员初始化列表的一部分，像这样

class ProtocolConnection: public ProtocolSocket, public virtual Connection
{
    public:
    ProtocolConnection(int s, int ip) :
        Socket(s), Connection(ip), ProtocolSocket(s)  
        // Note, also reordered, since all virtual bases are initialized before the
        // non-virtual bases
    {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};

最后，作为说明，我建议简化您的继承层次结构。特别是，虚拟继承和使用多个构造函数使因素复杂化。

于 2013-06-05T17:01:53.963 回答
2

继承 DAG：

       ProtocolConnection
           /        \
     non-virtual  virtual
         /            \
ProtocolSocket     Connection
       |               |
    virtual         virtual
       |               |
    Socket           Socket

请注意，由于虚拟继承Socket，类型对象中只有一个子对象。ProtocolConnection

[class.base.init]/10

首先，并且仅对于最派生类（1.8）的构造函数，虚拟基类按照它们在基类的有向无环图的深度优先从左到右遍历中出现的顺序进行初始化，其中“左- to-right”是派生类base-specifier-list中基类的出现顺序。

虚拟基类的初始化是通过深度优先的从左到右遍历完成的。遍历顺序：

       (0) ProtocolConnection
             /             \
           nv               v
           /                 \
(1) ProtocolSocket    (3) Connection
         |                   |
         v                   nv
         |                   |
    (2) Socket         (4) Socket

导致以下初始化顺序：

(2)；(3); (1); (0)
Socket; Connection; ProtocolSocket（非虚拟基类）；ProtocolConnection

最派生类ProtocolConnection必须包含所有 虚拟基类的初始化器。如果虚拟基类没有出现在最派生类的 mem-initializer-list 中，则该虚拟基类的子对象将被默认构造。

于 2013-06-05T17:15:46.697 回答