string.format(%s) 在日志字符串中的运用