#

php printf 格式化 字符串