std :: is_function non riconosce argomento di un template in funzione

Question

sto passando un puntatore a funzione in una funzione di modello:

int f(int a) { return a+1; } 

template<typename F> 
void use(F f) { 
    static_assert(std::is_function<F>::value, "Function required"); 
} 

int main() { 
    use(&f); // Plain f does not work either. 
} 

Ma l'argomento modello F non viene riconosciuto dal is_function essere una funzione e la statica l'asserzione fallisce. Il messaggio di errore del compilatore indica che F è int(*)(int) che è un puntatore alla funzione. Perché si comporta in questo modo? Come posso riconoscere la funzione o il puntatore per funzionare in questo caso?

Answer 1

F è un puntatore di funzionare (indipendentemente dal fatto che si passa f o &f). Quindi rimuovere il puntatore:

std::is_function<typename std::remove_pointer<F>::type>::value 

(Ironia della sorte, std::is_function<std::function<FT>> == false ;-))