BufferedReader ,buffer.lines().toArray(String[]::new) 的其他写法

使用Java 8的Stream API，可以使用以下代码替换掉buffer.lines().toArray(String[]::new)：

1. 使用collect方法将Stream<String>转换为List<String>：

List<String> propsList = buffer.lines().collect(Collectors.toList());
String[] props = propsList.toArray(new String[propsList.size()]);

2. 直接使用Stream.toArray方法：

Object[] propsObj = buffer.lines().toArray();
String[] props = Arrays.copyOf(propsObj, propsObj.length, String[].class);

3. 使用Files.lines方法读取文件并转换为String[]：

String[] props = Files.lines(Paths.get(zipFilePath, entry.getName()))
                      .toArray(String[]::new);

需要注意的是，第3种写法只适用于读取文件，而不能读取其他类型的输入流。