在Python中，可以使用requests库来实现文件的下载功能。以下是一个简单的例子：
import requests
def download_file(url, save_path):
response = requests.get(url)
with open(save_path, "wb") as f:
f.write(response.content)
# 使用示例
url = "http://example.com/file.txt"
save_path = "path_to_save/file.txt"
download_file(url, save_path)
在上述代码中，download_file函数接受一个文件的URL和保存路径作为参数。它使用requests.get方法发送HTTP GET请求并获得响应。然后，使用open函数以二进制写入模式打开文件，将响应内容写入文件中。
需要替换url和save_path变量为实际的文件URL和保存路径。
