Java Stream API: 获取竞标列表中符合条件的竞标ID

tenderBidList.stream() .filter(r -> r.getInt("count") == tenderCount) .sorted(Comparator.comparingDouble((Record r) -> (r.get("bid_money") == null) ? Double.MAX_VALUE : r.getDouble("bid_money")) .thenComparing(r -> r.getTimestamp("create_time"))) .map(r -> r.getLong("id")) .collect(Collectors.toList());