java 操作数字 格式化
//不足的补0
DecimalFormat df = new DecimalFormat("00000");
System.out.println(df.format(1));
输出00001
//不足的空着
DecimalFormat df = new DecimalFormat("#####");
System.out.println(df.format(1));
输出1
//简洁的一种 0 :不足补0
//5 :5位
String str = String.format("%05d", 1);
System.out.println(str);