散列表实现符号表

散列表实现符号表

使用散列的查找方法分为两步：

1. 使用散列函数将被查找的键转化为数组的一个索引
2. 处理碰撞冲突

散列表是算法在时间和空间上作出权衡的经典例子

假设没有内存限制，可以直接将键作为数组的索引，那么所有查找操作只需要访问内存一次

如果没有时间限制，我们可以使用无序数组并进行顺序查找，这样就只需要很少的内存

散列表则使用了适度的空间和时间并在这两个极端之间找到了一种平衡，而且实现调整时间和空间的取舍十分简单：只需要调整散列算法的参数即可

个人理解：假设有一个能够保存M个键值对的数组，调整M的大小就可以实现散列表堆时间和空间的取舍调整：M越大需要更多的空间而查询效率越高，M越小需要更少的空间而查询效率将降低

散列函数

散列函数和键的类型有关。严格地说，对于每种类型的键都我们都需要一个与之对应的散列函数。

Java 约定所有的类都继承一个返回32位整数的方法 hashCode()

每一种数据类型的 hashCode() 方法都必须和 equalsO 方法一 致

• 如果 a.equals(b) 返回 true ，那 么 a.hashCode() 的返回值必然和 b.hashCode() 的返回值相同
• 如果两个对象的hashCodeO方法的返回值不同，那么我们就知道这两个对象是不同的
• 如果两个对象的hashCodeO方法的返回值相同，这两个对象也有可能不同，我们还需要用equals()方法进行判断。

基于hashCode()转化为数组的索引

private int hash(Key key) {
   
    // key.hashCode() 可能是负数，使用 位与 运算保证结果非负
    // 为什么不是用 Math.abs() ?
    // 因为Java的最大的整数 Math.abs() 会返回一个负数
    return (key.hashCode() & Integer.MAX_VALUE) % arraySize;
}

优秀的散列函数需要满足三个条件：

• 一致性：等价的键必然产生相等的散列值
• 高效性：计算简便
• 均匀性：均匀的散列所有的键

均匀散列假设

我们使用的散列函数能够均匀并独立地将所有的键散布于0到M - 1之间

这个假设是一个我们实际上无法达到的理想模型，但它是我们实现散列函数时的指导思想

基于拉链法的散列表

ISymbolTable 见符号表

LinkedSequentialSearchST 见链表实现符号表

LinkedQueue 见队列的实现

/**
 * 基于拉链法的散列表
 */
public class SeparateChainingHashST<Key, Value> implements ISymbolTable<Key, Value> {
   

    private static final int INIT_TABLE_SIZE = 997;

    /**
     * 符号表的大小
     */
    private int size;

    /**
     * 散列表大小；最好是一个合适的素数
     */
    private int tableSize;

    /**
     * 存放链表对象的数组
     */
    private LinkedSequentialSearchST<Key, Value>[] sts;

    public SeparateChainingHashST() {
   
        this(0, INIT_TABLE_SIZE);
    }

    public SeparateChainingHashST(int size, int tableSize) {
   
        this.size = size;
        this.tableSize = tableSize;

        sts = (LinkedSequentialSearchST<Key, Value>[])new LinkedSequentialSearchST[tableSize];

        for (int i = 0; i < tableSize; i++) {
   
            sts[i] = new LinkedSequentialSearchST<>();
        }
    }

    /**
     * 返回键的散列值
     * 
     * @param key
     *            键
     * @return 散列值
     */
    private int hash(Key key) {
   
        // key.hashCode() 可能是负数，使用 位与 运算保证结果非负
        // 为什么不是用 Math.abs() ?
        // 因为Java的最大的整数 Math.abs() 会返回一个负数
        return (key.hashCode() & Integer.MAX_VALUE) % tableSize;
    }

    /**
     * 校验键的合法性
     * 
     * @param key
     *            键
     */
    private void validKey(Key key) {
   
        if (key == null) {
   
            throw new IllegalArgumentException();