Java面试八股之fail-fast和fail-safe的区别

1. 简述fail-fast和fail-safe的区别

定义与基本概念

fail-fast：

定义：fail-fast是一种迭代器机制，当集合在迭代过程中被结构上修改（如添加、删除元素），会立即抛出ConcurrentModificationException异常，阻止迭代的继续进行。

典型实现：ArrayList、HashMap等java.util包下的非线程安全集合类的迭代器通常采用fail-fast策略。

fail-safe：

定义：fail-safe是一种迭代器机制，允许在迭代过程中对集合进行结构上的修改，迭代器不会抛出异常，而是反映出修改后的集合状态。

实现原理：通常通过在迭代时复制集合的一个视图（snapshot）来实现，迭代的是视图而不是实际集合，因此不受原集合修改的影响。

典型实现：CopyOnWriteArrayList、CopyOnWriteArraySet、ConcurrentHashMap等并发集合类，以及java.util.concurrent包下的ConcurrentSkipListMap等类的迭代器通常采用fail-safe策略。

详细对比

对集合修改的响应方式：

fail-fast：在迭代过程中检测到集合结构变化时，立即抛出异常，保护数据一致性，但可能导致程序中断。

fail-safe：在迭代过程中容忍集合结构变化，不会抛出异常，迭代器会反映出最终修改后的集合状态，确保程序能够继续执行。

并发安全性：

fail-fast：非线程安全，不适合在多线程环境下并发修改和迭代。若需在多线程环境下使用，必须采取额外的同步措施（如synchronized、Lock等）。

fail-safe：设计上支持并发修改和迭代，通常通过内部的同步机制或数据复制策略来保证线程安全。

性能影响：

fail-fast：通常具有较低的内存开销，但在并发修改时可能导致异常，影响程序性能和稳定性。

fail-safe：由于需要创建集合视图或使用额外的同步机制，可能导致较高的内存消耗或较低的写入性能，但在并发环境下更为稳健。

 如果大家需要视频版本的讲解，欢迎关注我的B站：