python 堆、队列操作、字符串格式化输出、字符串常用函数 示例代码