flag = finalldetailed.stream().anyMatch(a ->.getProId().equals(historyDetailed.getId())); flag为真则代表包含,匹配