7.2.3 格式化的字符串常量