“let表达式”的目的是（LetExpr）在Java编译器中？

Question

Java 编译器似乎支持 com.sun.tools.javac.tree.* 中的 let 表达式（查找 LetExpr）。

JCTree 中的一条评论甚至提到了一些语法，

(let int x = 3; in x+2)

这些语法当然不被该语言的语法所接受，并且在早期编译器阶段被拒绝。

我想知道这个构造的起源，我以前从未见过。

它是由javac内部使用的还是由其他工具合成的？它是否可能只是 Java 早期的一个从未出现过的语言特性的产物？

今天有什么有用的事情可以用它来做吗？

一般来说，它为什么存在？

Answer 1

一般来说，它为什么存在？

正如谷歌建议的那样，它的存在是为了自动装箱。

如果您有这样的代码：

Integer foo = 0;
foo++;

Java 在内部将其放入此辅助表达式中：

Integer foo = 0;
let int foo_helper = foo.intValue() in foo_helper++;

来源：https: //bugs.java.com/bugdatabase/view_bug?bug_id=6614974

该表达式显然没有语法表示，它只是一个 AST 级别的转换，以简化编译。

Answer 2

这称为 let 形式，用于“缩写”。

另一方面，在过程语言中，这称为“声明变量”，因为变量的“值”单元格可以在过程语言中发生变化。 （在函数式语言中，它只是一个缩写，与一开始就写出来没有什么不同）

我可以想到很多在用户编写的源代码中使用它的语言（Haskell、ML、Scheme、SBCL、 Arc，...），所以不确定你怎么还没有看到它...

或者你的意思只是在Java中？

let x = 2 in (x + 5)

是：的简写形式

(\x (x + 5)) 2

，最终会被简化为

(2 + 5)

\ 应该是 lambda 的位置。

至于为什么是Java，不太清楚。它应该做的是声明变量，所以检查它是否在那里使用。