python工具类型函数