HTMLAreaElement：download 属性
HTMLAreaElement 接口的 download 属性是用于表明所链接的资源应被下载而非在浏览器中显示的字符串。该值表示下载时建议使用的文件名。如果该名称不是底层操作系统所支持的有效文件名，浏览器将对其进行相应调整。
该属性反映了 <area> 元素的 download 属性。
此页面由社区从英文翻译而来。了解更多并加入 MDN Web Docs 社区。
HTMLAreaElement 接口的 download 属性是用于表明所链接的资源应被下载而非在浏览器中显示的字符串。该值表示下载时建议使用的文件名。如果该名称不是底层操作系统所支持的有效文件名，浏览器将对其进行相应调整。
该属性反映了 <area> 元素的 download 属性。