C++派生类继承同一模板类多特化时重写同名虚函数问题

问题背景 #

需求为实现一个派生类，同时继承同一模板类的多个实例化接口，基础结构如下：

template<typename T>
class Interface
{
public:
    virtual void foo(const T&) = 0;
    virtual void bar() = 0;
};

class A{};
class B{};

class Derived : public Interface<A>, public Interface<B> { /* ... */ };

此时Derived会继承两组虚函数：

• foo(const A&)和foo(const B&)：形参类型不同，不存在名称歧义，可以直接在派生类中分别重写
• 两个无参bar()：分别来自Interface<A>和Interface<B>，签名完全一致，存在同名歧义

调用时可以显式指定基类路径区分两个bar：

int main()
{
    Derived d;
    d.Derived::Interface<A>::bar();
    d.Derived::Interface<B>::bar();
}

最初尝试直接在类内用带基类限定名的写法重写两个bar：

class Derived : public Interface<A>, public Interface<B>
{
public:
    inline void Interface<A>::bar() override { /* ... */ }
    inline void Interface<B>::bar() override { /* ... */ }
};

该写法会触发链接错误，找不到两个bar的定义。后续找到的临时方案需要额外写一个永远不会被调用的空bar() override作为默认实现，再在类外编写两个基类版本的bar逻辑——MSVC下该方案可直接编译，clang/gcc下需要给类外的bar实现加template<>前缀，但这个空实现没有实际业务意义，还会干扰代码阅读。

可行方案 #

完全可以去掉这个无用的默认空实现。之前的类内带限定名重写写法不符合C++标准，MSVC能编译通过是依赖了编译器的非标准扩展。最干净的跨编译器兼容方案是引入一层轻量中间辅助类做分发，全程无额外运行时开销：

template<typename T>
class Interface
{
public:
    virtual void foo(const T&) = 0;
    virtual void bar() = 0;
};

class A{};
class B{};

// 中间辅助层，仅单继承对应实例化的Interface
template<typename T>
class InterfaceBarBridge : public Interface<T>
{
public:
    // 重写当前基类的bar，转发到带类型标签的实现函数
    void bar() override final
    {
        barForT(static_cast<T*>(nullptr));
    }
private:
    virtual void barForT(T*) = 0;
};

class Derived : public InterfaceBarBridge<A>, public InterfaceBarBridge<B>
{
public:
    // foo本身无歧义，正常重写即可
    void foo(const A&) override { /* 对应Interface<A>的foo逻辑 */ }
    void foo(const B&) override { /* 对应Interface<B>的foo逻辑 */ }
private:
    // 分别实现两个版本的bar逻辑
    void barForT(A*) override { /* 对应Interface<A>的bar逻辑 */ }
    void barForT(B*) override { /* 对应Interface<B>的bar逻辑 */ }
};

int main()
{
    Derived d;
    d.Interface<A>::bar(); // 正常调用A版本bar
    d.Interface<B>::bar(); // 正常调用B版本bar
    // d.bar(); // 直接无限定调用会触发编译报错（歧义），符合不暴露该调用方式的需求
    return 0;
}

原理说明 #

• C++标准规定，类内重写虚函数时，无法直接通过限定名区分来自不同基类的同名同签名虚函数——如果在派生类内写void bar() override，会同时覆盖所有基类的同名同签名bar，无法为两个基类版本分别写不同实现，这是最初遇到问题的根本原因。
• 中间辅助类InterfaceBarBridge<T>是模板类，每个实例只会单继承一个Interface<T>，它重写的bar只会覆盖当前实例对应的那一个基类的bar，不存在歧义问题。
• 通过传入T*类型的空指针做标签分发，派生类只需要实现不同参数类型的barForT，就能为两个版本的bar编写独立逻辑，全程没有多余的空实现，所有主流编译器（MSVC/clang/gcc）均原生支持该写法，不需要加特殊适配前缀。

内容的提问来源于stack exchange，提问作者e.farman