Student[] arr = students.stream().filter(a -> a.getHeight() > 170).toArray(len -> new Student[len]);解释一下这段代码

这段代码使用 Java 8 中的 Stream API，从一个名为 students 的 Student 类型的集合中筛选出身高大于 170 的学生，并将结果存储在一个名为 arr 的 Student 类型数组中。具体来说，filter() 方法用于筛选符合条件的元素，toArray() 方法用于将 Stream 转换为数组，len -> new Student[len] 表示创建一个长度为 len 的 Student 类型数组。