require("socket.http") 下载文件

require("socket.http") 是一个Lua标准库，可以用于进行网络请求和下载文件。使用该库可以方便地实现与服务器的通信。

要使用 require("socket.http") 下载文件，需要先确保已经安装了 Lua Socket 模块。安装方式可以通过在命令行中运行 "luarocks install luasocket" 来完成。

一旦安装了 Lua Socket 模块，就可以在 Lua 脚本中使用 require("socket.http") 来引入该库。然后，我们可以使用 socket.http.request(url) 函数来发送 HTTP 或 HTTPS 请求并获取响应。

通过结合一些其他的 Lua 库，我们可以将下载的文件保存到指定的本地位置。以下是一个示例代码：

require("socket.http")
require("lfs")  -- 引入文件操作库

-- 定义要下载的文件 URL 和保存本地的路径
local fileUrl = "http://example.com/file.pdf"
local savePath = "C:/Users/username/Documents/file.pdf"

-- 发送 HTTP GET 请求并获取响应
local response, statusCode, responseHeaders = socket.http.request(fileUrl)

if statusCode == 200 then
    -- 创建保存文件的文件夹路径
    lfs.mkdir("C:/Users/username/Documents")

    -- 打开文件并写入响应内容
    local file = io.open(savePath, "wb")
    file:write(response)
    file:close()

    print("文件下载成功!")
else
    print("文件下载失败。HTTP 状态码：" .. statusCode)
end

上述代码中，我们首先通过 socket.http.request() 函数发送请求并获取响应。如果响应状态码为 200，即成功，我们就将获取到的文件内容保存到本地文件中。如果响应状态码不是 200，则说明文件下载失败。