线程 C++ 成员函数模板 可变参数模板

Question

我尝试使用线程调用对象的成员函数。

如果函数没有可变参数模板（Args ... args），没问题，它可以工作：

考虑两个类：

基因引擎

template <class T>
class GeneticEngine
{
    template <typename ... Args>
    T* run_while(bool (*f)(const T&),const int size_enf,Args& ... args)
    {
         std::thread(&GeneticThread<T>::func,islands[0],f,size_enf);
         /* Some code */
         return /* ... */
    }
    private:
        GeneticThread<T>** islands;


}

基因线程

template <class T>
class GeneticThread
{
    void func(bool (*f)(const T&),const int size_enf)
    {
        /* Some code */
    };
}

有了这个就OK了。

---

现在，我将可变参数模板添加到相同的函数中：

基因引擎

template <class T>
class GeneticEngine
{
    template <typename ... Args>
    T* run_while(bool (*f)(const T&,Args& ...),const int size_enf,Args& ... args)
    {
       std::thread(&GeneticThread<T>::func,islands[0],f,size_enf,args ...);
       /* Other code ... */
    }
    private:
        GeneticThread<T>** islands;
}

基因线程

template <class T>
class GeneticThread
{
    template <typename ... Args>
    void func(bool (*f)(const T&,Args& ...), const int size_enf, Args& ... args)
    {
       /* Code ... */
    };
 }

使用此代码，GCC 无法编译：（对于此错误消息感到抱歉）

g++ main.cpp GeneticEngine.hpp GeneticThread.hpp Individu.hpp GeneticThread.o -g -std=c++0x    -o main.exe
In file included from main.cpp:2:0:
GeneticEngine.hpp: In instantiation of ‘T* GeneticEngine<T>::run_while(bool (*)(const T&, Args& ...), int, Args& ...) [with Args = {}; T = Individu]’:
main.cpp:24:78:   required from here
GeneticEngine.hpp:20:13: erreur: no matching function for call to ‘std::thread::thread(<unresolved overloaded function type>, GeneticThread<Individu>*&, bool (*&)(const Individu&), const int&)’
GeneticEngine.hpp:20:13: note: candidates are:
In file included from GeneticThread.hpp:14:0,
             from GeneticEngine.hpp:4,
             from main.cpp:2:
/usr/include/c++/4.7/thread:131:7: note: template<class _Callable, class ... _Args> std::thread::thread(_Callable&&, _Args&& ...)
/usr/include/c++/4.7/thread:131:7: note:   template argument deduction/substitution failed:
In file included from main.cpp:2:0:
GeneticEngine.hpp:20:13: note:   couldn't deduce template parameter ‘_Callable’
In file included from GeneticThread.hpp:14:0,
             from GeneticEngine.hpp:4,
             from main.cpp:2:
/usr/include/c++/4.7/thread:126:5: note: std::thread::thread(std::thread&&)
/usr/include/c++/4.7/thread:126:5: note:   candidate expects 1 argument, 4 provided
/usr/include/c++/4.7/thread:122:5: note: std::thread::thread()
/usr/include/c++/4.7/thread:122:5: note:   candidate expects 0 arguments, 4 provided

我真的不明白为什么这种差异会导致这个错误。而且我无法修复它。

---

在main.cpp中都是这样的：

/* Individu is another class */

int pop_size = 1000;
int pop_child = pop_size*0.75;

GeneticEngine<Individu> engine(/*args to constructor*/);

bool (*stop)(const Individu&) = [](const Individu& best){
    return false;
};
Individu* best = engine.run_while(stop,pop_child);

---

我使用：«gcc 版本 4.7.2 (Ubuntu/Linaro 4.7.2-2ubuntu1) »

---

我试过了：

std::thread(&GeneticThread<T>::func<Args...>, islands[0], f, size_enf, args ...);

现在我有另一个错误：

GeneticEngine.hpp: In member function ‘T* GeneticEngine<T>::run_while(bool (*)(const T&, Args& ...), int, Args& ...)’:
GeneticEngine.hpp:20:53: erreur: expansion pattern ‘((& GeneticThread<T>::func) < <expression error>)’ contains no argument packs
GeneticEngine.hpp:20:24: erreur: expected primary-expression before ‘(’ token
GeneticEngine.hpp:20:53: erreur: expected primary-expression before ‘...’ token



template <typename ... Args>
T* run_while(bool (*f)(const T&,Args& ...), const int size_enf, Args& ... args)
{

   void (GeneticThread<T>::*ptm)(bool (*)(T const&, Args&...), int, Args&...) = &GeneticThread<T>::func;
   std::thread(ptm, islands[0], f, size_enf, args ...);
}

Answer 1

试试：

std::thread(&GeneticThread<T>::func<Args...>, islands...

func 现在是一个模板函数。您必须指定其模板参数才能获取其地址。