如何在Python中下载文件时获取文件大小

import urllib.request

def download_file(url, save_path):
    urllib.request.urlretrieve(url, save_path)

def get_file_size(url):
    response = urllib.request.urlopen(url)
    file_size = response.headers.get("Content-Length")
    return int(file_size)

url = "http://example.com/file.zip"
save_path = "path/to/save/file.zip"

download_file(url, save_path)
file_size = get_file_size(url)
print("File size:", file_size, "bytes")