Method read_csv

drg_group/suzhou_2023/GroupProxy.java:181–195

(Path filename,List<String> cols)

        }
    }
    public static Stream<Object> read_csv(Path filename,List<String> cols){
        try {
            List<String> headers=Arrays.asList(Files.lines(filename).findFirst().get().replace( "\uFEFF", "").split(",",-1));
            List<Integer> col_index=cols.stream().filter(headers::contains).map(headers::indexOf).collect(Collectors.toList());
            if (col_index.size()!=cols.size()){
                System.out.println("字段名称与CSV文件不匹配");
                System.exit(1);
            }
            return Files.lines(filename).skip(1).map(x->replace_csv(x)).map(x->col_index.stream().map(Arrays.asList(x.split(",",-1))::get));
        } catch (IOException e) {
            System.out.println("文件读取失败");
            e.printStackTrace();
        }
        return null;
    }
    private static String replace_csv(String csv){
        Matcher m=Pattern.compile("\"(.*?)\"").matcher(csv); 
        String s;