使用%在C#中进行字符串格式化