虚函数与非虚函数重载问题的解决方案探讨

在C++里，用非虚函数重载虚函数是个经典陷阱——派生类里的非虚函数变体变得不可见，这有点反直觉。我的实习生被这个问题卡壳，反过来问了我。

我们有个用于序列化的基类，原本有个纯虚函数int readFrom(int)，现在想加一个最终包装函数int readFrom(Arg &a)，代码如下：

// 原始数据包结构
struct Arg { int a; };

// 接口类
struct PacketIO {
    int readFrom(Arg &a) { return readFrom(a.a); }
    // 其实可以把这个纯虚函数改名，比如叫readFromRaw，我更倾向这么做
    virtual int readFrom(int) = 0;
};

// 包装类，这里可以做一些标识相关的逻辑
template<class OutT>
struct PacketWrapper : public PacketIO {
    using DataType = OutT;

    DataType& data() { return pak; }

private:
    DataType pak;
};

这个接口被多个类似PacketX的类继承：

// 内部数据结构
struct Dt { int d; };

// 具体实现类
struct PacketX : public PacketWrapper<Dt> {
    // 加上这行才能让重载解析正常工作，但因为有很多类似PacketX的派生类，这么做很麻烦
    // using PacketIO::readFrom;

    int readFrom(int a) override {  data().d = a; return 1; }
};

int main()
{
    PacketX x;
    Arg arg {42};
    x.readFrom(arg); // 编译失败
    
    // 通过基类指针访问就没问题
    static_cast<PacketIO*>(&x)->readFrom(arg); // 正常运行！
}

这种现象的核心原因是C++的名字查找规则：派生类中声明的同名函数会隐藏基类里的所有重载版本，不管参数列表是否匹配。

目前我已经想到四种解决方案：

• 不重载API函数，直接给其中一个改名（但这会修改现有API）
• 始终通过基类类型（指针/引用）访问API，避免直接用派生类对象调用
• 把包装函数也设为虚函数，要求所有子类重写（显然不合理，包装逻辑应该是统一的）
• 在每个派生类里用using PacketIO::readFrom;导入基类的函数名（但派生类数量多的话容易漏写，出错概率高）

在现有架构已经确定的前提下，我有没有遗漏其他更合适的解决方案？

内容的提问来源于stack exchange，提问作者Swift - Friday Pie