如果用户将函数指针 作为参数传递,我想使用 SFINAE 启用特定模板。
我用谷歌搜索但一无所获 - 我也尝试查看 <type_traits>
文档,但找不到任何类似于 is_function_ptr<T>
的内容.
函数指针,我指的是全局函数指针,比如TReturn(*)(TArgs...)
.
最佳答案
下面是确定某物是否为函数指针的类型特征和几个测试用例。请注意,要测试某物是否是函数指针,您需要测试是否 std::is_pointer<P>::value
是true
如果std::is_function<T>::value
是true
其中 T
是P
删除指针。下面的代码就是这样做的:
#include <type_traits>
#include <iostream>
#include <utility>
template <typename Fun>
struct is_fun_ptr
: std::integral_constant<bool, std::is_pointer<Fun>::value
&& std::is_function<
typename std::remove_pointer<Fun>::type
>::value>
{
};
template <typename Fun>
typename std::enable_if<is_fun_ptr<Fun>::value>::type
test(Fun) {
std::cout << "is a function pointer\n";
}
template <typename Fun>
typename std::enable_if<!is_fun_ptr<Fun>::value>::type
test(Fun) {
std::cout << "is not a function pointer\n";
}
void f0() {}
void f1(int) {}
void f2(int, double) {}
struct s0 { void operator()() {} };
struct s1 { void operator()(int) {} };
struct s2 { void operator()(int, double) {} };
int main()
{
int v0(0);
int* p0(&v0);
void (*p1)() = &f0;
void (**p2)() = &p1;
std::cout << "v0="; test(v0);
std::cout << "p0="; test(p0);
std::cout << "p1="; test(p1);
std::cout << "p2="; test(p2);
std::cout << "f0="; test(&f0);
std::cout << "f1="; test(&f1);
std::cout << "f2="; test(&f2);
std::cout << "s0="; test(s0());
std::cout << "s1="; test(s1());
std::cout << "s2="; test(s2());
std::cout << "l0="; test([](){});
std::cout << "l1="; test([](int){});
std::cout << "l2="; test([](int, double){});
}
关于c++ - `std::enable_if` 是函数指针——怎么样?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/18666218/