能否用带万能引用的模板方法重写含ellipsis的C++接口虚函数？

我想用模板方法重写一个包含可变参数（ellipsis）的C++接口虚函数，想确认该方案是否可行。示例代码如下：

class MyInterface
{
  public:
  virtual void myMethod(int i, const char* fmt, ...) = 0;
};

class MyMock: public MyInterface
{
  template< typename ...Args >
  void myMethod(int i, const char* fmt, Args&&... args) override
  {
    // 在这里使用可变参数表达式
  }
};

编写上述代码后出现编译错误：C++ function modifier (override) does not apply to member template declaration

这个方案不可行，核心原因有两点：

• 模板成员函数无法重写非模板虚函数：基类的myMethod是一个普通虚函数，而派生类中的模板版本本质是一组函数模板，并非单个可重写的虚函数，C++标准不允许用模板函数去覆盖非模板的虚函数接口。
• override修饰符的使用限制：override关键字仅能用于标记那些重写基类虚函数的成员函数，而模板成员函数不属于虚函数范畴（除非是模板的显式特例化，但此处并非这种场景），因此编译器会抛出错误。

正确的实现思路是：先实现符合基类接口要求的虚函数，再在该函数内部将参数转发到模板函数进行处理。示例代码如下：

class MyInterface
{
public:
    virtual void myMethod(int i, const char* fmt, ...) = 0;
};

class MyMock : public MyInterface
{
private:
    // 内部模板函数，处理类型安全的可变参数逻辑
    template<typename... Args>
    void myMethodImpl(int i, const char* fmt, Args&&... args)
    {
        // 在这里实现可变参数的具体处理逻辑
    }

public:
    // 重写基类的虚函数，符合接口要求
    void myMethod(int i, const char* fmt, ...) override
    {
        va_list args;
        va_start(args, fmt);
        // 注意：若要将va_list转发到模板函数，需要额外的封装逻辑
        // 以下是一个简单示例，若需格式化字符串可使用vsnprintf等函数
        myMethodImpl(i, fmt, args);
        va_end(args);
    }
};

如果你的场景需要严格的类型安全可变参数，需要注意：C的C风格可变参数（ellipsis）本身是无类型检查的，模板函数的类型安全特性需要结合具体逻辑封装实现，同时由于C不支持模板虚函数，无法直接修改基类接口为模板形式，因此上述“虚函数封装+内部模板处理”是最合理的解决方案。

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