如何通过JUnit测试证明Java HashSet已处理哈希碰撞？

首先得明确哈希碰撞的定义：两个不同的对象，它们的hashCode()返回值相同，但equals()方法返回false。HashSet的核心逻辑是：先通过hashCode找到对应的存储桶，再在桶里用equals判断元素是否重复——所以只要equals不同，哪怕hashCode相同，也会被视为不同元素存入。

要验证HashSet能正确处理这种场景，我们可以按以下步骤来做：

1. 构造一个会主动产生哈希碰撞的自定义类 #

我们需要创建一个类，让它的所有实例都返回相同的hashCode，但仅当内部标识相同时才判定equals相等：

class CollisionObject {
    private final int id;

    public CollisionObject(int id) {
        this.id = id;
    }

    // 故意固定hashCode值，强制所有实例产生哈希碰撞
    @Override
    public int hashCode() {
        return 42;
    }

    // 仅当id完全相同时，两个实例才判定为相等
    @Override
    public boolean equals(Object o) {
        if (this == o) return true;
        if (o == null || getClass() != o.getClass()) return false;
        CollisionObject that = (CollisionObject) o;
        return id == that.id;
    }
}

2. 编写JUnit测试用例 #

接下来我们往HashSet中存入大量不同的CollisionObject实例，通过验证集合大小和元素存在性来证明碰撞处理逻辑：

import org.junit.jupiter.api.Test;
import java.util.HashSet;
import static org.junit.jupiter.api.Assertions.*;

public class HashSetCollisionTest {

    @Test
    void testHashSetHandlesCollisionsCorrectly() {
        final int totalElements = 10000;
        HashSet<CollisionObject> collisionSet = new HashSet<>();

        // 存入10000个id唯一的实例（所有实例hashCode相同，必然产生碰撞）
        for (int i = 0; i < totalElements; i++) {
            collisionSet.add(new CollisionObject(i));
        }

        // 核心断言：集合大小等于存入的元素总数
        // 这证明HashSet没有因为哈希碰撞误判元素重复，而是用equals做了二次校验
        assertEquals(totalElements, collisionSet.size(), 
                     "HashSet should preserve all unique elements even when hash collisions occur");

        // 额外验证：随机抽取几个元素，确认它们确实被正确存储
        assertTrue(collisionSet.contains(new CollisionObject(1234)));
        assertTrue(collisionSet.contains(new CollisionObject(9876)));
        assertFalse(collisionSet.contains(new CollisionObject(totalElements)));
    }
}

3. 为什么集合大小是有效的判断依据？ #

你之前的思路完全正确！原因很简单：

• 如果HashSet没有正确处理哈希碰撞，它可能会把所有hashCode相同的对象当成重复元素，最终集合大小只会是1（只保留第一个存入的元素）。
• 而测试结果中集合大小等于10000，说明HashSet在遇到哈希碰撞时，没有直接跳过元素，而是通过equals()方法做了进一步的唯一性校验，正确识别出这些是不同的元素并全部存入。

这就直接证明了HashSet已经正确处理了哈希碰撞的场景。

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