Java8新特性：等同 final 效果(Effectively Final)

闭包

闭包就是能够读取函数作用域之外的变量的函数。

考虑一个返回复杂的 lambda 的高阶函数，使用了函数作用域之外的变量，返回该函数会发生什么？

java支持闭包，即在词法上限定范围（也使用术语“变量捕获”）。如果一个变量拥有独立的生存周期，那么并且不需要任何特殊的捕获。

从 Lambda 表达式引用的 局部变量，必须是 final 或者是等同 final 效果的。

Effectively Final

这个术语是在 Java 8 才开始出现的，表示虽然没有明确地声明变量是 final 的，但是因变量值没被改变过而实际有了 final 同等的效果。

等同 final 效果意味着可以在变量声明前加上 final 关键字而不用更改任何其余代码。

示例

〇：x作为局部变量，只使用其值，是等同 final 效果。 i 作为局部变量，不能改变 i 的值，因为返回函数 “() -> x + i” 后， i 会被释放，不在内存中，无法在调用时进行修改 i 的值。

public class Closure0 {
  IntSupplier makeFun(int x) {
    int i = 0;
    return () -> x + i;
  }
}

①：x是局部变量，但是等同 final 效果。 i 作为全局变量，可以改变 i 的值，因为调用 makeFun() 时，几乎必定有一个 Closure1 对象，并将现有的函数 “() -> x + i++” 以这种方式绑定到该对象上。因此，多次用同一个对象的 makeFun() 方法返回的函数，都共享一个 i 。

public class Closure1 {
  int i;
  IntSupplier makeFun(int x) {
    return () -> x + i++;
  }
}

②：使用 final 修饰 x 和 i。

public class Closure2 {
  IntSupplier makeFun(final int x) {
    final int i = 0;
    return () -> x + i;
  }
}

③：如果 x 和 i 的值在方法中的其他位置发生改变（但不在返回的函数内部），编译器仍将视其为错误。每个递增操作都会产生错误消息，因为不是等同 final 效果。等同 final 效果意味着可以在变量声明前加上 final 关键字而不用更改任何其余代码。

public class Closure3 {
  IntSupplier makeFun(int x) {
    int i = 0;
    i++;
    x++;
    return () -> x + i;
  }
}

④：应用于对象引用的 final 关键字仅表示不会重新赋值引用。 重新赋值引用会触发错误消息，但是它并不代表你不能修改对象本身。如下 ArrayList 对象 list 可以随意增删元素。

public class Closure4 {
  Supplier<List<Integer>> makeFun() {
    final List<Integer> list = new ArrayList<>();
    list.add(1);
    return () -> list;
  }
  
  public static void main(String[] args) {
    //makeFun()只返回函数，还需要get()获得函数返回值
    List<Integer> list = makeFun().get();
  }
}

⑤：修改对象本身不会报错，但是基本类型的包装类有所不同，编译器非常智能，它能识别引用 i 的值被更改过了。

//编译失败
public class Closure5 {
  IntSupplier makeFun(int x) {
    Integer i = 0;
    i = i + 1;
    return () -> x + i;
  }
}

⑥：作为闭包的内部类。实际上只要有内部类，就会有闭包。在内部类中也要遵守——局部变量必须是 final 或者是等同 final 效果的。

public class AnonymousClosure {
  IntSupplier makeFun(int x) {
    return new IntSupplier() {
      public int getAsInt() { return x; }
    };
  }
}