写一个函数，尽可能高效的，从一个标准 url 里取出文件的扩展名