HTMLDocument

由于历史原因，Window 对象有一个 window.HTMLDocument 属性，其值为 Document 接口。因此，您可以将 HTMLDocument 视为 Document 的别名，您可以在 Document 接口的文档中找到 HTMLDocument 成员的文档。