Java中的匿名类和闭包有什么区别？

Question

看起来匿名类提供了闭包的基本功能，是真的吗？

Answer 1

几乎没有区别。事实上，有一句关于闭包和对象的老话。闭包是穷人的对象，对象是穷人的闭包。就其功能而言，两者都同样强大。我们只是在争论表达能力。

在 Java 中，我们使用匿名对象对闭包进行建模。事实上，这里有一点历史是，最初Java有能力在不使用final的情况下修改外部作用域。这对于在本地方法范围内分配的对象来说工作得很好，但是当涉及到原语时，这引起了很多争议。基元是在堆栈上分配的，因此为了让它们能够在外部方法执行之后存活下来，Java 必须在堆上分配内存并将这些成员移到堆中。当时人们对垃圾收集还很陌生，他们不相信它，因此有人声称 Java 不应该在没有程序员明确指示的情况下分配内存。为了达成妥协，Java 决定使用 Final 关键字。

http://madbean.com/2003/mb2003-49/

现在有趣的是Java可以消除这个限制并使用可选的final关键字，因为每个人都对垃圾收集器更加熟悉，并且从语言的角度来看它可以完全兼容。尽管解决此问题的方法很简单，只需在匿名对象上定义实例变量，并且您可以根据需要进行修改。事实上，通过编译器将公共实例变量添加到匿名类，并重写源代码以使用这些变量而不是堆栈变量，这可能是实现对本地范围的闭包样式引用的简单方法。

public Object someFunction() {
   int someValue = 0;

   SomeAnonymousClass implementation = new SomeAnonymousClass() {
       public boolean callback() {
           someValue++;
       }
   }
   implementation.callback();
   return someValue;
}

将被重写为：

 public Object someFunction() {
   SomeAnonymousClass implementation = new SomeAnonymousClass() {
       public int someValue = 0;

       public boolean callback() {
           someValue++;
       }
   }
   implementation.callback();

   // all references to someValue could be rewritten to 
   // use this instance variable instead.
   return implementation.someValue;
}

我认为人们抱怨匿名内部类的原因更多地与静态类型与动态类型有关。在Java中，我们必须为匿名类的实现者和接受匿名类的代码定义一个商定的接口。我们必须这样做，以便我们可以在编译时键入检查所有内容。如果我们有第一类函数，那么 Java 需要定义一种语法来声明方法的参数和返回类型作为数据类型，以保持静态类型语言的类型安全。这几乎与定义接口一样复杂。 （一个接口可以定义多个方法，声明第一类方法的语法仅适用于一个方法）。您可以将其视为一种简短的接口语法。在底层，编译器可以在编译时将缩写形式转换为接口。

Java 可以做很多事情来改善匿名类体验，而无需放弃该语言或进行重大手术。

Answer 2

就它们都影响其他“私人”范围而言，在非常有限的意义上，是的。然而，差异如此之多，以至于答案可能是否定的。

由于 Java 缺乏将代码块作为真正的 R 值进行处理的能力，因此内部类无法像通常在 Continuation 中所做的那样传递代码块。因此，闭包作为一种延续技术是完全缺失的。

虽然要进行垃圾收集的类的生命周期是通过持有内部类的人来延长的（类似于闭包在反弹到闭包时使变量保持活动状态），但 Java 通过绑定进行重命名的能力仅限于遵守现有的 Java 语法。

并且为了允许线程使用 Java 的线程争用模型正确地不破坏彼此的数据，内部类进一步限制对保证不会扰乱的数据（也称为最终局部变量）的访问。

这完全忽略了其他内部类（又名静态内部类），它们在感觉上略有不同。换句话说，它涉及闭包可以处理的一些项目，但达不到大多数人认为称为闭包所必需的最低要求。

Answer 3

恕我直言，它们具有类似的目的，但是闭包旨在更简洁并可能提供更多功能。

假设您想通过匿名类来使用局部变量。

final int[] i = { 0 };
final double[] d = { 0.0 };

Runnable run = new Runnable() { 
    public void run() {
        d[0] = i[0] * 1.5;
    }
};
executor.submit(run);

闭包允许您只编写想要的内容，从而避免了大多数样板代码的需要。

int i = 0;
double d = 0.0;

Runnable run = { => d = i * 1.5; };
executor.submit(run);

甚至

executor.submit({ => d = i * 1.5; });

or if 闭包支持代码块。

executor.submit() {
    d = i * 1.5; 
}