【Java】fail-fast 机制故障简述

fail-fast 机制是集合世界中比较常见的错误检测机制，通常出现在遍历集合元素的过程中。
但是 fail-fast 机制有时也会导致程序出现深层次的故障。

public class Test01 {
    public static void main(String[] args) {
        ArrayList<String> list = new ArrayList<>();
        list.add("a");
        list.add("b");
        list.add("c");
        // forEach 循环存在此问题，但是 for 循环无此问题
        for (String s : list) {
            if ("b".equals(s)) {
                list.remove(s);
            }
            System.out.print(s);
        }
    }
}
/*
* 预想输出：abc
* 实际输出：ab
* 
* c 被跳过，为什么？
* */

原因剖析

1. 初始时，list 集合的大小 size 等于 3 。
2. 然后在集合遍历时，JVM会维护一个初始值为 0 的游标 cursor ，每次遍历之前，都会检查 cursor == size 是否成立，如果成立则认为遍历结束，程序终止；如果不成立，则 cursor 自增 1 ，继续下一次循环。
3. 本次代码中，当执行 remove() 方法之后 ，size = size - 1 =2 ，这时 cursor 的值恰好也等于 2，符合条件 cursor == size ，所以 JVM 便终止程序，导致并没有读取到最后一个值 c 。