C++虚继承与函数重载场景下如何正确解析父类成员

假设我们有一个基类，其同名函数存在两个重载版本：一个位于protected作用域，为纯虚函数；另一个位于public作用域，内部会调用前述纯虚函数，基类Parent的初始实现如下：

#include <iostream>

enum class Type : bool { A = true, B = false};

class Foo { 
protected:
    int a;
public:
    Foo(int a): a(a) {};
    auto get() { return a; }
};

template<Type t>
class Bar : public Foo {
public:
    Bar(int a): Foo(a) {}
    Bar(Foo foo): Foo(foo) {}

    Bar<Type::B> makeB() {
        static_assert(t == Type::A);
        return Bar<Type::B>(a);
    }
};

class Parent {
public:
  virtual void run(Bar<Type::A> a) { return run(a.makeB()); }
protected:
  virtual void run(Bar<Type::B>) = 0;
};

我们尝试实现派生类重写run(Bar<Type::B>)方法，初始代码如下：

class Child  : public virtual Parent {
protected:
  virtual void run(Bar<Type::B> b) { 
      std::cout << "Parent::run()\n" << b.get() << "\n"; 
  }
};

按照设计预期，外部应当可以直接调用Child::run(Bar<Type::A>)，其内部会自动调用派生类实现的Child::run(Bar<Type::B>)，但如下测试代码无法通过编译：

int main() {
  auto f = Foo{1};
  Child c;
  c.run(Bar<Type::A>(f));
}

Clang 13.0.1环境下的编译报错信息如下：

<source>:45:5: error: 'run' is a protected member of 'Child'
  c.run(Bar<Type::A>(f));
    ^
<source>:37:16: note: declared protected here
  virtual void run(Bar<Type::B> b) { 
               ^
1 error generated.

预期实现的设计目标：

• 外部仅允许调用run(Bar<Type::A>)接口
• Type::A到Type::B的参数转换逻辑统一在基类层面处理，不需要派生类重复实现
• 多个派生类仅需实现protected权限的run(Bar<Type::B>)纯虚接口即可，对外接口自动完成Type::A类型参数的适配转换

这个问题的根源是C++的**名字隐藏（Name Hiding）**规则：当派生类中声明了和基类同名的成员函数时，无论函数参数列表、virtual属性是否一致，派生类作用域中的该同名函数会直接隐藏基类作用域下所有同名的重载版本，编译器不会继续在基类作用域查找匹配的重载。
在上述代码中，Child类声明了protected属性的run(Bar<Type::B>)，直接把基类public属性的run(Bar<Type::A>)隐藏了。外部调用c.run(...)时，编译器在Child作用域只能找到protected的run版本，因此抛出权限访问错误。

方案1：保留原有接口命名，添加using声明 #

在派生类的public作用域下添加using Parent::run;声明，手动将基类的所有run重载版本引入派生类作用域，即可解决名字隐藏问题。
修复后的核心代码片段如下：

class Child  : public virtual Parent {
public:
    // 引入基类所有run重载，避免名字隐藏
    using Parent::run;
protected:
  void run(Bar<Type::B> b) override { 
      std::cout << "Child::run()\n" << b.get() << "\n"; 
  }
};

该实现完全符合设计要求：

1. 外部只能调用run(Bar<Type::A>)接口，run(Bar<Type::B>)仍然是protected权限，外部无法直接访问
2. Type::A转Type::B的逻辑统一在基类的run(Bar<Type::A>)中实现，所有派生类复用该逻辑
3. 新增派生类时，除了添加using Parent::run;声明外，只需要实现protected的run(Bar<Type::B>)纯虚函数即可。

方案2：采用非虚接口模式（推荐） #

如果希望进一步简化派生类的编写，避免每个派生类都手动写using声明，可以采用标准的**非虚接口（NVI, Non-Virtual Interface）**模式，将基类的对外public接口和protected虚函数设置为不同名称，从根源上避免同名隐藏问题，调整后的基类实现如下：

class Parent {
public:
  // 对外public非虚接口，统一处理参数转换逻辑，不要设为virtual
  void run(Bar<Type::A> a) { runImpl(a.makeB()); }
protected:
  // 纯虚实现接口，和对外接口不同名，派生类重写该方法即可
  virtual void runImpl(Bar<Type::B>) = 0;
};

此时派生类不需要额外添加using声明，直接重写runImpl即可：

class Child  : public virtual Parent {
protected:
  void runImpl(Bar<Type::B> b) override { 
      std::cout << "Child::run()\n" << b.get() << "\n"; 
  }
};

这种写法不需要派生类做额外的using声明，更不容易踩名字隐藏的坑，是工业界更常用的模板方法模式实现方式。

内容的提问来源于stack exchange，提问作者Kyle Beyer