JavaScript数据结构——字典和散列表的实现

  • 时间:
  • 浏览:0

  在前一篇文章中,本人介绍了咋样在JavaScript中实现集合。字典和集合的主要区别就在于,集合中数据是以[值,值]的形式保存的,本人只关心值两种 ;而在字典和散列表中数据是以[键,值]的形式保存的,键里能重复,本人不仅关心键,也关心键所对应的值。

  本人也里能把字典称之为映射表。肯能字典和集合很同类 ,本人里能在前一篇文章中的集合类Set的基础上来实现本人的字典类Dictionary。与Set类同类 ,ES6的原生Map类肯能实现了字典的完正功能,稍后本人会介绍它的用法。

  下面是本人的Dictionary字典类的实现代码:

class Dictionary {
    constructor () {
        this.items = {};
    }

    set (key, value) { // 向字典中加进去去或修改元素
        this.items[key] = value;
    }

    get (key) { // 通过键值查找字典中的值
        return this.items[key];
    }

    delete (key) { // 通过使用键值来从字典中删除对应的元素
        if (this.has(key)) {
            delete this.items[key];
            return true;
        }
        return false;
    }

    has (key) { // 判断给定的键值否是趋于稳定于字典中
        return this.items.hasOwnProperty(key);
    }

    clear() { // 清空字典内容
        this.items = {};
    }

    size () { // 返回字典中所有元素的数量
        return Object.keys(this.items).length;
    }

    keys () { // 返回字典中所有的键值
        return Object.keys(this.items);
    }

    values () { // 返回字典中所有的值
        return Object.values(this.items);
    }

    getItems () { // 返回字典中的所有元素
        return this.items;
    }
}

  与Set类很同类 ,就说 把其中value的每种替加进去了key。本人来看看其他测试用例:

let Dictionary = require('./dictionary');

let dictionary = new Dictionary();
dictionary.set('Gandalf', 'gandalf@email.com');
dictionary.set('John', 'john@email.com');
dictionary.set('Tyrion', 'tyrion@email.com');
console.log(dictionary.has('Gandalf')); // true
console.log(dictionary.size()); // 3
console.log(dictionary.keys()); // [ 'Gandalf', 'John', 'Tyrion' ]
console.log(dictionary.values()); // [ 'gandalf@email.com', 'john@email.com', 'tyrion@email.com' ]
console.log(dictionary.get('Tyrion')); // tyrion@email.com

dictionary.delete('John');
console.log(dictionary.keys()); // [ 'Gandalf', 'Tyrion' ]
console.log(dictionary.values()); // [ 'gandalf@email.com', 'tyrion@email.com' ]
console.log(dictionary.getItems()); // { Gandalf: 'gandalf@email.com', Tyrion: 'tyrion@email.com' }

  相应地,下面是使用ES6的原生Map类的测试结果:

let dictionary = new Map();
dictionary.set('Gandalf', 'gandalf@email.com');
dictionary.set('John', 'john@email.com');
dictionary.set('Tyrion', 'tyrion@email.com');
console.log(dictionary.has('Gandalf')); // true
console.log(dictionary.size); // 3
console.log(dictionary.keys()); // [Map Iterator] { 'Gandalf', 'John', 'Tyrion' }
console.log(dictionary.values()); // [Map Iterator] { 'gandalf@email.com', 'john@email.com', 'tyrion@email.com' }
console.log(dictionary.get('Tyrion')); // tyrion@email.com

dictionary.delete('John');
console.log(dictionary.keys()); // [Map Iterator] { 'Gandalf', 'Tyrion' }
console.log(dictionary.values()); // [Map Iterator] { 'gandalf@email.com', 'tyrion@email.com' }
console.log(dictionary.entries()); // [Map Iterator] { [ Gandalf: 'gandalf@email.com' ], [ Tyrion: 'tyrion@email.com' ] }

  和前面本人自定义的Dictionary类稍微有其他不同,values()办法和keys()办法返回的都不 另有一个多多 数组,就说 Iterator迭代器。另另有一个多多 就说 这里的size是另有一个多多 属性而都不 办法,就说 就说 Map类没法 getItems()办法,取而代之的是entries()办法,它返回的也是另有一个多多 Iterator。有关Map类的完正完正介绍里能查看这里。

  在ES6中,除了原生的Set和Map类外,还有它们的弱化版本,分别是WeakSet和WeakMap,本人在《JavaScript数据社会形态——栈的实现与应用》一文中肯能见过WeakMap的使用了。Map和Set与它们本人的弱化版本之间的主要区别是:

  • WeakSet或WeakMap类没法 entries、keys和values等迭代器办法,里能通过get和set办法访问和设置其中的值。这也是为哪些地方本人在《JavaScript数据社会形态——栈的实现与应用》一文中要使用WeakMap类来定义类的私有属性的因为 。
  • 里能用对应作为键值,肯能说其中的内容里能是对象,而里能是数字、字符串、布尔值等基本数据类型。

  弱化的Map和Set类主就说 为了提供JavaScript代码的性能。

