要實現(xiàn)文件下載功能，可以使用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 = 'https://example.com/file.txt'
save_path = 'downloaded_file.txt'
download_file(url, save_path)

導入requests庫，然后定義一個名為download_file的函數(shù)，該函數(shù)接受兩個參數(shù)：url（文件的URL）和save_path（保存文件的路徑）。在函數(shù)中，使用requests.get()方法獲取文件內(nèi)容，然后將內(nèi)容寫入指定的文件路徑。