如何模拟C++中"虚可变参数函数"的部分重写？

由于C++标准明确禁止模板虚函数（虚表在编译阶段确定，而模板实例化是按需进行的，无法提前生成所有可能的虚表条目），我们可以通过以下方式模拟你需要的效果：

核心思路 #

1. 基类定义非模板的虚函数重载，对应各个可能的参数组合，提供默认错误处理实现（比如抛出异常）。
2. 基类提供一个模板成员函数作为统一调用入口，它会根据传入的参数类型、数量自动转发到对应的虚函数重载。
3. 子类仅重写自己支持的虚函数重载，不支持的参数组合会 fallback 到基类的默认错误逻辑。

代码实现 #

#include <stdexcept>
#include <cstdint>

class A {
protected:
    // 声明所有可能需要支持的参数组合对应的虚函数
    virtual void do_f(uint8_t* buff) {
        throw std::runtime_error("Unsupported parameter combination: single uint8_t*");
    }
    virtual void do_f(uint8_t* buff1, uint32_t* buff2) {
        throw std::runtime_error("Unsupported parameter combination: uint8_t* + uint32_t*");
    }
    virtual void do_f(uint8_t* buff1, uint32_t* buff2, uint8_t* buff3) {
        throw std::runtime_error("Unsupported parameter combination: uint8_t* + uint32_t* + uint8_t*");
    }
    // 可根据业务需求扩展更多参数组合

public:
    // 统一模板调用入口，自动匹配对应的虚函数
    template<typename... Args>
    void f(Args... args) {
        do_f(std::forward<Args>(args)...);
    }

    // 基类必须声明虚析构函数，避免多态场景下的内存泄漏
    virtual ~A() = default;
};

class B : public A {
protected:
    // 仅重写子类支持的两种参数组合
    void do_f(uint8_t* buff) override {
        // 实现单参数的业务逻辑
    }
    void do_f(uint8_t* buff1, uint32_t* buff2) override {
        // 实现双参数的业务逻辑
    }
    // 未重写三参数版本，调用时会触发基类的错误逻辑
};

使用效果 #

// 假设factory根据配置返回不同子类实例
A* a = factory(...);

a->f(buff1, buff2, buff3); // 若factory返回支持三参数的子类则正常执行；若返回B，运行时抛出异常
a->f(buff1); // 返回B时，调用B的单参数实现，正常执行
a->f(buff1, buff2); // 返回B时，调用B的双参数实现，正常执行

扩展优化 #

如果你希望在编译阶段就检测出不支持的参数组合（而非运行时），可以结合C++20的concepts或SFINAE来限制模板函数f的参数类型，但这种方式仅适用于编译时已知实际子类类型的场景；对于基类指针的多态调用，由于动态类型只有运行时才能确定，仍然需要依赖运行时错误处理。

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