散列表

  散列表(肯能叫哈希表),是两种 改进的dictionary,它将key通过另有一个多多 固定的算法(散列函数或哈希函数)得出另有一个多多 数字,就说 将dictionary中key所对应的value存装入你你這個数字所对应的数组下标所涵盖的存储空间中。在原始的dictionary中,肯能要查找某个key所对应的value,本人时需遍历整个字典。为了提高查询的速度,本人将key对应的value保存到数组里,我希望key不变,使用相同的散列函数计算出来的数字就说 固定的,于是就里能调慢地在数组中找到你我你里能查找的value。下面是散列表的数据社会形态示意图:

  下面是本人散列函数loseloseHashCode()的实现代码:

loseloseHashCode (key) {
    let hash = 0;
    for (let i = 0; i < key.length; i++) {
        hash += key.charCodeAt(i);
    }
    return hash % 37;
}

  你你這個散列函数的实现很简单,本人将传入的key中的每另有一个多多 字符使用charCodeAt()函数(有关该函数的完正内容里能查看这里)将其转加进去ASCII码,就说 将哪些地方地方ASCII码相加,最后用37求余,得到另有一个多多 数字,你你這個数字就说 你你這個key所对应的hash值。接下来要做的就说 将value存装入hash值所对应的数组的存储空间内。下面是本人的HashTable类的主要实现代码:

class HashTable {
    constructor () {
        this.table = [];
    }

    loseloseHashCode (key) { // 散列函数
        let hash = 0;
        for (let i = 0; i < key.length; i++) {
            hash += key.charCodeAt(i);
        }
        return hash % 37;
    }

    put (key, value) { // 将键值对存装入哈希表中
        let position = this.loseloseHashCode(key);
        console.log(`${position} - ${key}`);
        this.table[position] = value;
    }

    get (key) { // 通过key查找哈希表中的值
        return this.table[this.loseloseHashCode(key)];
    }

    remove (key) { // 通过key从哈希表中删除对应的值
        this.table[this.loseloseHashCode(key)] = undefined;
    }

    isEmpty () { // 判断哈希表否是为空
        return this.size() === 0;
    }

    size () { // 返回哈希表的长度
        let count = 0;
        this.table.forEach(item => {
            if (item !== undefined) count++;
        });
        return count;
    }

    clear () { // 清空哈希表
        this.table = [];
    }
}

  测试一下上端的哪些地方地最好的办办法:

let HashTable = require('./hashtable');

let hash = new HashTable();
hash.put('Gandalf', 'gandalf@email.com'); // 19 - Gandalf
hash.put('John', 'john@email.com'); // 29 - John
hash.put('Tyrion', 'tyrion@email.com'); // 16 - Tyrion

console.log(hash.isEmpty()); // false
console.log(hash.size()); // 3
console.log(hash.get('Gandalf')); // gandalf@email.com
console.log(hash.get('Loiane')); // undefined

hash.remove('Gandalf');
console.log(hash.get('Gandalf')); // undefined
hash.clear();
console.log(hash.size()); // 0
console.log(hash.isEmpty()); // true

  为了方便查看hash值和value的对应关系,本人在put()办法中加入了一行console.log(),用来打印key的hash值和value之间的对应关系。里能看多,测试的结果和前面本人给出的示意图是一致的。

  散列集合的实现和散列表同类 ,只不过在散列集合中不再使用键值对,也里能值没法 键。你你這個本人在前面介绍集合和字典的前一天肯能讲过了,这里不再赘述。

  细心的同学肯能肯能发现了,这里本人提供的散列函数肯能过于简单,以致于本人无法保证通过散列函数计算出来的hash值一定是唯一的。换句话说,传入不同的key值,本人有肯能会得到相同的hash值。尝试一下下面哪些地方地方keys:

let hash = new HashTable();
hash.put('Gandalf', 'gandalf@email.com');
hash.put('John', 'john@email.com');
hash.put('Tyrion', 'tyrion@email.com');
hash.put('Aaron', 'aaron@email.com');
hash.put('Donnie', 'donnie@email.com');
hash.put('Ana', 'ana@email.com');
hash.put('Jamie', 'jamie@email.com');
hash.put('Sue', 'sue@email.com');
hash.put('Mindy', 'mindy@email.com');
hash.put('Paul', 'paul@email.com');
hash.put('Nathan', 'nathan@email.com');

  从结果中里能看多,尽管其他keys不同,就说 通过本人提供的散列函数岂都不 得到了相同的hash值,这显然违背了本人的设计原则。在哈希表中,你你這個叫做散列冲突,为了得到另有一个多多 可靠的哈希表,本人时需尽肯能地除理散列冲突。那咋样除理你你這個冲突呢?这里介绍两种 除理冲突的办法:分离链接和线性探查。

分离链接

   所谓分离链接,就说 将另另有一个多多 存储在哈希表中的值改成链表,另另有一个多多 在哈希表的同另有一个多多 位置上,就里能存储多个不同的值。链表中的每另有一个多多 元素,同時 存储了key和value。示意图如下:

  另另有一个多多 ,当不同的key通过散列函数计算出相同的hash值时,本人只时需找到数组中对应的位置,就说 往其中的链表加进去去新的节点即可,从而有效地除理了散列冲突。为了实现你你這個数据社会形态,本人时需定义另有一个多多 新的辅助类ValuePair,它的内容如下:

let ValuePair = function (key, value) {
  this.key = key;
  this.value = value;

  this.toString = function () { // 提供toString()办法以方便本人测试
      return `[${this.key} - ${this.value}]`;
  }
};

  ValuePair类具有另有一个多多 属性,key和value,用来保存本人要存入到散列表中的元素的键值对。toString()办法在这里都暂且须的,该办法是为了上端本人方便测试。

  新的采用了分离链接的HashTableSeparateChaining类里能继承自前面的HashTable类,完正的代码如下:

class HashTableSeparateChaining extends HashTable {
    constructor () {
        super();
    }

    put (key, value) {
        let position = this.loseloseHashCode(key);

        if (this.table[position] === undefined) {
            this.table[position] = new LinkedList(); // 单向链表,时需引入LinkedList类
        }
        this.table[position].append(new ValuePair(key, value));
    }

    get (key) {
        let position = this.loseloseHashCode(key);

        if (this.table[position] !== undefined) {
            let current = this.table[position].getHead();
            while (current) {
                if (current.element.key === key) return current.element.value;
                current = current.next;
            }
        }
        return undefined;
    }

    remove (key) {
        let position = this.loseloseHashCode(key);
        let hash = this.table[position];

        if (hash !== undefined) {
            let current = hash.getHead();
            while (current) {
                if (current.element.key === key) {
                    hash.remove(current.element);
                    if (hash.isEmpty()) this.table[position] = undefined;
                    return true;
                }
                current = current.next;
            }
        }

        return false;
    }

    size () {
        let count = 0;
        this.table.forEach(item => {
            if (item !== undefined) count += item.size();
        });
        return count;
    }

    toString() {
        let objString = "";
        for (let i = 0; i < this.table.length; i++) {
            let ci = this.table[i];
            if (ci === undefined) continue;

            objString += `${i}: `;
            let current = ci.getHead();
            while (current) {
                objString += current.element.toString();
                current = current.next;
                if (current) objString += ', ';
            }
            objString += '\r\n';
        }
        return objString;
    }
}

  其中的LinkedList类为单向链表,具体内容里能查看《JavaScript数据社会形态——链表的实现与应用》。注意,现在hash数组中的每另有一个多多 元素都不 另有一个多多 单向链表,单向链表的所有操作本人里能借促使LinkedList类来完成。本人重写了size()办法,肯能现在要计算的是数组中所有链表的长度总和。

  下面是HashTableSeparateChaining类的测试用例及结果:

let hash = new HashTableSeparateChaining();

