c – std :: is_function不能将模板参数识别为函数

发布时间：2020-12-16 03:46:12 所属栏目：百科来源：网络整理

导读：我将一个函数指针传递给一个函数模板： int f(int a) { return a+1; }templatetypename Fvoid use(F f) { static_assert(std::is_functionF::value,"Function required"); }int main() { use(f); // Plain f does not work either.} 但是,模板参数F不被is_fu

我将一个函数指针传递给一个函数模板：

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),它是一个指向函数的指针.为什么这样做呢？在这种情况下,如何识别函数或指针？

解决方法

F是一个指向函数的指针(不管你是通过f还是f).所以删除指针：

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

(讽刺的是,std :: is_function< std :: function< FT>> == false ;-))

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!