Python中如何使用download()函数下载HTML文件的示例程序

在Python中，你可以使用requests库的get()函数来下载HTML文件。以下是一个示例程序：

import requests

def download(url, filename):
    response = requests.get(url)  # 发送GET请求获取网页内容
    if response.status_code == 200:  # 如果请求成功
        with open(filename, 'wb') as f:
            f.write(response.content)  # 将网页内容写入文件
        print("文件下载成功！")
    else:
        print("文件下载失败！")

url = "https://www.example.com"  # 要下载的网页URL
filename = "example.html"  # 下载后保存的文件名
download(url, filename)

上述程序中，首先引入了requests库，然后定义了一个名为download()的函数。该函数接受两个参数：url表示要下载的网页的URL，filename表示下载后保存的文件名。

在download()函数内部，使用requests.get()函数发送GET请求并获取网页内容。response对象表示服务器的响应，可以通过status_code属性获取响应的状态码。如果状态码为200表示请求成功，那么就打开文件并将网页内容写入，最后打印下载成功的提示。若状态码不为200，则打印下载失败的提示。

在示例程序的主程序中，定义了要下载的网页的URL和保存的文件名，然后调用download()函数进行下载。

以下载百度首页为例，你可以将URL改为"https://www.baidu.com"，将文件名改为"baidu.html"。

url = "https://www.baidu.com"
filename = "baidu.html"
download(url, filename)

运行程序后，会将百度首页的HTML内容下载到当前工作目录，并保存为baidu.html文件。

需要注意的是，此示例程序适用于下载小文件。如果要下载大型文件，可能需要使用chunk进行分块下载。同时，在实际使用中，应该考虑异常处理和下载进度显示等功能，以提高程序的鲁棒性和用户体验。