6

我正在开发一个使用 lambdas 来描述表达式术语范围的库。因为库必须分发唯一的整数来标识每个变量，所以如果库而不是用户构造变量并且用户代码将它们作为 lambda 参数接收是理想的。

（换句话说，我正在从 miniKanren 实现“call\fresh”的 C++ 模拟。）

由于用户可能希望在特定范围内引入从零到许多新变量的任何数字，我希望用户能够将具有不同数量参数的 lambdas 传递给库。但是，我不知道有任何（简单）方法（在 C++14 中）来推断任意 lambda 对象的参数数量。

我突然想到为什么不将固定数量（比如 10）的可变 id 参数传递给 lambda，并让用户代码在 lambda 中使用省略号来忽略不需要的参数？像这样的东西：

auto no_args = call_fresh([](...) { return success(); });
auto one_arg = call_fresh([](var A, ...) { return A == 1; });
auto two_args = call_fresh([](var A, var B, ...) { return A == 1 && B == 2; });

编译器资源管理器似乎接受 lambda 参数列表中的省略号，至少在 gcc 中是这样。

它会被称为这样的东西（注意代码总是传递 10 个变量 id，无论“f”是否只命名一个、两个或一个都不命名）：

template <typename F>
auto call_fresh(F f)
{
   return [f](StateCounter sc) {
      return f(sc+0,sc+1,sc+2,sc+3,sc+4,
          sc+5,sc+6,sc+7,sc+8,sc+9);
   };
}

诚然这是一个令我感到惊讶的功能，有什么理由不使用带有省略号的 lambdas 吗？

4

2 回答 2

5

但是，我不知道有任何（简单）方法（在 C++14 中）来推断任意 lambda 对象的参数数量。

在我看来，您正在寻找参数sizeof...()的可变参数auto列表

#include <iostream>

int main ()
 {
   auto l = [](auto ... as) { return sizeof...(as); };

   std::cout << l(1, 2L, 3.0, 4.0f, "5") << std::endl; // print 5
 }
于 2018-05-10T20:22:10.960 回答
4

您的 lambda 本质上是 C 风格的可变参数函数。使用它们没有任何问题，如果您不想访问这些值（这有点难看），那很好。

但是，您似乎真正想要解决的根本问题是让您的库找到函数/lambda/...的参数（或arity）的数量，您可以使用模板元编程来完成 - 不需要您的用户来解决该问题。

披露：在我也在研究的库中有一个实现，这里。

这是一个简单的例子：

template <typename Callable>
struct function_arity : public function_arity<decltype(&Callable::operator())>
{};

template <typename ClassType, typename ReturnType, typename... Args>
struct function_arity<ReturnType(ClassType::*)(Args...) const>
{
    constexpr static size_t arity = sizeof...(Args);
};

template <typename ClassType, typename ReturnType, typename... Args>
struct function_arity<ReturnType(ClassType::*)(Args...)>
{
    constexpr static size_t arity = sizeof...(Args);
};

编译器会自动为您推断参数类型，并为您提供sizeof...所需的参数数量。

然后，您可以使用function_arity<decltype(lambda)>::arity来获取 lambda 的参数数量。最后一个版本处理mutablelambdas，其中调用运算符是非常量的。您可能还想扩展它以使其正常工作noexcept，否则您将遇到像这个 libc++ 错误这样的错误。

不幸的是，这不适用于重载或模板化operator()（例如，如果您auto在 lambda 中使用 -type 参数）。如果您还想支持函数而不是 lambda，则可能需要额外的特化。

于 2018-05-10T20:32:19.637 回答