增强的“ for”循环和lambda表达式

Question

据我了解，lambda表达式捕获值，而不是变量。例如，以下是编译时错误：

for (int k = 0; k < 10; k++) {
    new Thread(() -> System.out.println(k)).start();
    // Error—cannot capture k
    // Local variable k defined in an enclosing scope must be final or effectively final
   }

但是，当我尝试使用增强功能运行相同的逻辑时，for-loop一切工作正常：

List<Integer> listOfInt = new Arrays.asList(1, 2, 3);

for (Integer arg : listOfInt) {
    new Thread(() -> System.out.println(arg)).start();
    // OK to capture 'arg'
 }

为什么它对于增强型for循环而不是常规的常规for循环都能很好地工作，尽管增强型for循环也像常规循环那样在内部递增变量。**

Answer 1

Lambda表达式的工作方式类似于回调。一旦在代码中传递它们，它们就“存储”它们需要操作的任何外部值（或引用）（就像这些值在函数调用中作为参数传递一样。这对开发人员来说是隐藏的）。在第一个示例中，可以通过存储k到单独的变量（例如d）来解决该问题：

for (int k = 0; k < 10; k++) {
    final int d = k
    new Thread(() -> System.out.println(d)).start();
}

有效地final意味着，在上面的示例中，您可以将’final’关键字排除在外，因为d它实际上是最终的，因为它在其范围内从未更改。

for循环的运行方式不同。它们是迭代代码（与回调相反）。它们在各自的范围内工作，并且可以在自己的堆栈上使用所有变量。这意味着for循环的代码块是外部代码块的一部分。

关于您突出显示的问题：

增强的for循环不能使用常规索引计数器运行，至少不能直接运行。增强的for循环（在非数组上）创建一个隐藏的迭代器。您可以通过以下方式进行测试：

Collection<String> mySet = new HashSet<>();
mySet.addAll(Arrays.asList("A", "B", "C"));
for (String myString : mySet) {
    if (myString.equals("B")) {
        mySet.remove(myString);
    }
}

上面的示例将导致ConcurrentModificationException。这是由于迭代器注意到基础集合在执行期间已更改。但是，在您的示例中，外部循环创建了一个“有效最终”变量arg，该变量可以在lambda表达式中引用，因为该值是在执行时捕获的。

防止捕获“非有效最终”值或多或少只是Java中的一项预防措施，因为在其他语言（例如JavaScript）中，这是不同的。

因此，编译器理论上可以翻译代码，捕获值并继续，但是它必须以不同的方式存储该值，并且您可能会得到意想不到的结果。因此，为Ja​​va
8开发lambda的团队通过例外地防止了这种情况，从而正确排除了这种情况。

如果您需要更改lambda表达式中的外部变量的值，则可以声明一个单元素数组：

String[] myStringRef = { "before" };
someCallingMethod(() -> myStringRef[0] = "after" );
System.out.println(myStringRef[0]);

或用于AtomicReference<T>使其成为线程安全的。但是，在您的示例中，此回调可能会返回“
before”，因为回调很可能在println执行之后执行。