ImmutableCollections中爲何EXPAND_FACTOR要設置爲2

 有時候我會用Map.of(k1, v1, k2, v2)來快速構建一個Map。 順便看了下源代碼，其實Map.of的實現是這樣子的：

    static <K, V> Map<K, V> of(K k1, V v1, K k2, V v2) {
        return new ImmutableCollections.MapN<>(k1, v1, k2, v2);
    }

這裏的MapN是ImmutableCollections的靜態內部類（PS,靜態類只能是靜態內部類）。下面是她的定義。因爲看到在MapN的構造函數中table的大小是table = new Object[len]，其中len是2被的元素個數。理論上table只要能存下所有的input就行了，爲何這裏要設置成input個數的2被呢？

其實這是因爲MapN的table是使用的open addressing 方法來解決的hash衝突，所以如果剛好用和input個數一樣大的table來存下來所有的input的話，就會出現查詢的時候，有可能每個key的尋找複雜度都是O(n)。也就是把整個table遍歷了一遍。那這樣子基本上不能叫做Map了， 所以這裏table的大小一定要留有餘地，比input個數大才行。至於爲什麼是2， 不是1.5， 不是3， 可能是經驗來的吧。

        static final int EXPAND_FACTOR = 2;
        MapN(Object... input) {
            if ((input.length & 1) != 0) { // implicit nullcheck of input
                    throw new InternalError("length is odd");
            }
            size = input.length >> 1;

            int len = EXPAND_FACTOR * input.length;
            len = (len + 1) & ~1; // ensure table is even length
            table = new Object[len];

            for (int i = 0; i < input.length; i += 2) {
                @SuppressWarnings("unchecked")
                    K k = Objects.requireNonNull((K)input[i]);
                @SuppressWarnings("unchecked")
                    V v = Objects.requireNonNull((V)input[i+1]);
                int idx = probe(k);
                if (idx >= 0) {
                    throw new IllegalArgumentException("duplicate key: " + k);
                } else {
                    int dest = -(idx + 1);
                    table[dest] = k;
                    table[dest+1] = v;
                }
            }
        }

這是在stack overflow上提的問題。

https://stackoverflow.com/questions/59627308/why-expand-factor-is-2-in-immutablecollections-java