python类型转换的一些发现