HTML5中的download属性是怎么用的？

HTML5的download属性用于指定链接的资源是否应该被下载而不是在浏览器中打开。当download属性存在且被设置时，点击链接时资源将被下载到本地计算机。download属性的值可以是下载文件的名称，也可以是任何字符串作为名称前缀。例如：

<a href="path/to/downloadfile.pdf" download="myDownloadName.pdf">Download PDF</a>

当用户点击“Download PDF”链接时，path/to/downloadfile.pdf文件将被下载并保存为myDownloadName.pdf文件名。