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

...