python自学之路(三):字符串类型的格式化