如何用os.path.splitext获取文件的扩展名?