modello di argomentazione deduzione/sostituzione fallito, quando si usa la funzione std :: e std :: bind

Question

ho un errore di compilazione quando si utilizza std :: funzione in una funzione membro basato su modelli, il codice seguente è un semplice esempio:

#include <functional> 
#include <memory> 
using std::function; 
using std::bind; 
using std::shared_ptr; 

class Test { 
public: 
    template <typename T> 
    void setCallback(function<void (T, int)> cb); 
}; 

template <typename T> 
void Test::setCallback(function<void (T, int)> cb) 
{ 
    // do nothing 
} 

class TestA { 
public: 
    void testa(int a, int b) { } 
}; 


int main() 
{ 
    TestA testA; 
    Test test; 
    test.setCallback(bind(&TestA::testa, &testA, std::placeholders::_1, std::placeholders::_2)); 
    return 0; 
} 

e vieni con il seguente errore di compilazione:

testtemplate.cpp: In function ‘int main()’:

testtemplate.cpp:29:92: error: no matching function for call to ‘Test::setCallback(std::_Bind_helper)(int, int), TestA, const std::_Placeholder<1>&, const std::_Placeholder<2>&>::type)’

testtemplate.cpp:29:92: note: candidate is: testtemplate.cpp:10:7: note: template void Test::setCallback(std::function)

testtemplate.cpp:10:7: note: template argument deduction/substitution failed:

testtemplate.cpp:29:92: note: ‘std::_Bind(TestA*, std::_Placeholder<1>, std::_Placeholder<2>)>’ is not derived from ‘std::function’

sto usando C++ 11 e g ++ 4.7

Answer 1

per capire il problema lasciare prospetti separati:

auto f = bind(&TestA::testa, &testA, _1, _2); // OK 
test.setCallback(f);       // <<--- Error is here 

setCallback ha bisogno di sapere il tipo di T e non può dedurre da f, in modo da dare un tipo

test.setCallback<TYPE>(f); // TYPE: int, float, a class, ... 

Answer 2

Si può fare il lavoro di tipo deduzione con qualche variante:

template<typename CALLBACK> 
void setCallback(CALLBACK cb) { 
    typedef CALLBACK::first_argument_type T; 
    static_assert(is_same_type<CALLBACK,function<void(T,int)>>::value); 
    ... 
} 

In questo modo è possibile determinare CALLBACK osservando l'argomento. Potrebbe essere nei guai se bind non restituisce effettivamente una funzione std :: ma piuttosto qualcosa che può essere lanciata come una sola. Non ne sono sicuro.