这里使用的是 mapToInt 而不是 map，是因为在这个示例中我们需要将 Stream 中的元素转换为 int 类型，而 map 方法只能将元素转换为对象类型，无法直接转换为基本数据类型。因此，我们需要使用 mapToInt 方法来将元素转换为 int 类型。 在 Java Stream 中，可以使用 mapToXXX 方法将对象转换成基本数据类型。其中，XXX 可以是 Int、Long 或 Double，分别表示转换为 int、long 或 double 基本数据类型。