python获取远程文件大小的函数代码分享