Java 匿名类与 Objective-C 块相比的局限性

Question

在发现 Objective-C 中的块之后，我才开始了解一阶函数和闭包。 Java 是另一种我听说过闭包（或缺乏闭包）的语言，以及匿名类如何在某种程度上弥补这一点。

我绝对可以看到 Objective-C 中闭包作为块的优点，但是匿名 Java 类的局限性是什么？它们在多大程度上“某种程度上”弥补了真正封闭的不足？

Answer 1

Java 匿名类真的非常非常啰嗦。除了定义它们所需的大量样板之外，Java 的一些设计决策意味着许多常见任务比其他语言要冗长得多。例如，在 Java 中将可变的上值导入到闭包中是一件很痛苦的事情。

基本上，Java 不支持 upvalues；相反，它们是通过类的构造函数的不可见参数将它们（按值）传递到类中来模拟的。因为它们是按值传递的，所以在类内部修改它们不会影响构造该类的方法中的副本，因此编译器会让您将它们声明为 Final 以避免混淆。例如：

Runnable function()
{
   final int i = 4;
   return new Runnable()
   {
       public void run()
       {
            System.out.println("i="+i);
            // can't modify i here
       }
   }
}

在您确实需要修改变量的情况下，例如在几乎所有闭包有用的情况下，您必须作弊：

Runnable function()
{
   final int[] i = new int[1];
   i[0] = 4;
   return new Runnable()
   {
       public void run()
       {
            System.out.println("i="+i[0]);
            i[0] = i[0] + 1;
       }
   }
}

在这里，i本身是仍然是不可变的，但因为它指向一个可变对象，所以我可以更改该对象的内容。 （当然，在现实生活中我会使用类而不是数组，因为使用数组真的很难看。这使得它变得更加罗嗦。）

我推测下一个 Java 版本将是有语法糖可以让这一切变得更容易，但现在在 Java 中以闭包为中心的编程相当麻烦。我发现更改逻辑而不使用闭包通常更容易，只是为了让我保持使用的代码量足够小以便易于理解。

Answer 2

我不太了解 Objective-C 版本的闭包，但我从 Smalltalk 和 Lua 中了解它们。

闭包本质上是一个函数，它可以访问其他函数/块（通常是闭包在语法上嵌套的函数/块）的局部变量。这样，局部变量的生存时间可以比它定义的块的寿命更长。当同一个变量有多个闭包时，它们可以使用该变量进行通信。

Java 的本地类（其中匿名类是一种特殊情况）支持此功能的有限版本：它们允许访问 final 变量，即不能更改其值的变量。这是通过将此变量的值复制到其构造时的本地类对象来实现的。您可以通过在此变量中使用可变对象（在最简单的情况下是单元素数组）来模拟真实的闭包。

此外，Java 语法相当丑陋，但它与语言的其余部分很好地契合，并且允许静态类型安全（与所讨论的一些较短语法变体相反）。