String.format字符串格式化方法

之前一直用如下方法进行字符串的格式化：

 

DecimalFormat df = new DecimalFormat("0000");
String str= df.format(12);

 

结果为："0012"

 

今天突然发现一篇文章用如下方法实现：

String str = String.format("%04d", 12); //结果："0012"

String str = String.format("%4d", 12); //结果："  12"

String str = String.format("%,d", 121212); //结果："121,212"

String str = String.format("%1$5s", "abc");//结果："  abc"
String str = String.format("%1$tF %1$tT", new Date());//结果："2009-01-19 17:39:25"

 

原来jdk1.5的时候就已经引用进来了，现在都用了1.6了才发现这个方法。

文章出处：飞诺网(www.firnow.com):http://dev.firnow.com/course/1_web/javascript/jsjs/20090215/155480.html