• 深入Java源码剖析之Set集合


    Java的集合类由Collection接口和Map接口派生,其中:

    • List代表有序集合,元素有序且可重复
    • Set代表无序集合,元素无序且不可重复
    • Map集合存储键值对

    那么本篇文章将从源码角度讨论一下无序集合Set。

    HashSet

    HashSet实现 Set 接口,由哈希表(实际上是一个 HashMap 实例)支持。它不保证 set 的迭代顺序;特别是它不保证该顺序恒久不变。此类允许使用 null 元素。看下面的一个例子:

    	HashSet<String> hs = new HashSet<String>();
    
    	// 添加元素
    	hs.add("hello");
    	hs.add("world");
    	hs.add("java");
    	hs.add("world");
    	hs.add(null);
    	
    	//遍历
    	for (String str : hs) {
    		System.out.println(str);
    	}
    

    执行结果:

    null
    world
    java
    hello
    

    由执行结果可知,它允许加入null,元素不可重复,且元素无序。
    那我们想,它是如何保证元素不重复的呢?这就要来分析一下它的源码。
    首先是HashSet集合的add()方法:

    public boolean add(E e) {
        return map.put(e, PRESENT)==null;
    }
    

    该方法中调用了map对象的put()方法,那么map对象是什么呢?

    private transient HashMap<E,Object> map;
    

    可以看到,这个map对象就是HashMap,我们继续查看HashSet的构造方法:

    public HashSet() {
        map = new HashMap<>();
    }
    

    到这里,应该就能明白,HashSet的底层实现就是HashMap,所以调用的put()方法就是HashMap的put()方法,那我们继续查看put()方法:

    public V put(K key, V value) {
        return putVal(hash(key), key, value, false, true);
    }
    

    put()方法调用了putVal()方法,那么重点就是这个putVal()方法了:

    	final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                       boolean evict) {
            Node<K,V>[] tab; Node<K,V> p; int n, i;
             //判断hashmap对象中 tabel属性是否为空--->为空---->resize()
            if ((tab = table) == null || (n = tab.length) == 0)
                n = (tab = resize()).length;
            //发现tab[i] 没有值,直接存入即可
            if ((p = tab[i = (n - 1) & hash]) == null)
                tab[i] = newNode(hash, key, value, null);
            else {
            	//tab[i]有值,分情况讨论
                Node<K,V> e; K k;
                // 如果新插入的元素和table中p元素的hash值,key值相同的话
                if (p.hash == hash &&
                    ((k = p.key) == key || (key != null && key.equals(k))))
                    e = p;
                // 如果是红黑树结点的话,进行红黑树插入
                else if (p instanceof TreeNode)
                    e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
                else {
                    for (int binCount = 0; ; ++binCount) {
                      	// 代表这个单链表只有一个头部结点,则直接新建一个结点即可
                        if ((e = p.next) == null) {
                            p.next = newNode(hash, key, value, null);
                            // 链表长度大于8时,将链表转红黑树
                            if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
                                treeifyBin(tab, hash);
                            break;
                        }
                        // 如果与单向链表上的某个结点key值相同,则跳出循环,此时e是需要修改的结点,p是e的前驱结点
                        if (e.hash == hash &&
                            ((k = e.key) == key || (key != null && key.equals(k))))
                            break;
                         //更新变量p
                        p = e;
                    }
                }
                //处理完毕,添加元素
                if (e != null) { // existing mapping for key
                    V oldValue = e.value;
                    //判断是否允许覆盖,并且value是否为空
                    if (!onlyIfAbsent || oldValue == null)
                        e.value = value;
                    afterNodeAccess(e);
                    return oldValue;
                }
            }
            ++modCount;// 更改操作次数
            //如果大于临界值
            if (++size > threshold)
            	//将数组大小设置为原来的2倍,并将原先的数组中的元素放到新数组中
                resize();
            afterNodeInsertion(evict);
            return null;
        }
    

    我们一起分析一下这段源码,首先它将table对象赋值给tab,并判断tab是否为空,这里的table就是哈希表,因为HashMap是基于哈希表的Map接口的实现,如果哈希表为空则调用resize()方法开辟存储空间并赋值给tab,然后将tab的长度赋值给n。接着根据 (n - 1) & hash 算法计算出i并获取tab的第i个元素,如果没有值,那么可以直接存入,如果有值,那么就存在两种情况:

    1. hash值重复
    2. 位置冲突

    也就是说,如果在添加过程中发现key值重复,那么就把p复制给e,p为当前位置上的元素,e为需要被修改的元素。而位置冲突又分为几种情况:

    • 产生位置冲突时,table数组下面的结点以单链表的形式存在,插入结点时直接放在链表最末位
    • 产生位置冲突时,key值和之前的结点一样
    • 产生位置冲突时,table数组下面的结点以红黑树的形式存在,插入结点时需要在树中查找合适位置

    那么根据这三种情况,需要分别作出判断:如果p是TreeNode的实例(p instanceof TreeNode),说明p下面挂着红黑树,需要在树中找到一个合适的位置e插入。如果p下面的结果数没有超过8,则p就是以单向链表的形式存在,然后在链表中逐个往下找到空位置;如果超过了8,就要将p转换为红黑树;如果与单向链表上的某个结点key值相同,则跳出循环,此时e是需要修改的结点,p是e的前驱结点。最后就是判断插入后的大小,如果大于threshold,则继续申请空间。

    那么这是jdk1.8之后的关于HashMap的存储方式,也就是数组 + 链表 + 红黑树的结构,而在1.8之前,HashMap是由数组 + 链表的结构作为存储方式的。
    所以HashSet如何保证元素是唯一的呢?关键就在于这一句判断:

    if (e.hash == hash && ((k = e.key) == key || key.equals(k)))
    

    它先看hashCode()值是否相同,如果相同,则继续看equals()方法,如果也相同,则证明元素重复,break跳出循环,元素不添加,如果不相同则进行添加。所以当一个自定义的类想要正确存入HashSet集合,就应该去重写equals()方法和hashCode()方法,而String类已经重写了这两个方法,所以它就可以把相同的字符串去掉,只保留其中一个。

    那我们继续看下面的一个例子:
    自定义学生类

    public class Student {
    
    	private String name;
    	private int age;
    	
    	public Student(String name, int age) {
    		this.name = name;
    		this.age = age;
    	}
    	
    	public String getName() {
    		return name;
    	}
    
    	public void setName(String name) {
    		this.name = name;
    	}
    
    	public int getAge() {
    		return age;
    	}
    
    	public void setAge(int age) {
    		this.age = age;
    	}
    	
    	@Override
    	public String toString() {
    		return "Student [name=" + name + ", age=" + age + "]";
    	}
    }
    

    然后编写测试代码:

    	HashSet<Student> hs = new HashSet<Student>();
    	//添加元素
    	Student s = new Student("刘德华",30);
    	Student s2 = new Student("陈奕迅",31);
    	Student s3 = new Student("周星驰",32);
    	Student s4 = new Student("刘德华",30);
    	
    	hs.add(s);
    	hs.add(s2);
    	hs.add(s3);
    	hs.add(s4);
    	//遍历
    	for (Student student : hs) {
    		System.out.println(student);
    	}
    

    在上述代码中,s4和s对象的姓名和年龄都相同,按理说这是两个相同的对象,是不能同时在HashSet集合中存在的,然而我们看运行结果:

    Student [name=周星驰, age=32]
    Student [name=刘德华, age=30]
    Student [name=陈奕迅, age=31]
    Student [name=刘德华, age=30]
    

    如果前面的源码分析大家都理解了的话,这个相信大家就能明白,这是因为我们没有去重写hashCode()方法和equals()方法,而它默认就会去调用Object的方法,所以它会认为每个学生对象都是不相同的。那我们现在来重写一下这两个方法:

    	@Override
    	public int hashCode() {
    		return 0;
    	}
    
    	@Override
    	public boolean equals(Object obj) {
    		//添加了一条输出语句,用于显示比较次数
    		System.out.println(this + "---" + obj);
    		if (this == obj) {
    			return true;
    		}
    
    		if (!(obj instanceof Student)) {
    			return false;
    		}
    
    		Student s = (Student) obj;
    		return this.name.equals(s.name) && this.age == s.age;
    	}
    

    然后我们运行程序:

    Student [name=陈奕迅, age=31]---Student [name=刘德华, age=30]
    Student [name=周星驰, age=32]---Student [name=刘德华, age=30]
    Student [name=周星驰, age=32]---Student [name=陈奕迅, age=31]
    Student [name=刘德华, age=30]---Student [name=刘德华, age=30]
    Student [name=刘德华, age=30]
    Student [name=陈奕迅, age=31]
    Student [name=周星驰, age=32]
    

    可以看到,虽然去除了重复元素,但是比较的次数未免过多,因为hashCode()方法返回的是一个固定值0,所以在进行判断的时候hashCode值永远相同从而多次调用equals()进行判断,那么我们就可以尽可能地使hashCode值不相同,那么哈希值和哪些内容相关呢?
    因为它和对象的成员变量值相关,所以我们可以进行如下措施:
    如果是基本类型变量,直接加值;
    如果是引用类型变量,加哈希值。
    所以对hashCode()作如下修改:

    @Override
    public int hashCode() {
    	//为了避免某种巧合导致两个不相同的对象其计算后返回的hashCode值相同,这里对基本类型age进行一个乘积的运算
    	return this.name.hashCode() + this.age * 15;
    }
    

    现在运行看效果:

    Student [name=刘德华, age=30]---Student [name=刘德华, age=30]
    Student [name=周星驰, age=32]
    Student [name=刘德华, age=30]
    Student [name=陈奕迅, age=31]
    

    重复元素成功被去除,而比较次数缩减为了一次,大大提升了程序运行效率。

    LinkedHashSet

    它是具有可预知迭代顺序的 Set 接口的哈希表和链接列表实现,该集合方法全部继承自父类HashSet,但它与HashSet的唯一区别就是它具有可预知迭代顺序,它遵从存储和取出顺序是一致的。直接举例说明:

    	LinkedHashSet<String> linkedHashSet = new LinkedHashSet<String>();
    	//添加元素
    	linkedHashSet.add("hello");
    	linkedHashSet.add("world");
    	linkedHashSet.add("java");
    	//遍历
    	for (String str : linkedHashSet) {
    		System.out.println(str);
    	}
    

    运行结果:

    hello
    world
    java
    

    TreeSet

    它是基于 TreeMap 的 NavigableSet 实现。使用元素的自然顺序对元素进行排序,或者根据创建 set 时提供的 Comparator 进行排序,具体取决于使用的构造方法。
    举例说明:

    	TreeSet<Integer> treeSet = new TreeSet<Integer>();
    	//添加元素
    	treeSet.add(10);
    	treeSet.add(26);
    	treeSet.add(20);
    	treeSet.add(13);
    	treeSet.add(3);
    	//遍历
    	for(Integer i : treeSet) {
    		System.out.println(i);
    	}
    

    运行结果:

    3
    10
    13
    20
    26
    

    由此可见,TreeSet是具有排序功能的。但请注意,如果使用无参构造创建TreeSet集合,它将默认使用元素的自然排序;当然你也可以传入比较器来构造出TreeSet。
    那么它是如何实现元素的自然排序的呢?我们通过源码来分析一下:
    首先看它的add()方法

    public boolean add(E e) {
        return m.put(e, PRESENT)==null;
    }
    

    方法内部调用了m对象的put()方法,而这个m是一个NavigableMap对象:

    private transient NavigableMap<E,Object> m;
    

    当我们继续跟进put()方法的时候,发现它是一个抽象方法:

    V put(K key, V value);
    

    该方法处于Map接口中,那么我们就要去找Map接口的实现类,我们知道,TreeSet是基于TreeMap实现的,所以我们认为它调用的其实是TreeMap的put()方法,查阅TreeMap的继承结构也可以证实这一点:

    java.util 
    类 TreeMap<K,V>
    java.lang.Object
      继承者 java.util.AbstractMap<K,V>
          继承者 java.util.TreeMap<K,V>
    类型参数:
    K - 此映射维护的键的类型
    V - 映射值的类型
    所有已实现的接口: 
    Serializable, Cloneable, Map<K,V>, NavigableMap<K,V>, SortedMap<K,V> 
    

    TreeMap确实也实现了NavigableMap接口,那我们就来看一看TreeMap的put()方法:

    	public V put(K key, V value) {
            Entry<K,V> t = root;
            //创建树的根结点
            if (t == null) {
                compare(key, key); // type (and possibly null) check
    
                root = new Entry<>(key, value, null);
                size = 1;
                modCount++;
                return null;
            }
            int cmp;
            Entry<K,V> parent;
            // split comparator and comparable paths
            Comparator<? super K> cpr = comparator;
            //判断是否拥有比较器
            if (cpr != null) {
            	//比较器排序
                do {
                    parent = t;
                    cmp = cpr.compare(key, t.key);
                    if (cmp < 0)
                        t = t.left;
                    else if (cmp > 0)
                        t = t.right;
                    else
                        return t.setValue(value);
                } while (t != null);
            }
            else {
            	//判断元素是否为空
                if (key == null)
                	//抛出异常
                    throw new NullPointerException();
                @SuppressWarnings("unchecked")
                    //将元素强转为Comparable类型
                do {
                    parent = t;
                    cmp = k.compareTo(t.key);
                    if (cmp < 0)
                        t = t.left;
                    else if (cmp > 0)
                        t = t.right;
                    else
                        return t.setValue(value);
                } while (t != null);
            }
            Entry<K,V> e = new Entry<>(key, value, parent);
            if (cmp < 0)
                parent.left = e;
            else
                parent.right = e;
            fixAfterInsertion(e);
            size++;
            modCount++;
            return null;
        }
    

    我们来分析一下。
    首先它会判断Entry类型的变量t是否为空,那么一开始该变量肯定为空,所以它会去创建Entry对象,我们知道, TreeMap是基于红黑树的实现,所以它其实是在创建树的根结点。接着它会去判断是否拥有比较器,因为我们使用的是无参构造创建的TreeSet,所以在这里肯定是没有比较器的,那么他就执行else语句块,我们可以看到这一句代码:

    Comparable<? super K> k = (Comparable<? super K>) key;
    

    根据我们刚才的程序分析,这里的key就是我们传入的Integer对象,那么它是怎么能够将Integer对象强转为Comparable对象的呢?查询Comparable类的文档后,我们知道,这是一个接口,此接口强行对实现它的每个类的对象进行整体排序。这种排序被称为类的自然排序,类的 compareTo 方法被称为它的自然比较方法。而Integer类实现了Comparable接口,所以可以将Integer向上转型为Comparable对象。接着该对象调用了compareTo()方法,该方法返回一个int类型值,作用是:如果该 Integer 等于 Integer 参数,则返回 0 值;如果该 Integer 在数字上小于 Integer 参数,则返回小于 0 的值;如果 Integer 在数字上大于 Integer 参数,则返回大于 0 的值(有符号的比较)。所以它通过该方法的返回值即可判断出两个数字的大小。如果小于0,则放在左边(t.left);如果大于0,则放在右边(t.right)。这样说可能过于抽象,我们可以通过画图来进一步理解:
    在这里插入图片描述
    这是二叉树的存储规则,第一个元素作为根结点,然后接下来的每个元素都先与根结点比较,大于根结点则作为右孩子,小于根结点则作为左孩子;如果位置上已经有元素了,则要继续与该元素比较,比它大作为右孩子,比它小作为左孩子,以此类推。(若元素相等,则不存储)
    那么元素是如何取出来的呢?学过数据结构的同学都知道,二叉树有三种遍历方式:

    1. 前序遍历
    2. 中序遍历
    3. 后序遍历

    那我们以前序遍历为例进行元素提取(按照左、中、右的原则):
    首先从根结点开始,根结点为10,然后看它的左孩子,左孩子为3,此时3已经没有孩子,所以3第一个取出;这样左边就都取完了,我们取中间,也就是10;然后取右边26,因为26还有孩子,所以取26的左边20,因为20还有左孩子,所以13第三个取出;这样20已经没有孩子,我们取中间,也就是20,最后取出26。最终,元素的取出顺序为:3,10,13,20,26;这样就完成了元素的排序。

    那么以上是元素的自然排序,接下来介绍比较器排序。
    还是之前的Student类,我们编写测试代码:

    	TreeSet<Student> treeSet = new TreeSet<Student>();
    	// 添加元素
    	Student s = new Student("liudehua", 30);
    	Student s2 = new Student("chenyixun", 32);
    	Student s3 = new Student("zhourunfa", 20);
    	Student s4 = new Student("gutianle", 40);
    	Student s5 = new Student("zhouxingchi", 29);
    	
    	treeSet.add(s);
    	treeSet.add(s2);
    	treeSet.add(s3);
    	treeSet.add(s4);
    	treeSet.add(s5);
    	// 遍历
    	for (Student student : treeSet) {
    		System.out.println(student);
    	}
    

    此时运行程序会报错,因为Student类没有实现Comparable接口。
    因为在TreeSet的构造方法中需要传入一个Comparator的对象,而这是一个接口,所以我们自定义一个类实现该接口,那么我们来实现一个需求,根据姓名长度进行排序:

    public class MyComparator implements Comparator<Student> {
    
    	@Override
    	public int compare(Student o1, Student o2) {
    		//根据姓名长度
    		int num = o1.getName().length() - o2.getName().length();
    		//根据姓名内容
    		int num2 = num == 0 ? o1.getName().compareTo(o2.getName()) : num;
    		//根据年龄
    		int num3 = num2 == 0 ? o1.getAge() - o2.getAge() : num2;
    		return num3;
    	}
    }
    

    编写测试代码:

    	TreeSet<Student> treeSet = new TreeSet<Student>(new MyComparator());
    	// 添加元素
    	Student s = new Student("liudehua", 30);
    	Student s2 = new Student("chenyixun", 32);
    	Student s3 = new Student("zhourunfa", 20);
    	Student s4 = new Student("gutianle", 40);
    	Student s5 = new Student("zhouxingchi", 29);
    		
    	treeSet.add(s);
    	treeSet.add(s2);
    	treeSet.add(s3);
    	treeSet.add(s4);
    	treeSet.add(s5);
    		
    	// 遍历
    	for (Student student : treeSet) {
    		System.out.println(student);
    	}
    

    运行结果:

    Student [name=gutianle, age=40]
    Student [name=liudehua, age=30]
    Student [name=chenyixun, age=32]
    Student [name=zhourunfa, age=20]
    Student [name=zhouxingchi, age=29]
    

    也可以通过匿名内部类的方式实现。
    希望这篇文章能够使你更加深入地理解Set集合。

  • 相关阅读:
    石头的用途
    [转] Analysis: Khronos and OpenGL ARB merge
    ★○值得你我珍藏一世的80句话○★
    PasswordStrength 控件
    NumericUpDownExtender 控件
    ReorderList控件
    Nobot控件拒绝机器人行为
    PopupControlExtender控件
    PagingBulletedList 控件学习
    MutuallyExlcusiveCheckBox控件
  • 原文地址:https://www.cnblogs.com/blizzawang/p/11411617.html
Copyright © 2020-2023  润新知