無法覆蓋使用模板參數包擴展聲明的虛擬方法

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