java 8stream流去重

可以使用 distinct() 方法来对 Java 8 Stream 流进行去重操作。例如：

List<Integer> numbers = Arrays.asList(1, 2, 3, 2, 4, 3, 5);
List<Integer> distinctNumbers = numbers.stream().distinct().collect(Collectors.toList());

这样就可以得到一个去重后的 List，其中包含了原始 List 中的所有不同元素。