hash.put('Gandalf', 'gandalf@email.com');
hash.put('John', 'john@email.com');
hash.put('Tyrion', 'tyrion@email.com');
hash.put('Aaron', 'aaron@email.com');
hash.put('Donnie', 'donnie@email.com');
hash.put('Ana', 'ana@email.com');
hash.put('Jamie', 'jamie@email.com');
hash.put('Sue', 'sue@email.com');
hash.put('Mindy', 'mindy@email.com');
hash.put('Paul', 'paul@email.com');
hash.put('Nathan', 'nathan@email.com');

console.log(hash.toString());
console.log(`size: ${hash.size()}`);
console.log(hash.get('John'));

console.log(hash.remove('Ana'));
console.log(hash.remove('John'));
console.log(hash.toString());

  里能看多,结果和上端示意图上给出的是一致的,size()、remove()和get()办法的执行结果也符合预期。

线性探查

  除理散列冲突的另两种 办法是线性探查。当向哈希数组中加进去去某另有一个多多 新元素时,肯能该位置上肯能有数据了,就继续尝试下另有一个多多 位置,直到对应的位置上没法 数据时,就在该位置加进去去进去数据。本人将上端的例子改成线性探查的办法,存储结果如下图所示:

  现在本人不时需单向链表LinkedList类了,就说 ValuePair类仍然是时需的。同样的,本人的HashTableLinearProbing类继承自HashTable类,完正的代码如下:

class HashTableLinearProbing extends HashTable {
    constructor () {
        super();
    }

    put (key, value) {
        let position = this.loseloseHashCode(key);

        if (this.table[position] === undefined) {
            this.table[position] = new ValuePair(key, value);
        }
        else {
            let index = position + 1;
            while (this.table[index] !== undefined) {
                index ++;
            }
            this.table[index] = new ValuePair(key, value);
        }
    }

    get (key) {
        let position = this.loseloseHashCode(key);

        if (this.table[position] !== undefined) {
            if (this.table[position].key === key) return this.table[position].value;
            let index = position + 1;
            while (this.table[index] !== undefined && this.table[index].key === key) {
                index ++;
            }
            return this.table[index].value;
        }
        return undefined;
    }

    remove (key) {
        let position = this.loseloseHashCode(key);

        if (this.table[position] !== undefined) {
            if (this.table[position].key === key) {
                this.table[position] = undefined;
                return true;
            }
            let index = position + 1;
            while (this.table[index] !== undefined && this.table[index].key !== key) {
                index ++;
            }
            this.table[index] = undefined;
            return true;
        }
        return false;
    }

    toString() {
        let objString = "";
        for (let i = 0; i < this.table.length; i++) {
            let ci = this.table[i];
            if (ci === undefined) continue;

            objString += `${i}: ${ci}\r\n`;
        }
        return objString;
    }
}

  使用上端和HashTableSeparateChaining类相同的测试用例,本人来看看测试结果:

  里能和HashTableSeparateChaining类的测试结果比较一下,多出来的位置6、14、17、33,正是HashTableSeparateChaining类中每另有一个多多 链表的剩余每种。get()和remove()办法里能正常工作,本人不时需重写size()办法,和基类HashTable中一样,hash数组中每另有一个多多 位置只保存了另有一个多多 元素。另另有一个多多 要注意的地方是,肯能JavaScript中定义数组时不时需提前给出数组的长度,就说 本人里能很容易地利用JavaScript语言的你你這個社会形态来实现线性探查。在其他编程语言中,数组的定义是时需明确给出长度的,这时本人就时需重新考虑本人的HashLinearProbing类的实现了。

  loseloseHashCode()散列函数并都不 另有一个多多 表现良好的散列函数,正如你所看多的,它会很轻易地产生散列冲突。另有一个多多 表现良好的散列函数时需里能尽肯能低地减少散列冲突,并提高性能。本人里能在网上找其他不同的散列函数的实现办法,下面是另有一个多多 比loseloseHashCode()更好的散列函数djb2HashCode():

djb2HashCode (key) {
    let hash = 5381;
    for (let i = 0; i < key.length; i++) {
        hash = hash * 33 + key.charCodeAt(i);
    }
    return hash % 1013;
}

  本人用相同的测试用例来测试dj2HashCode(),下面是测试结果:

  这次没法 冲突!然而这并都不 最好的散列函数,但它是社区最推崇的散列函数之一。

  下一章本人将介绍咋样用JavaScript来实现树。