Scala中TraversableLike#head何时返回不同结果？myMap.head调用是否安全？

一、哪些场景下head返回结果会不一致？ #

根据官方文档提示，核心取决于底层集合是否有序，具体场景包括：

• 基于哈希实现的无序集合：比如HashSet、Scala默认的HashMap（直接用Map创建的实例就是这类），这类集合的元素存储顺序由哈希值和内部存储结构决定。不同JVM版本、运行环境，或者集合扩容后，元素的存储位置可能变化，导致多次运行时head拿到的第一个元素不同。
• 跨运行环境/不同JVM实例：即使是元素完全相同的无序集合，在不同JVM进程中加载，或者经过序列化/反序列化后，head的结果也可能不一样——因为哈希计算的细节（比如哈希值扰动逻辑）可能因环境而异。
• 集合元素变更后：如果在两次调用head之间，无序集合进行了增删元素操作，触发了内部哈希桶的重组，再次调用head也可能得到不同的元素。

二、重复调用myMap.head是否安全？ #

分两种场景判断：

• 无修改的单线程场景：安全。只要调用期间myMap没有任何元素增删、结构变更，单次运行内head的结果是稳定的。官方文档提到的“不同运行可能返回不同”，指的是跨JVM实例、跨运行周期的情况，而非同一次运行内的重复调用。
• 并发修改或多线程场景：不安全。如果其他线程同时对myMap进行增删操作，不仅head的结果会不稳定，还可能因为集合内部结构处于不一致状态，引发NoSuchElementException或其他并发异常。这种情况需要加锁，或者改用线程安全的集合实现（比如ConcurrentHashMap）。

官方文档原文引用 #

选取该可遍历集合的第一个元素。注意：除非底层集合类型是有序的，否则不同运行可能返回不同结果。返回值：该可遍历集合的第一个元素。抛出异常：NoSuchElementException——如果可遍历集合为空。

内容的提问来源于stack exchange，提问作者Cherry