模仿COM设计时，多重继承下using声明无法解决抽象类编译错误

问题背景 #

我希望模仿Microsoft的COM设计代码，具体要求如下：

• DLL中的不同对象实现不同接口；
• 仅向客户端暴露接口（此部分当前无问题，仅作背景说明）。

示例代码 #

class IParent
{
public:
    virtual void foo() const = 0;  
};

class IChild : public IParent
{
public:
    virtual void bar() const = 0;  
};

class Parent : public IParent
{
private:
        int a_;
        
public:
    virtual void foo() const override { /* for ex: do something with a_ */ }
};

class Child : public IChild, public Parent
{
public:
    virtual void bar() const override {}
    
    // My issue is here:
    using Parent::foo;
};

int main()
{
    Child c;
    return 0;
}

编译错误 #

main.cpp:38:11: error: cannot declare variable ‘c’ to be of abstract type ‘Child’

临时解决方法（不符合需求） #

若将using Parent::foo;替换为：

virtual void foo() const override { return Parent::foo(); }

代码可正常编译，但我并不想重写该函数，甚至希望将Parent::foo设为final。

疑问 #

我推测问题源于Child类同时继承IChild和Parent，而两者均继承自IParent。现提出以下疑问：

1. 显式的using声明为何无效？
2. 若情况确实如此，是否说明该设计不符合我的需求？
3. 还是我的实现方式存在错误？

问题解答 #

1. 为什么using Parent::foo;无效？ #

这是因为菱形非虚继承导致的多基类子对象问题：

• Child同时继承IChild（间接继承IParent的纯虚foo）和Parent（实现了IParent的foo），但因为是非虚继承，Child体内存在两个独立的IParent子对象：一个来自IChild分支，一个来自Parent分支。
• using Parent::foo只是将Parent中的foo引入Child的作用域，但无法覆盖IChild分支继承来的纯虚foo——这两个foo属于不同的基类子对象，编译器依然判定IChild对应的IParent纯虚函数未被实现，因此Child还是抽象类。

2. 这个设计是否符合需求？ #

你的核心需求（接口隔离+实现复用）完全符合COM设计思想，问题不在设计方向，而在于实现细节没遵循COM的关键规范：COM所有接口都采用虚继承来避免菱形继承的二义性，当前的非虚继承才是问题根源。

3. 实现方式的错误与修正 #

错误核心是未使用虚继承，导致多基类子对象冲突。以下是符合COM风格的修正方案：

修正后的代码

// COM风格接口必须包含虚析构，确保通过接口指针正确析构
class IParent
{
public:
    virtual void foo() const = 0;  
    virtual ~IParent() = default;
};

// 接口之间必须虚继承，消除菱形继承的多基类子对象问题
class IChild : public virtual IParent
{
public:
    virtual void bar() const = 0;  
    virtual ~IChild() = default;
};

// 实现类也虚继承自接口，确保整个继承体系中只有一个IParent子对象
class Parent : public virtual IParent
{
private:
    int a_;
        
public:
    // 可以将foo设为final，禁止子类重写
    virtual void foo() const override final { /* do something with a_ */ }
};

class Child : public IChild, public Parent
{
public:
    virtual void bar() const override {}
    
    // 此时using声明有效，唯一的IParent纯虚函数被Parent的实现覆盖
    using Parent::foo;
};

int main()
{
    Child c;
    c.foo();
    c.bar();
    return 0;
}

关键修正点

• 所有接口及实现类对IParent采用虚继承，确保Child体内只有一个IParent子对象，彻底消除二义性。
• 接口类添加虚析构，符合COM接口的内存管理要求。
• 此时using Parent::foo可以正确关联唯一的IParent纯虚函数，Child不再是抽象类，同时Parent::foo可设为final满足你的需求。

内容的提问来源于stack exchange，提问作者loyd.f