String.format字符串格式化方法

把125 字符串格式化成 00125 这样的格式：
int no=125;
String str = String.format( "%05d", no);
System.out.println(str+"---str---");
结果为：00125


在jdk1.5之前是用：
DecimalFormat df = new DecimalFormat("00000");
String str= df.format(125);

1。5之后就能我上边写的那么做了 。
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-06-12 10:09:25"
:D