[python] 文件换后缀名

• os.path.split()是将文件名和路径分隔开来，os.path.splitext是文件的全部路径和扩展名分隔开来。

def file_cache_name(file):
    head, tail = os.path.split(file)
    filename, ext = os.path.splitext(tail)
    return os.path.join(head, filename + ".p")

• 上面的等价于

def file_cache_name(file):
    head, ext = os.path.splitext(file)
    return head + ".p"