C++多態性與可變參數函數

Question

我與你分享了一個問題，我用類使用可變參數函數得到了一個問題。它是以下代碼中顯示的類Thread。它是std :: thread的一個包裝，以便使用函數模式。

我想在繼承Thread類進入一個新的類，仿函數使用多態性與這個功能，但是GCC返回錯誤吼叫：

#include <thread> 
#include <iostream> 

using namespace std; 

template<class... Args> 
class Thread 
{ 
public: 
    virtual void operator()(Args...) = 0; 

    void run(Args... args) 
    { 
    std::thread t(std::forward< Thread<Args...> >(*this), std::forward<Args>(args)...); 
    t.join(); 
    } 
}; 

template<class... Args> 
class Functor : public Thread<Args...> 
{ 
public: 
    // generates the errors bellow 
    virtual void operator()(Args... /*args*/) 
    { 
    } 

    // doesnot work since the pure virtual function wants another prototype of function. 
    // void operator()(int) 
    // { 
    // } 
}; 

int main() 
{ 
    int a = 12; 
    Functor<int> f; 
    f.run(ref(a)); 

    return 0; 
} 

 
from t-Thread-args2.cpp:1: 
/usr/lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/tuple: In instantiation of ‘struct std::_Head_base, false>’: 
/usr/lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/tuple:215:12: required from ‘struct std::_Tuple_impl, int>’ 
/usr/lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/tuple:507:11: required from ‘class std::tuple, int>’ 
/usr/lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/functional:1601:39: required from ‘struct std::_Bind_simple(int)>’ 
/usr/lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/thread:133:9: required from ‘std::thread::thread(_Callable&&, _Args&& ...) [with _Callable = Thread; _Args = {int}]’ 
t-Thread-args2.cpp:14:83: required from ‘void Thread::run(Args ...) [with Args = {int}]’ 
t-Thread-args2.cpp:42:17: required from here 
/usr/lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/tuple:166:13: error: cannot declare field ‘std::_Head_base, false>::_M_head_impl’ to be of abstract type ‘Thread’ 
t-Thread-args2.cpp:7:7: note: because the following virtual functions are pure within ‘Thread’: 
t-Thread-args2.cpp:10:18: note:  void Thread::operator()(Args ...) [with Args = {int}] 

我真的不理解，因爲純錯誤虛擬函數在派生類中被很好地定義。但是，在將函數run（）移入派生類（Functor）中時，它起作用。

由於提前， 蠶兒

Answer 1

按照[thread.thread.constr]§3中，std::thread構造函數的第一參數的類型是F&&，與FMoveConstructible是要求。在你的情況下，F是Thread，這不是MoveConstructible。

換句話說，std::thread需要按值存儲仿函數，並且將函數轉發爲Thread，這是抽象的。

Answer 2

的問題是：

std::forward< Thread<Args...> >(*this) 

它試圖複製Thread子對象。幸運的是它是抽象的，所以你得到一個編譯錯誤而不是意外的運行時行爲。

你要參考包裝來代替：

std::ref(*this) 

Answer 3

我認爲由參與者提供該主題包括使用std::ref的多個建議，願與大家分享工作代碼版本解決的問題，我用以前的代碼得到。

#include <thread> 
#include <iostream> 

using namespace std; 

template<class... Args> 
class Thread 
{ 
public: 
    virtual void operator()(Args...) = 0; 

    void run(Args... args) 
    { 
    std::thread t(std::ref(*this), args...); 
    t.join(); 
    } 
}; 

template<class... Args> 
class Functor : public Thread<Args...> 
{ 
public: 
    void operator()(int) 
    { 
     while (1) 
      { 
      cout << "42 "; cout.flush(); 
      } 
    } 
}; 

int main() 
{ 
    int a = 12; 
    Functor<int> f; 
    f.run(ref(a)); 

    return 0; 
} 

再次感謝。