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表达式的实际类型是唯一且未指定的。

C ++ 0x closures / lambdas示例

1 个答案: