在问题Is it possible to figure out the parameter type and return type of a lambda?
显示/链接了function_traits
结构的一个很好的实现。
此特征结构允许确定
- 返回类型
- 函数调用类型(即
R(Ts ...)
) - 功能参数
- 每个参数的参数类型
但是,它无法使用默认参数正常工作。也就是说,只有完整的类型(包括所有默认参数)才被认为是函数的类型。
是否可以编写一个
function_trait
来检查给定的函数参数是否为默认参数?
具体来说,我想稍后使用 SFINAE 使用此特性来启用/禁用给定的实现,具体取决于传递给函数的函数的最小/最大 arity,以及传递给函数的参数包的大小。
template <typename Func, typename ... Ts>
std::enable_if<(function_trait<decltype(F)>::min_arity >= sizeof ... ( Ts )
and
function_trait<decltype(F)>::max_arity <= sizeof ... ( Ts ) )>::type
foo( Func F, Ts ... ts ){
F( ts ... );
}
显然,这个例子有点做作。
不能仅使用可用的函数类型来执行此操作,因为默认参数不是函数类型的一部分。以下情况成立:
void foo(int, int);
void bar(int, int = 42);
static_assert(std::is_same<decltype(foo), decltype(bar)>::value, "He's wrong!");
这意味着你不能说 Func
类型的函数是否可以用一定数量的参数少于其参数数来调用。