Question

我无法覆盖使用模板参数包扩展指定的基类的虚方法 - 而重写方法将显示实际的相关类型。这是一个MCVE：

#include <iostream>
template <typename... Ts>
class A { virtual void foo(Ts&&...); };

class B : public A<int, unsigned> {
    void foo(int x, unsigned y) override { std::cout << "here"; }
};

int main() {
    B b;
}

编译它（标准设置为C ++ 11或C ++ 14），我得到：

a.cpp:9:7: error: ‘void B::foo(int, unsigned int)’ marked override, but does not override
  void foo(int x, unsigned y) override {
       ^

Answer 1

基类的功能签名是void foo(Ts&&...);。

派生类的函数签名是void foo(int x, unsigned y)。

看到两者之间有什么不同？差异是&&。为了匹配基类的函数签名，您需要派生类使用void foo(int&& x, unsigned&& y)。

Demo：

#include <iostream>

template <typename... Ts>
struct A { virtual void foo(Ts&&...) {} };

struct B : A<int, unsigned> {
    void foo(int&& x, unsigned&& y) override { std::cout << "here"; }
};

int main() {
    B b;
    b.foo(1, 2u);
}

无法覆盖使用模板参数包扩展声明的虚方法

1 个答案: