java数字转换为字符串，长度不够前面补0

有时候我们需要固定长度的字符串做流水号，每添加一个记录时流水号的值加1，
而流水号的长度保持不变。

一般的做法是先把流水号转换为数值型，然后此数值加1，再把数值转换为字符串，
长度不够流水号长度时再在前面补0：

//流水号加1后返回
public static String haoAddOne(String liuShuiHao){
    Integer intHao = Integer.parseInt(liuShuiHao);
    intHao++;
    String strHao = intHao.toString();
    while (strHao.length() < liuShuiHao.length())
        strHao = "0" + strHao;
    return strHao;
}

用java中的DecimalFormat，可以简化：

//流水号加1后返回，流水号长度为4
private static final String STR_FORMAT = "0000"; 

public static String haoAddOne(String liuShuiHao){
    Integer intHao = Integer.parseInt(liuShuiHao);
    intHao++;
    DecimalFormat df = new DecimalFormat(STR_FORMAT);
    return df.format(intHao);
}