list.add(0, list.remove(i))
list.remove 返回指定位置的元素,可以实现元素的替换。
// 很多个元素的置顶则如下。先过滤出来要置顶的元素在置顶。
// 将 xx中的元素添加到 bbb置顶位置, xx是从bbb中过滤出来的元素
for(int i=0; i< xx.size; i++){
bbb.add(i, bbb.remove(bbb.indexOf(xx.get(i))))
}
list.add(0, list.remove(i))
list.remove 返回指定位置的元素,可以实现元素的替换。
// 很多个元素的置顶则如下。先过滤出来要置顶的元素在置顶。
// 将 xx中的元素添加到 bbb置顶位置, xx是从bbb中过滤出来的元素
for(int i=0; i< xx.size; i++){
bbb.add(i, bbb.remove(bbb.indexOf(xx.get(i))))
}