C++0x 闭包/lambda 示例

Question

我试图利用 C++0x 闭包使自定义词法分析器和解析器之间的控制流更加简单。如果没有闭包，我有以下安排：

//--------
// lexer.h
class Lexer {
public:
  struct Token { int type; QString lexeme; }
  struct Callback {
    virtual int processToken(const Token &token) = 0;
  };
  Lexer();
  int tokenize(const QList<Token> &patterns, QTextStream &stream,
               Callback *callback);
};
//-------------
// foo_parser.h
class FooParser: public Lexer::Callback {
  virtual int processToken(const Lexer::Token &token);
  int process(QTextStream *fooStream);
  // etc..
}
//--------------
// foo_parser.cc
int FooParser::processToken(const Lexer::Token &token) {
  canonicalize(token);
  processLine();
  return 0;
}
int FooParser::process(QTextStream *fooStream) {
  Lexer lexer;
  // *** Jumps to FooParser::processToken() above! ***
  return lexer.tokenize(patterns_, fooStream, this);
}

上面代码的主要问题是我不喜欢控制流中从 lexer.tokenize() 调用到 FooParser::processToken() 函数的“跳转”。

我希望闭包能够允许这样的事情：

int FooParser::process(QTextStream *fooStream) {
  Lexer lexer;
  return lexer.tokenize(patterns_, fooStream, [&](const Lexer::Token &token) {
    canonicalize(token);
    processLine();
    return 0;
  });
  // ...
}

至少对我来说，通过 lexer.tokenize() 调用哪些 FooParser 方法更加清楚。

不幸的是，我见过的 C++0x 闭包的唯一示例是这样的：

int total = 0;
std::for_each(vec.begin(), vec.end(), [&total](int x){total += x;});
printf("total = %d\n", total);

虽然我可以让这个示例代码工作，但我一直无法弄清楚如何编写函数 >像 std::for_each() 一样，它接受 Functor/closure 作为参数并调用它。

也就是说，我不确定如何编写一个类 Foo 以便我可以执行此操作：

// Does this need to be templated for the Functor?
struct Foo {
  void doStuff( ... what goes here?????? ) {
    myArg();
  }
};

int someNumber = 1234;
Foo foo;
foo.doStuff([&]() { printf("someNumber = %d\n", someNumber); }

对于此示例，预期输出将是 someNumber = 1234

对于参考，我的编译器是 gcc 版本 4.5.1 。

非常感谢。

Answer 1

doStuff 可以采用 std::function：

void doStuff(std::function<void()> f)
{
    f();
}

使用模板是另一种选择：

template <typename FunctionT>
void doStuff(FunctionT f)
{
    f();
}

lambda 表达式的实际类型是唯一且未指定的。