默认参数的函数特征

Function traits for default parameters

本文关键字：特征 函数 参数 默认      更新时间：2023-10-16

在问题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 类型的函数是否可以用一定数量的参数少于其参数数来调用。

相关文章：