std :: is_function không công nhận lập luận mẫu như chức năng

Question

tôi đi qua một con trỏ đến chức năng vào một hàm template:

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

Nhưng lập luận mẫu F không được công nhận bởi is_function là một chức năng và các tĩnh xác nhận không thành công. Thông báo lỗi trình biên dịch cho biết rằng F là int(*)(int) là con trỏ để hoạt động. Tại sao nó cư xử như thế? Làm thế nào tôi có thể nhận ra hàm hoặc con trỏ để hoạt động trong trường hợp này?

Answer 1

F là con trỏ để hoạt động (bất kể bạn có vượt qua f hoặc &f) hay không. Vì vậy, loại bỏ các con trỏ:

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

(Trớ trêu thay, std::is_function<std::function<FT>> == false ;-))