станд :: is_function не признает аргумент шаблона как функция

Question

Я передаю указатель на функцию в качестве шаблона функции:

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. 
} 

Но аргумент шаблона F не распознается is_function быть функции и статические утверждение терпит неудачу. Сообщение об ошибке компилятора говорит, что F - это int(*)(int), который является указателем на функцию. Почему он ведет себя так? Как я могу распознать функцию или указатель на функцию в этом случае?

Answer 1

Fявляется указателем на функцию (независимо от того, проходите ли вы f или &f). Так удалить указатель:

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

(Как ни странно, std::is_function<std::function<FT>> == false ;-))