Java中的DoubleStream mapToInt()方法