for (int i = 0; i < documentList.size() - 1; i++) {
for (int j = documentList.size() - 1; j > i; j--) {
if (documentList[i].patCuurentDep==documentList[j].patCuurentDep) {
documentList.splice(j, 1);
}
}
}
js list<map> 去重元素
最新推荐文章于 2022-12-03 15:27:23 发布