C++多继承歧义问题：如何优雅减少实现代码冗余？

问题背景 #

定义了两层接口：IFace2 继承自 IFace，代码如下：

class IFace
{
public:
    virtual ~IFace() = default;

    virtual void doit() = 0;
};

class IFace2 : public IFace
{
public:
    virtual void doit2() = 0;
};

尝试通过 IFace2Impl 复用 IFaceImpl 的实现时，遇到了菱形继承导致的歧义问题：using 声明无法解决抽象类的实例化错误，必须手动重写每个虚函数才能编译通过。

尝试的复用代码（报错） #

class IFaceImpl : public IFace
{
public:
    void doit() override
    {
    }
};

class IFace2Impl : public IFaceImpl, IFace2
{
public:
    using IFaceImpl::doit; // 无法解决歧义

    void doit2() override
    {
    }
};

int main()
{
    IFace2Impl impl;
}

编译错误信息 #

(36): error C2259: 'IFace2Impl': cannot instantiate abstract class (24): note: see declaration of 'IFace2Impl' (36): note: due to following members: (36): note: 'void IFace::doit(void)': is abstract (6): note: see declaration of 'IFace::doit'

当前的冗余解决方案 #

只能手动重写每个虚函数并转发调用：

class IFace2Impl : public IFaceImpl, IFace2
{
public:
    void doit() 
    { 
        IFaceImpl::doit(); 
    }

    void doit2() override
    {
    }
};

当接口方法增多时，这类转发代码会大量冗余，以下是更优雅的解决方式：

优雅解决方案 #

1. 虚拟继承消除菱形继承歧义 #

问题根源是菱形继承：IFace2 和 IFaceImpl 都直接继承了 IFace，导致 IFace2Impl 中存在两个独立的 IFace 子对象。通过虚拟继承让所有派生类共享同一个 IFace 实例，就能解决歧义：

class IFace
{
public:
    virtual ~IFace() = default;

    virtual void doit() = 0;
};

// 虚拟继承IFace
class IFace2 : public virtual IFace
{
public:
    virtual void doit2() = 0;
};

// 同样虚拟继承IFace
class IFaceImpl : public virtual IFace
{
public:
    void doit() override
    {
    }
};

class IFace2Impl : public IFaceImpl, public IFace2
{
public:
    void doit2() override
    {
    }
};

此时 IFace 在 IFace2Impl 中只有一个实例，IFaceImpl 的 doit 实现会直接覆盖这个实例的纯虚函数，无需手动重写或转发。

2. 组合替代多重继承 #

如果不想使用虚拟继承，可以用组合的方式：让 IFace2Impl 继承 IFace2，同时持有 IFaceImpl 的实例，通过成员调用复用实现：

class IFaceImpl : public IFace
{
public:
    void doit() override
    {
    }
};

class IFace2Impl : public IFace2
{
public:
    void doit() override
    {
        impl.doit();
    }

    void doit2() override
    {
    }

private:
    IFaceImpl impl;
};

这种方式避免了多重继承的复杂性，但仍需手动转发每个接口方法。若接口方法较多，可结合模板自动生成转发逻辑。

3. 模板自动生成转发函数 #

针对固定接口，可编写模板类自动转发方法调用，减少手动转发的冗余：

#include <utility>

template <typename Interface, typename Impl>
class InterfaceForwarder : public Interface
{
public:
    // 转发doit方法
    void doit() override
    {
        impl.doit();
    }

    // 可添加其他需要转发的接口方法
private:
    Impl impl;
};

class IFace2Impl : public InterfaceForwarder<IFace2, IFaceImpl>
{
public:
    void doit2() override
    {
    }
};

对于C++17及以上版本，还可使用可变参数模板和std::invoke实现更通用的转发逻辑，适配任意数量的接口方法。

内容的提问来源于stack exchange，提问作者Piotr Barejko