覆盖使用模板参数包扩展声明的虚拟方法时遇到问题

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);
}