在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和保存路徑。
