使用默认参数从 lambda 调用最少数量的参数

Call with minimal number of argument from lambda with default arguments

本文关键字：参数 lambda 默认 调用      更新时间：2023-10-16

出于我目前正在编写的库的目的，我的目标是，给定用户指定的lambda函数，使用我选择的参数在内部调用它。

到目前为止，它工作正常，看起来像这样：

#include <tuple>
template<typename T> struct GetFinfos;
template<typename R, typename F, typename ...Args>
struct GetFinfos<R(F::*)(Args...) const> {
static std::tuple<Args...> createChosenTuple() {
return std::make_tuple(Args(1)...);
}   
};
template<typename F>
void internal_lambda_call(const F & f) {
//let's suppose for convenience that we have a working call_from_tuple in C++14
std::apply(f,  GetFinfos<decltype(&F::operator())>::createChosenTuple() );
}
int main()
{
auto f = [](int i, int j, int k) { };
internal_lambda_call(f); // calls f(1,1,1);
}

现在，C++14引入了带有默认参数的 lambda 函数，我想知道库是否可以使用来自用户的这些额外信息。

auto g = [](int i, int j = 5, int k = 5) { };

据我了解，具有默认参数的 lambda 仍然只有一个ClosureType::operator ret(*)(params)()运算符。因此，GetFinfos对默认参数视而不见，internal_lambda_call(g)调用g(1,1,1)。

但是，由于我们可以访问完整的参数类型列表，因此理论上我们可以尝试使用递减的参数来调用 lambda 并选择最后一个有效的参数。

g(1,1,1)  //valid call
g(1,1)    //valid call
g(1);     //valid call   <---- last valid one 
g();      //invalid call

所以我的问题是：如果有任何现有的机器，那么internal_lambda_call(g)自动调用g(1)或g(1,5,5)？我在这里看到通用 lambda 可用于包装 lambda 并使其与显式数量的参数一起工作。但是我没有看到自动获得这种最小数量的参数的方法。

我没有看到自动获取此最小参数的方法。

或。。。带有一点递归和SFINAE...

#include <tuple>
#include <utility>
template <typename F, typename T, std::size_t ... Is>
constexpr auto gmna_helper (std::index_sequence<Is...> is, int)
-> decltype( (void)std::declval<F>()
(std::declval<std::tuple_element_t<Is, T>>()...),
std::size_t{} )
{ return sizeof...(Is); }
template <typename F, typename T, std::size_t ... Is>
constexpr auto gmna_helper (std::index_sequence<Is...>, long)
{ return gmna_helper<F, T>(std::make_index_sequence<sizeof...(Is)+1u>{}, 0); }
template <typename F, typename ... Ts>
constexpr std::size_t getMinNumArgs ()
{ return gmna_helper<F, std::tuple<Ts...>>(std::index_sequence<>{}, 0); }
int main ()
{
auto g = [](int, int = 5, int = 5) { };
constexpr auto n = getMinNumArgs<decltype(g), int, int, int>();
static_assert( n == 1, "!" );
}

正如同一个 OP 在评论中所说，两个gmna_helper()(int与long参数)之间的签名差异是引入排序：该函数使用int调用，因此选择接收int的版本(如果可用)。也就是说：当类型为F的函数仅在前sizeof...(Is)个参数的情况下可调用时选择。

否则，当int版本不可用(SFINAE 因decltype()内呼叫失败而禁用)时，将选择long(永远可用)。

相关文章：