Java List 将元素移动到指定位置，将元素置顶

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))))
}