用 Stream().distinct().sort()