java报错Variable used in lambda expression should be final or effectively final

在Java中，当你在lambda表达式中使用一个变量时，这个变量必须是final的，或者从Java 8开始，它可以是effectively final的。这意味着这个变量在lambda表达式外部被初始化后，在lambda表达式被捕获并可能执行的整个过程中，其值不应该被修改。

"Effectively final"意味着变量在初始化后没有被重新赋值，尽管它没有被显式地声明为final。Java编译器会自动检查这一点，以确保lambda表达式中的变量在捕获时是线程安全的，并且其值在lambda执行期间不会改变。

例如，下面的代码会编译通过，因为num是effectively final的：

java

int num = 10;  
List<Integer> list = Arrays.asList(1, 2, 3);  
list.forEach(n -> System.out.println(n * num)); // num是effectively final的

但是，如果你尝试在lambda表达式外部修改num的值，编译器会报错，即使你没有在lambda表达式内部修改它：

java

int num = 10;  
List<Integer> list = Arrays.asList(1, 2, 3);  
  
// 下面的代码会导致编译错误，因为虽然num没有在lambda内部被修改，  
// 但编译器检测到它可能在lambda外部被修改，所以它不是effectively final的  
num = 20; // 尝试修改num的值  
list.forEach(n -> System.out.println(n * num)); // 编译错误

在Java中，lambda表达式捕获其外部作用域中的变量时，这些变量必须是不可变的，以确保线程安全和一致性。这是因为在lambda表达式被创建和调用时，可能会跨越多个线程的生命周期，而允许外部变量在lambda执行过程中被修改可能会导致不可预测的行为和竞态条件。

“effectively final”的概念是Java 8引入的，它允许你使用那些没有被显式声明为final但实际上在初始化后没有被重新赋值的变量。编译器会检查这些变量，确保它们在lambda表达式被捕获之后没有被修改。

为什么需要这种限制呢？主要有以下几个原因：

1. 线程安全：如果lambda表达式被多个线程并发执行，并且它捕获了一个可以在外部被修改的变量，那么这个变量可能会被不同的线程在不同的时间点上修改，从而导致不一致的行为和不可预测的结果。通过将捕获的变量视为不可变的，我们可以避免这种情况。
2. 捕获的语义：lambda表达式捕获其外部作用域中的变量时，实际上是创建了一个这些变量的副本（对于基本数据类型）或引用（对于对象）。如果这些变量在lambda执行过程中被修改，那么捕获的副本或引用可能无法反映这些修改，这会导致混淆和错误。
3. 代码可读性：将捕获的变量视为不可变的可以使代码更易于理解和维护。开发者可以明确地知道这些变量在lambda表达式执行过程中不会改变，从而更容易地推理代码的行为。
4. 简洁性：要求变量是final的或effectively final的可以简化lambda表达式的实现和语义。如果允许捕获的变量在lambda执行过程中被修改，那么就需要引入额外的机制来管理这些变量的生命周期和可见性，这会增加实现的复杂性和出错的可能性。

因此，将lambda表达式中捕获的变量限制为final的或effectively final的是为了确保线程安全、简化语义、提高代码可读性和简洁性。

要解决这个问题，你可以将变量声明为final（如果它不需要被修改），或者确保在lambda表达式捕获它之前不会修改它（即保持它effectively final）。如果你确实需要在lambda表达式外部修改变量的值，并且这个值需要在lambda表达式内部使用，那么你可能需要考虑使用不同的逻辑结构，比如使用AtomicInteger或其他并发控制机制，或者重新设计你的代码以避免这种需求。

在Java中，当你在lambda表达式内部引用一个变量时，这个变量必须是不可变的（即final或effectively final）。这个规则存在的原因是因为lambda表达式在本质上可以被看作是一个匿名的内部类，并且内部类在Java中对于其引用的外部变量有一个特殊的限制：这些变量必须是final的，以确保它们在内部类被实例化之后不会被外部代码修改，从而保持内部类引用的一致性和稳定性。

不过，这里的final并不意味着你必须使用final关键字来显式地声明变量。从Java 8开始，如果你没有显式地声明一个变量为final，但它在初始化之后没有被重新赋值，那么这个变量就被认为是effectively final的。这样的变量可以在lambda表达式中安全地引用。

String example = "hello"; // effectively final, because it's not reassigned  
List<String> list = Arrays.asList("a", "b", "c");  
list.forEach(s -> System.out.println(s + example)); // OK  
  
// Now if we try to reassign example, it won't compile  
// example = "world"; // Compile error: local variable example defined in an enclosing scope must be final or effectively final

传统的for-each循环（也称为增强的for循环）不会遇到这个问题，因为它不是通过内部类来实现迭代的。增强的for循环直接操作集合的元素，不需要通过引用外部变量来保持状态。因此，在for-each循环中，你可以自由地修改循环变量（尽管这通常不是一个好的编程实践，因为它可能会使代码难以理解和维护）。

总结一下，lambda表达式要求引用的变量是final或effectively final的原因是为了保证内部类实例的状态一致性和稳定性，而传统的for-each循环没有这个要求，因为它不使用内部类来实现迭代。