JAVA printf的格式化输出和字符串格式化及其String.format()的使用