Question

如何匹配在lambda之外定义并由引用捕获的lambda中的变量？

我要解决的问题：我有一个数据库事务处理系统，其代码如下所示：

std::set<int> values;
auto f = [&](TransactionOp* op) -> Status {
  for (auto v : readColumn("values")) 
     values.insert(v);
  return Ok();
}
Status s = TransactionRunner::Run(f);

上面的代码有一个细微的错误，因为f不能清除值。 TransactionRunner :: Run可以多次调用f，直到事务成功。如果f不清除值，则值将具有先前尝试的垃圾值。

我正在编写一个整洁的检查程序，以查找类似的错误并阻止编写新错误。

到目前为止，我有类似的东西：

cxxRecordDecl(isLambda(), hasDescendant(cxxMethodDecl(returns(hasUnqualifiedDesugaredType(recordType(hasDeclaration(cxxRecordDecl(hasName("Status")))))), parameterCountIs(1), hasParameter(0, hasType(pointsTo(cxxRecordDecl(hasName("TransactionOp"))))), hasBody(compoundStmt(allOf(hasDescendant(cxxMemberCallExpr(on(declRefExpr(to(varDecl().bind("insertee")))), thisPointerType(cxxRecordDecl(hasName("set"))), callee(cxxMethodDecl(hasName("insert"))))), unless(hasDescendant(cxxMemberCallExpr(on(declRefExpr(to(equalsBoundNode("insertee")))), thisPointerType(cxxRecordDecl(hasName("set"))), callee(cxxMethodDecl(hasName("clear"))))))))))))

上面的代码会找到一个带有正确签名的lambda，该lambda里面有一个set插入物，但是没有对同一个set的明确调用。

我希望它不会在lambda内部声明的集合上触发。因此，我希望匹配器仅在lambda捕获集合时才匹配。

Answer 1

我找到了解决方法。

我用一个负匹配符（除非）来表示变量的声明不是lambda主体的后代。这并不能完全满足我的要求（确定变量是捕获变量），但是它只会匹配捕获变量和全局变量，因此适用于我的用例。

这是我的整个配对者：

cxxRecordDecl(isLambda(), hasDescendant(cxxMethodDecl(returns(hasUnqualifiedDesugaredType(recordType(hasDeclaration(cxxRecordDecl(hasName("Status")))))), parameterCountIs(1), hasParameter(0, hasType(pointsTo(cxxRecordDecl(hasName("TransactionOp"))))), hasBody(compoundStmt(allOf(hasDescendant(cxxMemberCallExpr(on(declRefExpr(to(varDecl().bind("insertee")))), thisPointerType(cxxRecordDecl(hasName("set"))), callee(cxxMethodDecl(hasName("insert"))))), unless(hasDescendant(cxxMemberCallExpr(on(declRefExpr(to(equalsBoundNode("insertee")))), thisPointerType(cxxRecordDecl(hasName("set"))), callee(cxxMethodDecl(hasName("clear")))))), unless(hasDescendant(decl(equalsBoundNode("insertee"))))))))))

有趣的部分是我绑定插入cxxMethodDecl中的集合的声明的地方：

cxxMethodDecl(on(declRefExpr(to(varDecl().bind("insertee")))), ...)

然后说声明不是主体的后代（因此它必须在外部）：

unless(hasDescendant(decl(equalsBoundNode("insertee")))))))

希望此解决方案可以节省其他人的时间。

Clang AST Matchers：如何在Lambda捕获变量上进行匹配？

1 个答案: