Java中的DoubleStream unique()方法