Java 8 lambda 和 alpha 等价

Question

我想知道，在 Java-8 中实现 alpha-equivalence 比较是否有任何好方法（如果可能的话）？

显然这两个 lambda-s 是 alpha 等效的。让我们假设在某些情况下我们想要检测这个事实。如何实现？

Predicate<Integer> l1 = x -> x == 1;
Predicate<Integer> l2 = y -> y == 1;

Answer 1

_{我对这个答案有点犹豫，但可能值得一提：}

没有办法做到这一点。正如 Brian Goetz 在 answer to a related question 中指出的那样，在这个意义上，没有指定的、可靠的方法来获取 lambda 的“内容”。

但是（现在是模糊的挥手部分）：

目前还没有。

将来可能会这样做。也许不是 Java 9，而是更高版本。 Project Panama 有一个宏大的目标，其中包括让开发人员更深入地访问 lambda，帮助进一步（运行时）优化、翻译和处理。

最近，Radosław Smogura posted in the mailing list：

我尝试捕获 lambda 表达式以在运行时将它们作为表达式树。我可以为 (o) -> (var == var) && ((varX == varX) && (someField + 1 == 1)) 之类的简单 lambdas 做到这一点，因此以后的用户可以使用（缺少）API检查树。

现在可以使用如下代码访问树：

Method m = BasicMatadataTest.class.getDeclaredMethod("lambda$meta0");
Expression e = (Expression) m.invoke(null);
BinaryExpression top = (BinaryExpression) e;
BinaryExpression vars = (BinaryExpression) top.getLefthandExpression(); // represents (var == var)
(VariableExpression) vars.getLefthandExpression() // represents first var, and it’s reference equal to vars.getRighthandExpression() as it’s same variable 

...

这里的重点可能是评论：

代表第一个变量，它与vars.getRighthandExpression()的引用相等，因为它是同一个变量

^(e.b.m)

因此，如果我正确理解了您的问题并且此邮件列表发布正确，则可以确定这些表达式之间的等价性：比较树结构将是相当微不足道的（鉴于上面概述的功能）。然后它可能归结为将两个VariableExpression 视为“相等”，而不管实际变量name。

邮件列表消息指向存储库：

• https://bitbucket.org/radoslaw_smogura/java-lambda-metaexpression-jdk9-langtools/branch/metaexpr
• https://bitbucket.org/radoslaw_smogura/java-lambda-metaexpresions-jdk/commits/branch/metaexpr

（免责声明：我没有测试过这个，也不知道如何让它运行（或者它是否有效） - 但据我了解，它至少 非常 接近这个问题实际上是关于什么的）。