如何使用 typedef 声明 lambda 函数，然后通过传递给函数来使用它？

Question

我现在正在学习 C++，对 Lambda 函数的语法很困惑

我想在一个单元的顶部定义 lambda，例如

   typedef const std::function<void (bool)> bitloop;

要么

   typedef void bitloop(bool bit, int idx);

稍后，将 lambda 接受到类中的函数中，例如，在我的 Bits 类中，有一个方法 forEach

void forEach(const bitloop loop){
 for (int i = 0; i<=fCount-1;i++){
    loop(this->isSet(i),i);  
  }   
}

然后最终能够稍后编写不同的循环函数，传递一个值和循环索引，这样我就可以在局部范围内捕获变量，例如

bits.forEach([&](bool on, int i){ 
      output("index" + to_string(count));   //count is locally declared variable
  });

如果我删除 &，它可以很好地与第二种类型 def 一起工作，但是我无法捕获计数变量。

有人可以解释我哪里出了问题，这是否是一种有效的方法？

Answer 1

首先，您的第二个typedef实际上是正确的，但您的第一个typedef的签名不正确。 这就是我声明std::function的方式：

// T1 : function object
typedef std::function<void(bool, int)> T1;

// T2 : pointer to function
typedef void (*T2)(bool, int);

正如您已经观察到的，捕获局部变量的 lambda 函数目前不能作为T2的函数参数使用（请参阅本页的评论）。 下面显示的代码突出显示了此问题并重现了编译器错误。

struct Bits
{
  void forEach(const T2 &loop)
  {
    //...
  }
};

int main(int argc, char** argv)
{
  int i = 0; // local variable
  auto function1 = [](bool, int){ /**/ };
  auto function2 = [&i](bool, int){ /**/ };
  Bits bits;
  bits.forEach(function1); // OK
  //// if you uncomment the next line, the compiler would generate the following error
  //// [Error] no matching function for call to 'Bits::forEach(main(int, char**)::<lambda(bool, int)>)'
  //bits.forEach(function2);

然而，捕获局部变量的 lambda 函数可以完美地用作T1的函数参数。

struct Bits
{
  void forEach(const T1 &loop)
  {
    //...
  }
};

int main(int argc, char** argv)
{
  int i = 0; // local variable
  Bits bits;
  auto function1 = [](bool, int){ /**/ };
  auto function2 = [&i](bool, int){ /**/ };
  bits.forEach(function1); // OK
  bits.forEach(function2); // OK

其次，还有另一种方法可以在不显式声明std::function或函数类型的情况下使用 lambda 作为函数参数……没错，它涉及使用函数模板。

struct Bits
{
  template<typename T3> void forEach(const T3 &loop)
  {
    //...
  }
};

int main(int argc, char** argv)
{
  int i = 0; // local variable
  Bits bits;
  auto function1 = [](bool, int){ /**/ };
  auto function2 = [&i](bool, int){ /**/ };
  std::function<void(bool, int)> function3 =  = [&i](bool, int){ /**/ };
  bits.forEach(function1); // OK
  bits.forEach(function2); // OK
  bits.forEach(function3); // OK
  bits.forEach([&i](bool, int){ /**/ }); // OK

你也是对的，这就是如何定义一个捕获所有局部变量的 lambda 函数。

int i = 0; // local variable
Bits bits;
bits.forEach([&](bool, int){ /**/ }); // OK

有关其他 lambda 捕获选项，请参阅cppreference 。