创建一个Python脚本来下载文件

下载文件是一个非常常见的操作，可以使用Python的requests库来实现。下面是一个简单的Python脚本，可以用来下载文件，并且包含了一个使用例子。

import requests

def download_file(url, dest_path):
    try:
        # 发送HTTP GET请求获取文件内容
        response = requests.get(url)

        # 检查是否成功获取文件
        if response.status_code == 200:
            # 写入文件
            with open(dest_path, "wb") as file:
                file.write(response.content)
            print("文件下载成功！")
        else:
            print("文件下载失败！")

    except Exception as e:
        print("文件下载时发生错误：", e)

# 使用例子
if __name__ == "__main__":
    # 要下载的文件的URL
    file_url = "https://www.example.com/file.pdf"

    # 下载的文件保存路径
    save_path = "path/to/save/file.pdf"

    # 调用下载函数
    download_file(file_url, save_path)

在这个示例中，我们定义了一个download_file函数，它接受一个URL和一个保存文件的目标路径作为参数。首先，我们使用requests.get方法发送一个HTTP GET请求来获取文件的内容。如果请求成功，我们将文件内容写入到指定的文件路径中，然后打印文件下载成功的消息。如果请求失败，我们将打印文件下载失败的消息。

在使用例子中，我们提供了一个要下载文件的URL和保存文件的路径，然后调用download_file函数。下载完成后，将打印相应的消息。

请根据自己的需求修改URL和保存路径，并确保requests库已经安装，可以通过pip install requests命令来安装。此外，您也可以根据需要添加错误处理和进度跟踪等功能来定制脚本。