如何使用 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 的函数参数（请参阅此页面上的 cmets）。下面显示的代码突出显示了此问题并重现了编译器错误。

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

其次，还有另一种方法可以使用 lambda 作为函数参数，而无需显式声明std::function 或函数类型……没错，它涉及到function templates 的使用。 p>

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。