java web学习笔记：Integer数组转int数组

Vector<Integer> rec = new Vector<Integer>();
int[] id = rec.stream().mapToInt(Integer:: valueOf).toArray();