empList.stream()去重原理

在使用 Java 8 中的 Stream API 对集合进行去重时，我们可以使用 distinct() 方法。该方法可以返回一个去重后的 Stream 对象，这个对象中包含了原始 Stream 中的所有元素，但是重复的元素只出现了一次。

去重的原理是，当我们调用 distinct() 方法时，Stream API 会根据每个元素的 hashCode() 和 equals() 方法来判断元素是否重复。如果两个元素的 hashCode() 相等，并且 equals() 方法返回 true，那么这两个元素就被认为是相同的，其中一个元素会被去除。

需要注意的是，hashCode() 和 equals() 方法的实现对去重效果有很大的影响。如果两个元素的 hashCode() 不相等，那么它们不可能相等，不需要再调用 equals() 方法进行比较。因此，在实现对象的 hashCode() 和 equals() 方法时，应该保证两个相等的对象返回相同的 hashCode() 值，否则可能会导致去重失败。

另外，distinct() 方法是基于哈希表实现的，因此它对集合中的元素顺序是没有要求的。如果需要保留原始集合中的元素顺序，可以使用 LinkedHashSet 来进行去重，或者使用 sorted() 方法对元素进行排序，再调用 distinct() 方法。