Java List 类型转换为整形数组 int[]

网上普遍都是循环什么的。
有个不用那么长的方法：

public static void main(String args[]){
	List<Integer> list = new ArrayList<>();
	list.add(1);
	list.add(2);
	list.add(3);
	int[] array = list.stream().mapToInt(Integer::intValue).toArray();
	//array = {1,2,3};
}