HTML

Living Standard — Last Updated 21 May 2022

1. 2 公共基础设施
   1. 2.1 术语
      1. 2.1.1 Parallelism
      2. 2.1.2 资源
      3. 2.1.3 XML 兼容性
      4. 2.1.4 DOM 树
      5. 2.1.5 脚本
      6. 2.1.6 插件
      7. 2.1.7 字符编码
      8. 2.1.8 符合性类别
      9. 2.1.9 Dependencies
      10. 2.1.10 可扩展性
      11. 2.1.11 与 XPath 和 XSLT 交互
   2. 2.2 String comparison
   3. 2.3 Policy-controlled features
   4. 2.4 公共微语法
      1. 2.4.1 常见的解析器风格
      2. 2.4.2 布尔属性
      3. 2.4.3 关键字和枚举属性
      4. 2.4.4 数字
         1. 2.4.4.1 有符号整数
         2. 2.4.4.2 非负整数
         3. 2.4.4.3 浮点数
         4. 2.4.4.4 百分数和长度
         5. 2.4.4.5 非零百分数和长度
         6. 2.4.4.6 浮点数列表
         7. 2.4.4.7 维度值列表
      5. 2.4.5 日期和时间
         1. 2.4.5.1 月份
         2. 2.4.5.2 日期
         3. 2.4.5.3 无年的日期
         4. 2.4.5.4 时间
         5. 2.4.5.5 本地日期和时间
         6. 2.4.5.6 时区
         7. 2.4.5.7 全球日期和时间
         8. 2.4.5.8 星期
         9. 2.4.5.9 时间间隔
         10. 2.4.5.10 模糊的时间
      6. 2.4.6 颜色
      7. 2.4.7 空格分隔的令牌
      8. 2.4.8 逗号分隔的字符集
      9. 2.4.9 引用
      10. 2.4.10 媒体查询
   5. 2.5 URL
      1. 2.5.1 术语
      2. 2.5.2 解析 URL
      3. 2.5.3 基 URL 的动态变化
   6. 2.6 获取资源
      1. 2.6.1 术语
      2. 2.6.2 确定响应类型
      3. 2.6.3 从 meta 元素提取字符编码
      4. 2.6.4 CORS 设置属性
      5. 2.6.5 引荐来源策略属性
      6. 2.6.6 Nonce attributes
      7. 2.6.7 Lazy loading attributes
   7. 2.7 通用 DOM 接口
      1. 2.7.1 在 IDL 属性中反映内容属性
      2. 2.7.2 集合
         1. 2.7.2.1 The HTMLAllCollection interface
            1. 2.7.2.1.1 [[Call]] ( thisArgument, argumentsList )
         2. 2.7.2.2 HTMLFormControlsCollection 接口
         3. 2.7.2.3 HTMLOptionsCollection 接口
      3. 2.7.3 DOMStringList 接口
   8. 2.8 安全地传递结构化数据
      1. 2.8.1 可序列化对象
      2. 2.8.2 可传输对象
      3. 2.8.3 StructuredSerializeInternal ( value, forStorage [ , memory ] )
      4. 2.8.4 StructuredSerialize ( value )
      5. 2.8.5 StructuredSerializeForStorage ( value )
      6. 2.8.6 StructuredDeserialize ( serialized, targetRealm [ , memory ] )
      7. 2.8.7 StructuredSerializeWithTransfer ( value, transferList )
      8. 2.8.8 StructuredDeserializeWithTransfer ( serializeWithTransferResult, targetRealm )
      9. 2.8.9 在其他规范中执行序列化和传输

2 公共基础设施

该标准依赖于 WHATWG Infra 标准。 [INFRA]

2.1 术语

该标准所说的属性，指的是 HTML，XML 和 IDL 属性，通常在同一个上下文中。当未具体提及所指时，HTML 和 XML 属性指的是 content attributes，而 IDL attributes指的是在 IDL 接口中定义的属性。同样，“属性”这个词也同时指 Javascript 对象属性和 CSS 属性。在可能产生混淆时， 该标准使用 object properties 和 CSS properties 来区别。

一般而言，当该标准申明一个特性可以在 HTML 语法 或 XML 语法 中应用，则在另一个中也可用。 当一个特性仅在两个语言之一中应用时，该标准将显式申明它不能在另一个语言中使用， 如：“可在 HTML 中使用，…… （该语法不可用于 XML）”。

该标准使用术语 文档指任何 HTML，从短小精悍的文档到长篇累牍的论文， 亦或是多媒体报告、完整的交互式应用程序。该术语同时指 Document 对象和他们的后裔 DOM 树。至于序列化的字节流， 则根据上下文使用 HTML 语法 或 XML 语法 来表示。

在 DOM 结构的上下文中，使用的术语 HTML 文档 和 XML 文档 定义在 DOM 标准中， 并且特指 Document 对象所处的两种不同模式。 [DOM] （这样的使用都会超链接到它们的定义）

在字节流的上下文中，术语 HTML 文档 指标记为 text/html 的资源， 术语 XML 文档 指标记为 XML MIME type 的资源。

简单起见，像 shown, displayed, 以及 visible 这样的术语可能会用来指明文档渲染给用户的方式， 这些术语并不是指应用于视觉媒介；必须考虑将它们以等价的方式应用于其他的媒介。

某个元素是visible的并不仅仅指该元素在视觉上可见，比如屏幕阅读器也应将该元素阅读给用户。

2.1.1 Parallelism

To run steps in parallel means those steps are to be run, one after another, at the same time as other logic in the standard (e.g., at the same time as the event loop). This standard does not define the precise mechanism by which this is achieved, be it time-sharing cooperative multitasking, fibers, threads, processes, using different hyperthreads, cores, CPUs, machines, etc. By contrast, an operation that is to run immediately must interrupt the currently running task, run itself, and then resume the previously running task.

For guidance on writing specifications that leverage parallelism, see Dealing with the event loop from other specifications.

To avoid race conditions between different in parallel algorithms that operate on the same data, a parallel queue can be used.

A parallel queue represents a queue of algorithm steps that must be run in series.

A parallel queue has an algorithm queue (a queue), initially empty.

To enqueue steps to a parallel queue, enqueue the algorithm steps to the parallel queue's algorithm queue.

To start a new parallel queue, run the following steps:

1. Let parallelQueue be a new parallel queue.

2. Run the following steps in parallel:

   1. While true:

      1. Let steps be the result of dequeueing from parallelQueue's algorithm queue.

      2. If steps is not nothing, then run steps.

      3. Assert: running steps did not throw an exception, as steps running in parallel are not allowed to throw.

      Implementations are not expected to implement this as a continuously running loop. Algorithms in standards are to be easy to understand and are not necessarily great for battery life or performance.

3. Return parallelQueue.

Steps running in parallel can themselves run other steps in in parallel. E.g., inside a parallel queue it can be useful to run a series of steps in parallel with the queue.

2.1.2 资源

本标准中术语 支持 是指用户代理是否实现了对外部资源的语义的解码能力。 支持 某种格式或类型是指这一实现可以处理该格式或类型的外部资源，且处理过程不会忽略关键方面。 是否 支持 某种特定资源取决于该资源类型有哪些在用的特性。

例如，如果可以解码和渲染 PNG 图片的像素数据，就可以认为支持 PNG 图片格式。 即使这一实现不知道该图片还包含了动画数据。

如果不支持使用的压缩格式，即使实现可以从文件的元数据确定电影的尺寸，MPEG-4 视频文件也不会被视为支持的格式。

有些标准中（特别是 HTTP 标准）中称为 表示（representation） 的在本标准中称为 资源（resource）。 [HTTP]

资源的 关键子资源 是那些需要被正确处理的资源。 哪些资源被认为是关键的，由定义该资源格式的标准来定义。

2.1.3 XML 兼容性

为了方便从 HTML 迁移到 XML，遵循本标准的用户代理会把 HTML 中的元素放在 http://www.w3.org/1999/xhtml 命名空间， 至少是为了 DOM 和 CSS 的目的。 本标准中使用的术语 "HTML 元素"，是指所有在那个命名空间中的元素， 包括 XML 文档中的。

除非另有声明，所有本标准中定义和提到的元素均位于 HTML （"http：//www.w3.org/1999/xhtml"）， 本标准中所有定义和提到的属性（Attribute）没有命名空间。

术语 元素类型 用于指代给定命名空间和局部名的那些元素。 例如，button 元素的元素类型为 button，意味着它们的局部名为 "button" 且（如上述定义地）命名空间为 HTML。

如果属性名匹配 XML 中定义的 Name 生成式且不包含 U+003A COLON 字符（：），那么它就是 XML 兼容的 [XML]

2.1.4 DOM 树

当声明 忽略 某些元素或属性，或当作其他值处理，或当作其他东西处理时， 都是指节点在 DOM 中之后的处理。在这些情形下用户代理禁止改动 DOM。

只有内容属性的新值和原值不同时，才说内容属性的值发生了 改变； 将内容属性设置到它已有的值不会让它发生改变。

术语 空 用于属性值、文本 节点、或字符串时， 表示文本的长度是零（即不包含控制字符 或 U+0020 SPACE）。

插入节点 A 到节点 B 是指以 A 作为参数调用 插入步骤， 然后 A 新的父节点就是 B。类似地，从节点 B 移除节点 A 是指以 A 作为 removedNode 参数，以 B 作为 oldParent 参数调用 移除步骤。

插入节点到文档 是指把它作为参数调用 插入步骤， 然后它就 在文档树中 了。类似地， 从文档中移除节点 是指把它作为参数调用 移除步骤， 然后它就不 在文档树中 了。

把节点作为参数调用 插入步骤 后， 节点就 变成已连接的。 类似地，把它作为参数调用 移除步骤 后， 节点就 变成了分离的。

如果节点是 已连接的 且它的 包含 Shadow 的根 有 浏览环境，那么它是 连接到浏览环境的。 把节点作为参数调用 插入步骤 后， 它就 连接到了浏览环境。 把节点作为参数调用移除步骤， 或者它的 包含 Shadow 的根 不再拥有 浏览环境 后， 它就 与浏览环境分离了。

2.1.5 脚本

有时会用构造 "一个 Foo 对象" （其中 Foo 其实是一个接口）， 来表示 "一个实现了 Foo 接口的对象"。

获取 IDL 属性的值称为 获取（例如在作者的脚本中）， 将新的值赋值给 IDL 属性则称为 设置。

如果 DOM 对象是 活的，该对象上的属性和方法 必须 在真正的底层数据（而不是数据快照）上进行操作。

2.1.6 插件

术语 插件 是指一些用户代理定义的内容处理程序，用户代理用它们 参与 Document 对象的渲染，但不会作为 Document 的 子浏览环境，也不会给 Document 的 DOM 引入任何 Node 对象。

通常，这样的内容处理程序由第三方提供，尽管用户代理也可以将内置的内容处理程序指定为插件。

用户代理不得将 text/plain 和 application/octet-stream 类型视为注册有 插件。

插件的一个例子是当用户导航到PDF文件时在 浏览环境 中实例化的PDF查看器。 无论执行PDF查看器组件的一方是否与实现用户代理本身的方相同，这将被视为插件。 但是根据定义，与用户代理（而不是使用相同的接口）分开启动的PDF查看器应用程序不是插件。

该规范没有定义与插件交互的机制，因为插件预期就是用户代理和平台特定的。 UA 可以选择支持某种插件机制，比如 Netscape Plugin API； 也可以选择对某些类型使用远程内容转换器或提供内置支持。 实际上，本标准根本没有要求用户代理支持插件。[NPAPI]

安全 插件应该遵循 sandbox 属性的语义。

例如，在沙盒 iframe 中初始化的 安全插件应该阻止其中的内容创建弹出窗口。

在与 插件 的外部内容交互时，浏览器应该格外小心。 当第三方软件以与用户代理本身相同的权限运行时，第三方软件中的漏洞变得与用户代理中的漏洞同样危险。

因为不同的用户有不同的 插件，这提供了唯一识别用户的指纹向量， 推荐用户代理对每个用户都支持同样的 plugins。

2.1.7 字符编码

字符编码 或着没有歧义时说的 编码，是一种字节流与 Unicode 字符串的转换， 定义在 Encoding 中。编码 包括一个 编码名称 和一个或更多的 编码标签，编码的 名称 和 标签 定义在 Encoding 标准中。 [ENCODING]

2.1.8 符合性类别

本标准描述了 用户代理（实现者相关）和 文档 （作者和编写工具的实现者相关） 的符合性标准。

符合规范的文档 是符合所有符合性要求的文档。 为了提高可读性，有些符合性要求是对作者提出的；这些是对文档的隐性要求： 按照定义所有文档都有对应的作者。（有些情况下，作者本身可能是一个用户代理 — 这些用户代理受其他规则的约束，见下文。）

例如，如果一项要求声明 "作者 禁止使用 foobar 元素"，意味着文档不允许包含名为 foobar 的元素。

文档的符合性要求与实现的符合性要求没有隐含的关系。 用户代理不能随意处理不合规范的文档；不论输入的文档是否合规，本标准中描述的处理模型都适用。

按照不同的符合性要求，用户代理分为（有重合的）几类。

Web 浏览器和其他交互式用户代理

支持 XML 语法 的 Web 浏览器必须按照本标准的描述 处理 XML 文档中 HTML 命名空间 的元素和属性， 以便用户与之交互，除非那些元素的语义已经被其他标准覆盖。

在 XML 文档中查找 script 元素时，符合规范的 Web 浏览器会执行该元素包含的脚本。然而，如果该元素处于 XSLT 变换中（假设用户代理也支持 XSLT）， 那么处理器会将 script 元素作为组成这一变换的不透明元素处理。

支持 HTML 语法 的 Web 浏览器必须按照本标准的描述 处理标记为 HTML MIME 类型 的文档，以便用户与它们交互。

支持脚本的用户代理也必须一致地实现本标准中的 IDL 片段，IDL 片段定义在 Web IDL 标准中。 [WEBIDL]

除非明确声明，覆盖 HTML 元素语义的标准不覆盖对（表示这些元素的） DOM 对象的要求。 例如，上面例子中的 script 元素仍然实现 HTMLScriptElement 接口。

表示性的非交互式用户代理

处理 HTML 和 XML 文档并纯粹地渲染它们的非交互式版本的用户代理必须遵循与 Web 浏览器同样的符合性规范，除了它们可以免除用户交互的要求。

非交互式用户代理的典型例子就是打印机（静态 UA）和投影仪（动态 UA）。 多数静态的非交互式用户代理 不支持脚本。

非交互式的动态 UA 仍然会执行脚本，以便动态提交表单。 但是因为没有获得焦点的概念，这些 UA 可能不需要实现焦点相关的 DOM API。

支持建议默认渲染的可视化用户代理

无论是交互式还是非交互式用户代理，都可以被指定（比如通过作为用户选项）本标准定义的建议默认渲染。

这并非强制要求，特别是即使用户代理实现了建议默认渲染，也建议为此提供设置来提升用户体验， 例如改变色彩对比度，使用不同的焦点样式，或者其他提升可访问性和可用性的方式。

如果指定了建议默认渲染，支持建议默认渲染的用户代理必须根据 渲染部分 定义的规则实现 用户代理 期望 实现的行为。

不支持脚本的用户代理

不支持脚本的实现（或者完全禁用了其脚本特性的用户代理）可以不支持本标准中提到的事件和 DOM 接口。 但对于本标准中定义的事件模型和 DOM，这些用户代理仍然必须表现地像支持事件和 DOM 一样。

脚本可能是构成应用的一部分。不支持脚本或禁用了脚本的 Web 浏览器可能无法完全表达作者的意图。

符合性检查器

符合性检查器必须验证文档是否符合 符合性检查程序必须验证文档是否符合本规范中描述的适用的一致性标准。 自动化的符合检查程序可以不必检测需要解释作者意图的错误（例如， blockquote 的内容不是引用文档就不符合标准，如果符合性检查程序在运行时没有人为判断的输入， 就不必检查 blockquote 元素是否只包含引用的内容）。

符合性检查器必须检查没有 浏览环境 （意味着没有脚本运行，并且禁用了解析器的 脚本标志 ）时解析输入文档符合规范， 还应检查在会执行脚本的 浏览环境 下解析输入文档符合规范，并且脚本的执行永远不会导致不符合规范的状态（脚本执行过程中除外）出现。 （这只是一个“应该”而不是“必须”的要求，因为这已被证明是不可能的。[COMPUTABLE]）

"HTML 校验器" 可以指代遵循本标准中的适用要求的符合性检查器。

XML DTD 无法表达本标准的所有符合性要求。因此 XML 校验器加 DTD 不能代替符合性检查器。 此外本标准中定义的这两种写作格式都不属于 SGML，因此 SGML 系统也不能代替符合性检查器。

换句话说，有三种符合性规则：

1. DTD 可表达的规则。
2. DTD 不可表达但仍然可以由机器检查的规则。
3. 只能由人工检查的规则。

符合性检查器可以检查前面两种。简单的基于 DTD 的校验器只能检查第一类错误， 因此根据本标准，它不是一种遵循标准的符合性检查器。

数据挖掘工具

不是出于渲染文档或检查文档是否符合规范目的的，处理 HTML 和 XML 文档的应用程序和工具， 其行为应当与其处理的文档的语义保持一致。

只增加每个段落（paragraph）的嵌套层级但不增加每个章节（section）的嵌套层级的 文档大纲 生成工具是不合规范的。

只增加 <p> 的层级而不增加 <section> 的层级会破坏 DOM 原有的语义，比如让段落变成了子段落。

编写工具和标记生成器

编写工具和标记生成器必须生成 符合规范的文档。 在适当的地方，适用于作者的符合性规则也适用于编写工具。

如果编写工具还不能决定作者的意图，可以免除“只能按规定的用途使用元素”的严格要求。 但是编写工具禁止自动地错误使用元素或鼓励它们的用户这样做。

例如，将 address 元素用于任意的联系信息是不合规范的； 该元素只能用于标记文档或章节作者的联系信息。因为编写工具不能区分此意图，所以可以免除这项要求。 但这不意味着（比如）编写工具可以为了斜体字而任意地使用 address 元素； 只意味着编写工具可以在用户给章节插入联系信息时不验证它， 也不需保证用户没用它做别的事或插入别的东西。

在符合性检查方面，文本编辑器必须像符合性检查器一样输出符合规范的文档。

当使用编写工具编辑不符合规范的文档时，可以保持未编辑部分的符合性错误。 （即允许错误的内容经过编辑工具而不发生改变）。 但如果保持了错误，禁止编写工具声明其输出是符合规范的。

编写工具大致分为两类：在结构化或语义数据上进行编辑， 或者在所见即所得的（WYSIWYG）特定媒体上进行编辑。

前者是编写 HTML 工具的理想机制，因为源码信息中的结构可用于更好地选择 HTML 元素和属性。

但是 WYSIWYG 工具也是合理的。WYSIWYG 工具应该使用它们认为合适的元素， 不应该使用它们不确定是否合适的元素。这可能在特定极端情况下意味着对能够使用的流式元素做出限制， 比如 div，b，i，以及 span，以及使用大量的 style 属性。

不论是不是 WYSIWYG，所有编写工具都应该尽量让用户创建良构的、语义丰富的、媒体无关的内容。

为了防范诸如 DoS 攻击、内存耗尽，或解决平台相关的限制， 用户代理可能会对本来不受约束的输入强加实现相关的限制。

为了兼容既有内容与标准，本标准描述了两种写作格式： 一种基于 XML， 另一种基于 SGML 启发的 自定义格式 （称为 HTML 语法）。 本标准鼓励实现同时支持以上两种格式，但至少支持其中一种。

一些符合性要求称为元素、属性、方法或对象的要求。 这些要求分为两类：描述内容模型限制的，和描述实现行为的。   前者是对文档和编写工具的要求，后者是对用户代理的要求。   类似地，另一些符合性要求称为对作者的要求；这些要求应解释为对作者产出的文档的符合性要求。 （换句话说，本标准不区分对作者和对文档的符合性要求）

2.1.9 Dependencies

2.1.10 可扩展性

强烈不鼓励本规范的厂商专有的用户代理扩展。 文档不能使用这样的扩展，因为这样做减少了互操作性并且分割了用户群，只允许特定用户代理的用户访问相关内容。

所有扩展的定义必须使得，扩展的使用既不会违反本标准，也不会导致本标准定义的功能的不一致。

当本标准需要厂商中立的扩展时，或者相应地更新本标准，或者编写一个扩展标准并重写本标准中的要求。 如果有人在他的活动中使用了本标准，并决定识别该扩展标准的要求，这一标准就变成了本标准中符合性要求的 适用规范。

有人可能会编写一个规范来定义任意的字节流为合规的，然后声明他的随机产生的垃圾为符合规范的。 但是这并不意味着他的随机垃圾符合所有人的目的：如果有人认为该标准不适用于他的工作， 他就可以很合理地说上述随机垃圾就是垃圾，根本不符合规范。 就符合性而言，（某一特定）社区内 同意 适用才是最重要的。

用户代理必须将它们不理解的原始和属性当作语义中立的来处理； （DOM 处理器）把它们留在 DOM 中，（CSS 处理器）根据 CSS 设置它们的样式， 但不要推测它们的语义。

当功能的支持被禁用时（例如作为减轻安全问题的紧急措施或协助开发或出于性能原因）， 用户代理的表现必须像不支持该功能一样，像本标准没提到该功能一样。 例如，如果某个特性是通过 Web IDL 接口的属性来访问的，实现该接口的对象将会忽略掉这个属性 — 把属性留在对象上，让它返回 null 或抛出异常是不够的。

2.1.11 与 XPath 和 XSLT 交互

操作以本标准的方式解析或创建的 HTML 文档 （例如作为 document.evaluate() API 的一部分） 的 XPath 1.0 的实现必须在 XPath 1.0 标准的基础上遵循以下改动。

首先，移除这一段话：

节点测试中的 QName 使用表达式上下文的命名空间声明展开为 expanded-name， 展开的方式与开始和结束标签的元素类型名称一样，但是不使用以 xmlns 声明的默认命名空间：如果 QName 没有前缀，那么命名空间 URI 就是 null （这与属性名的展开方式相同）。 如果 QName 的命名空间前缀 在表达式上下文中没有声明将会引发错误。

然后，在同样的位置插入下面一段：

节点测试中的 QName 使用表达式上下文的命名空间声明展开为 expanded-name。 如果 QName 有前缀，则该前缀必须在表达式上下文中有一个 URI 与之关联的命名空间声明， 且相应的。 如果 QName 的命名空间前缀 在表达式上下文中没有声明将会引发错误。

如果 QName 没有前缀且轴的主节点类型为元素，那么使用默认的元素命名空间。 否则，如果 QName 没有前缀，命名空间 URI 就是 null。 默认的元素命名空间是 XPath 表达式的上下文中的成员。 按照 DOM3 XPath API 执行 XPath 表达式时，默认的元素命名空间的值由以下方式决定：

1. 如果上下文节点来自 HTML DOM，默认元素命名空间是 "http://www.w3.org/1999/xhtml"。
2. 否则，默认元素命名空间 URI is null。

这相当于将 XPath 2.0 的默认元素命名空间特性添加到 XPath 1.0， 并将 HTML 命名空间用作 HTML 文档的默认元素命名空间。这样做是希望实现兼容于遗留的 HTML 内容的同时， 支持本标准在 HTML 元素命名空间方面引入的变更，以及希望使用 XPath 1.0 而不是 XPath 2.0。

这一变更的 有意的违反 XPath 1.0 标准， 这样做是希望实现兼容于遗留内容的同时支持本标准在 HTML 元素命名空间方面引入的变更。 [XPATH10]

当输出方法为 "html" 时（显式地设置或采用了 XSLT 1.0 的默认规则）， XSLT 1.0 处理器的 DOM 输出受一下规则的影响：

如果转换程序输出没有命名空间的元素， 处理器必须在构造相应的 DOM 元素节点之前将元素的命名空间更改为 HTML 命名空间， 将局部名称 改为 ASCII 小写， 并且把元素上无命名空间的属性名 改为 ASCII 小写。

本要求是 XSLT 1.0 标准的 故意违反， 本标准为了兼容基于 DOM 的 XSLT 转换，而改变了 HTML 的命名空间和大小写敏感性规则。 （不影响序列化该输出的处理器） [XSLT10]

本标准不指定 XSLT 处理具体如何与 HTML 解析器 基础设施交互 （例如，XSLT 处理器是否将所有元素放到 打开元素栈 中）。 但是当成功地完成后，XSLT 处理器必须 停止解析， 也必须首先将 当前文档就绪状态 设置为 "interactive"，在退出后再设置为 "complete"。

本标准不指定 XSLT 如何与 导航 算法进行交互， 如何与 事件循环 相匹配， 也不指定错误页面如何处理（例如 XSLT 错误是替代 XSLT 增量输出，还是内联呈现等等）。

在 script 元素部分，有一些关于 XSLT 与 HTML 之间交互的非规范性注释， 在 template 元素部分 有一些关于 XSLT，XPath，和 HTML 之间交互的非规范性注释。

2.2 String comparison

A string pattern is a prefix match for a string s when pattern is not longer than s and truncating s to pattern's length leaves the two strings as matches of each other.

2.3 Policy-controlled features

This document defines the following policy-controlled features:

• "autoplay", which has a default allowlist of 'self'.
• "cross-origin-isolated", which has a default allowlist of 'self'.
• "document-domain", which has a default allowlist of *.

2.4 公共微语法

HTML 中有很多地方接受特定的数据类型，比如日期和数字。 这一部分描述了那些类型的内容应符合的标准，以及如何解析它们。

强烈要求实现者仔细地检查考虑用来实现如下语法解析的第三方库。 例如，日期库实现的错误处理行为可能与本标准所要求的不同。 因为在描述类似本标准使用的日期语法的其他标准中，通常没有给出错误处理行为， 所以实现的错误处理可能很不一样。

2.4.1 常见的解析器风格

空格字符 是 在 Unicode PropList.txt 数据文件中 Unicode 属性为 "White_Space" 的字符。[UNICODE]

不要与 Unicode.txt 数据文件中 "Bidi_Class" 属性的 "White_Space" 值（缩写为 "WS"）相混淆。

有些下面描述的微解析器遵循这样的模式：维护一个 input 变量保存待解析字符串，以及一个 position 变量指向 input 中下一个要解析的字符。

2.4.2 布尔属性

有些属性是 布尔属性。 布尔属性出现在元素上表示值为 true，不出现表示表示值为 false。

如果该属性出现，它的值必须为空字符串或者匹配属性的标准名称的 ASCII 大小写不敏感 字符串， 并且前后没有空格。

布尔属性上不允许 "true" 和 "false" 值。 为了表示 false 值，应该一并忽略该属性。

<label><input type=checkbox checked name=cheese disabled> Cheese</label>

<label><input type=checkbox checked=checked name=cheese disabled=disabled> Cheese</label>

<label><input type='checkbox' checked name=cheese disabled=""> Cheese</label>

2.4.3 关键字和枚举属性

有些属性定义为取值只能是有限的关键字集合中的一个。 这样的属性称为 枚举属性。 这些关键字都定义为映射到特定的状态 state （可能多个关键字映射到同一个状态， 此时这些关键字互为同义词；此外有些关键字其实是不合规范的，它们在还在这里完全是历史原因）。 除此之外可以给出两个默认状态：第一个是 非法值的默认状态， 第二个是 缺失值的默认状态。

如果指定了枚举属性，属性值必须是一个匹配其中一个关键字（不包括不合规范）的 ASCII 大小写不敏感 字符串，并且前后没有空格。

指定属性时，如果它的值是匹配其中一个关键字的 ASCII 大小写不敏感 字符串 那么该属性表示的状态就是该关键字的状态。如果属性值不匹配任何给定的关键字，但该属性有一个 非法值的默认状态，那么该属性表示那个状态。 否则如果该属性的值不匹配任何关键字但定义有一个 缺失值的默认状态， 那么该属性表示的状态就是 那个状态。否则，没有默认状态的情况， 非法值不表示任何状态。

当 没有 指定属性时，如果定义有 缺失值的默认状态， 那么这个（缺失）属性表示的状态就是这个状态。否则， 缺失的属性不表示任何状态。

空字符串可以是一个合法的关键字。

2.4.4 数字

2.4.4.1 有符号整数

由一个或更多 ASCII 数字 组成的字符串就是 合法的整数。 可以有一个 U+002D HYPHEN-MINUS 字符 （-） 作为前缀。

没有 U+002D HYPHEN-MINUS 字符 （-） 作为前缀的 合法整数 表示 该数字字符串以 10 为基所表示的数字。 有着 U+002D HYPHEN-MINUS 字符 （-） 作为前缀的 合法的整数 表示零减去该字符串以 10 为基所表示的数字。

解析整数的规则 由下列算法给出。 被调用时，必须以给定的步骤执行，在第一个有返回值的步骤中止。该算法会返回一个整数或者一个错误。

1. 令 input 为被解析的字符串。

2. 令 position 为 input 里面的指针，初始指向字符串的开始。

3. 令 sign 拥有值 "positive"。

4. 跳过 input 中的 ASCII 空格，得到 position。

5. 如果 position 越过了 input 的末尾，返回一个错误。

6. 如果 position 处的（第一个）字符是一个 U+002D HYPHEN-MINUS 字符 （-）:

   1. 令 sign 为 "negative"。
   2. 将 position 前进到下一个字符。
   3. 如果 position 越过了 input 的末尾，返回一个错误。

   否则，如果 position 处的（第一个）字符是一个 U+002B PLUS SIGN 字符 （+）:

   1. 将 position 前进到下一个字符。 （虽然 "+" 会被忽略但并不符合规范。）
   2. 如果 position 越过了 input 的末尾，返回一个错误。

7. 如果 position 处的字符不是 ASCII 数字，则返回一个错误。

8. 从 input 的给定 position 收集 是 ASCII 数字 的代码点序列，将得到的序列解释为以10为基的整数。 令 value 为该整数。

9. 如果 sign 为 "positive"，返回 value，否则返回0减去 value 的结果。

2.4.4.2 非负整数

由一个或更多 ASCII 数字 组成的字符串就是 合法的非负整数 。

合法的非负整数 表示该数字字符串以10为基所表示的数字。

解析非负整数的规则 由以下算法给出，被调用时该算法必须按顺序执行以下步骤，在第一个有返回值的步骤中止。 该算法将返回 0，正整数或者错误。

1. 令 input 为被解析的字符串。

2. 令 value 为使用 解析整数的规则 解析 input 的结果。

3. 如果 value 是一个错误, 返回一个错误。

4. 如果 value 小于零, 返回一个错误。

5. 返回 value。

2.4.4.3 浮点数

合法的浮点数 这样构成：

1. 一个可选的 U+002D HYPHEN-MINUS 字符（-）。
2. 下面的其中一个或者依次的两个：
   1. 一个或更多 ASCII 数字 组成的序列。
   2. 依次出现：
      1. 单个 U+002E FULL STOP 字符（.）。
      2. 一个或更多 ASCII 数字 组成的序列。
3. 可选地：
   1. 一个 U+0065 LATIN SMALL LETTER E 字符（e）或 U+0045 LATIN CAPITAL LETTER E 字符（E）。
   2. 可选地，一个 U+002D HYPHEN-MINUS 字符（-） 或 U+002B PLUS SIGN 字符 （+）。
   3. 一个或更多 ASCII 数字 组成的序列。

合法的浮点数 表示将有效数乘以10的指数。 其中有效数是第一个数字，按十进制解析（包括小数点和小数点后的数字，如果后面有的话） 如果整个字符串以 U+002D HYPHEN-MINUS character （-）字符开始且该数字不为零的话， 将有效数解析为负数。 其中指数是 E 后面的数字（如果有的话），如果在 E 和该数字之间有一个 U+002D HYPHEN-MINUS 字符（-） 且该数字不为零的话，解析为负数，如果在 E 和该数字之间有一个 U+002B PLUS SIGN 字符（+）的话忽略该字符。 如果没有 E，指数当做零来处理。

Infinity 和 Not-a-Number （NaN）值不是 合法的浮点数 。

典型地， 合法的浮点数 的概念只用于限制作者，对用户代理的要求采用下面的 解析浮点数值的规则 （例如，progress 元素的 max 属性）。 然而，在某些情况下要求用户代理检查字符串是否是 合法的浮点数（例如， Number 状态的 input 元素的 值清理算法，或者 解析 srcset 属性 算法）。

浮点数的最佳表示 n 是 运行 ToString（n）得到的字符串。 ToString 抽象方法不是唯一确定的。如果在特定的值上运行 ToString 可能得到多个字符串，用户代理必须对那个值总是返回同样的字符串 （虽然它可能和其他用户代理使用的值不同）。

解析浮点数值的规则 由以下算法给出。 该算法必须在第一个有返回值的步骤中止。 该算法将会返回一个数字或者错误。

1. 令input 为被解析的字符串。

2. 令position 为 input 内的指针，初始指向字符串的开始。

3. 令value 的值为 1。

4. 令divisor 的值为 1。

5. 令exponent 的值为 1。

6. 跳过 input 中的 ASCII 空格，得到 position。

7. 如果 position 越过了 input 的末尾，返回一个错误。

8. 如果 position 处的（第一个）字符是一个 U+002D HYPHEN-MINUS 字符 （-）:

   1. 将 value 和 divisor 改为 −1。
   2. 将 position 前进到下一个字符。
   3. 如果 position 越过了 input 的末尾，返回一个错误。

   否则，如果 position 处的（第一个）字符是一个 U+002B PLUS SIGN 字符 （+）：

   1. 将 position 前进到下一个字符。 （虽然 "+" 会被忽略但并不符合规范。）
   2. 如果 position 越过了 input 的末尾，返回一个错误。

9. 如果 position 处的字符是 U+002E FULL STOP （.），且不是 input 的最后一个字符， 而且 position 表示的字符的后一个字符是 ASCII 数字， 则将 value 设置为零并跳到 fraction 标记的步骤。

10. 如果 position 处的数字不是 ASCII 数字， 则返回一个错误。

11. 从 input 的给定 position 收集 是 ASCII 数字 的代码点序列，将得到的序列解释为以10为基的整数。 将 value 乘以该整数。

12. 如果 position 越过了 input 的末尾，跳到标记为 conversion 的步骤。

13. Fraction：如果 position 处的数字是 U+002E FULL STOP （.），运行以下子步骤：

    1. 将 position 前进到下一个字符。

    2. 如果 position 越过了 input 的末尾或者不是 ASCII 数字、 U+0065 LATIN SMALL LETTER E （e），或 U+0045 LATIN CAPITAL LETTER E （E）， 跳到 conversion 标记的步骤。

    3. 如果 position 处的字符是 U+0065 LATIN SMALL LETTER E character （e）或 U+0045 LATIN CAPITAL LETTER E 字符（E），跳过下面的子步骤。

    4. Fraction loop： 将 divisor 乘以 10。

    5. 按照十进制（0..9）解释 position 处的字符，除以 divisor， 加到 value 上。

    6. 将 position 前进到下一个字符。

    7. 如果 position 越过了 input 的末尾， 跳到 conversion 标记的步骤。

    8. 如果 position 处的字符是 ASCII 数字， 跳回到 fraction loop 标记的子步骤。

14. 如果 position 处的字符是 U+0065 （e）或 U+0045 （E），则：

    1. 将 position 前进到下一个字符。

    2. 如果 position 越过了 input 的末尾，跳到标记为 conversion 的步骤。

    3. 如果 position 处的字符是 U+002D HYPHEN-MINUS 字符（-）：

       1. 将 exponent 设置为 −1。
       2. 将 position 前进到下一个字符。

       3. 如果 position 越过了 input 的末尾，跳到标记为 conversion 的步骤。

       否则，如果 position 处的字符是 U+002B PLUS SIGN 字符（+）：

       1. 将 position 前进到下一个字符。

       2. 如果 position 越过了 input 的末尾，跳到标记为 conversion 的步骤。

    4. 如果 position 处的字符不是 ASCII 数字，则跳到标记为 conversion 的步骤。

    5. 从 input 的给定 position 收集 是 ASCII 数字 的代码点序列，将得到的序列解释为以 10 为基的整数。 将 exponent 乘以该整数。

    6. 将 value 乘以 10 的 exponent 指数。

15. Conversion： 令S 为 IEEE 754 双精度浮点数值的有限集， −0 除外，但新增 2¹⁰²⁴ 和 −2¹⁰²⁴ 两个值。

16. 令rounded-value 为 S 最接近 value 的数字， 如果有两个同样接近的数值，则选择有效数为奇数的数字。 （在这个处理中，2¹⁰²⁴ 和 −2¹⁰²⁴ 这两个特殊值应视为有奇数的有效数。）

17. 如果 rounded-value 是 2¹⁰²⁴ 或 −2¹⁰²⁴，返回错误。

18. 返回 rounded-value。

2.4.4.4 百分数和长度

解析维度值的规则 由下面算法给出。被调用时必须按给定顺序执行这些步骤，并在第一个有返回值的步骤中止。 本算法将会返回一个大于等于 0.0 的数字，或者一个错误；如果返回了数字， 那么它可能是百分数或者长度。

1. 令input 为被解析的字符串。

2. 令position 为 input 中的指针，初始指向字符串的开始。

3. 跳过 input 中的 ASCII 空格，得到 position。

4. 如果 position 越过了 input 的末尾，返回一个错误。

5. 如果 position 处的字符是一个 U+002B PLUS SIGN 字符 （+）， 将 position 前进到下一个字符

   。

6. 如果 position 越过了 input 的末尾，返回一个错误。

7. 如果 position 处的字符不是 ASCII 数字，则返回一个错误。

8. 从 input 的给定 position 收集 是 ASCII 数字 的代码点序列，将得到的序列解释为以 10 为基的整数。 令 value 为该整数。

9. 如果 position 越过了 input 的末尾，将 value 作为长度返回。

10. 如果 position 处的字符是 U+002E FULL STOP character （.）：

    1. 将 position 前进到下一个字符。

    2. 如果 position 越过了 input 的末尾，或者 position 处的字符不是 ASCII 数字，则将 value 作为长度返回。

    3. 令divisor 值为 1。

    4. Fraction loop：将 divisor 乘以 10。

    5. 按照十进制（0..9）解释 position 处的字符，除以 divisor， 加到 value 上。

    6. 将 position 前进到下一个字符。

    7. 如果 position 越过了 input 的末尾，则将 value 作为长度返回。

    8. 如果 position 处的字符是一个 ASCII 数字， 返回到标记为 fraction loop 的子步骤。

11. 如果 position 越过了 input 的末尾，则将 value 作为长度返回。

12. 如果 position 处的字符是 U+0025 PERCENT SIGN character（%）, 将 value 作为百分数返回。

13. 将 value 作为长度返回。

2.4.4.5 非零百分数和长度

解析非零维度值的规则 由下列算法给出。被调用时必须按给定顺序执行这些步骤，并在第一个有返回值的步骤中止。 本算法将会返回一个大于 0.0 的数字或者一个错误；如果返回了数字， 那么它可能是百分数或者长度。

1. 令input 为被解析的字符串。

2. 令value 为使用 解析维度值的规则 解析 input 的结果。

3. 如果 value 是一个错误，返回一个错误。

4. 如果 value 为 0，返回一个错误。

5. 如果 value 为百分数，将 value 作为百分数返回。

6. 将 value 作为长度返回。

2.4.4.6 浮点数列表

合法的浮点数列表 是以 U+002C COMMA 字符分隔的 合法浮点数 , 且没有其他字符（比如 ASCII 空格）。 此外，可能会有浮点数个数限制，或者取值范围限制。

解析浮点数列表的规则 如下：

1. 令input 为被解析的字符串。

2. 令position 为 input 中的指针，初始指向字符串的开始。

3. 令numbers 为空的浮点数列表。该列表将会是本算法的结果。

4. 从 input 的给定 position 收集 是 ASCII 空格, U+002C COMMA，或者 U+003B SEMICOLON 字符的代码点序列。 本步骤跳过了所有前导分隔符。

5. 当 position 没有越过 input 的末尾时：

   1. 从 input 的给定 position 收集 不是 ASCII 空格, U+002C COMMA，U+003B SEMICOLON， ASCII 数字， U+002E FULL STOP, 或 U+002D HYPHEN-MINUS 字符的代码点序列。 本步骤跳过了前导的无用字符。

   2. 从 input 的给定 position 收集 不是 ASCII 空格, U+002C COMMA，或者 U+003B SEMICOLON 字符的代码点序列，令 unparsed number 为收集的结果。

   3. 令number 为使用 解析浮点数值的规则 解析 unparsed number 的结果。

   4. 如果 number 是一个错误，将 number 设置为 0。

   5. 将 number 添加到 numbers。

   6. 从 input 的给定 position 收集 是 ASCII 空格, U+002C COMMA，或者 U+003B SEMICOLON 字符的代码点序列。 本步骤跳过了分隔符。

6. 返回 numbers。

2.4.4.7 维度值列表

解析维度值列表的规则 如下。 这些规则返回一个由数字或单位组成的偶对列表，包含0个或更多偶对。 其中的单位是 percentage, relative，和 absolute 之一。

1. 令raw input 为被解析的字符串。

2. 如果 raw input 的最后一个字符是 U+002C COMMA character（,）, 则从 raw input 中移除该字符。

3. 用逗号分割 raw input 字符串。 令raw tokens 为得到的标记列表。

4. 令result 为 number/unit 偶对的空列表。

5. 对 raw tokens 中的每一个标记，运行以下子步骤：

   1. 令input 为该标记。

   2. 令position 为 input 中的指针，初始指向字符串的开始。

   3. 令value 为数字 0。

   4. 令unit 为 absolute。

   5. 如果 position 越过了 input 的末尾，将 unit 设为 relative 并跳到最后一个子步骤。

   6. 如果 position 处的字符是 ASCII 数字， 从 input 的给定 position 收集 是 ASCII 数字 的代码点序列，将得到的序列解释为以10为基的整数， 将 value 递增这个整数。

   7. 如果在 position 处的字符是 U+002E（.），则：

      1. 从 input 的给定 position 收集 是 ASCII 空格 或 ASCII 数字 的代码点序列， 令 s 为得到的结果序列。

      2. 移除 s 中所有的 ASCII 空格。

      3. 如果 s 不是空字符串，则：

         1. 令length 为 s 中（移除空格后的）字符数。

         2. 令fraction 为将 s 解释为以10为基的整数后的结果， 将这个数字除以 10^length。

         3. 将 value 递增 fraction。

   8. 从给定的 position 跳过 input 中的 ASCII 空白字符。

   9. 如果 position 处的字符是 U+0025 PERCENT SIGN 字符（%）, 将 unit 设为 percentage。

      否则，如果 position 处的字符是 U+002A ASTERISK 字符（*）， 则将 unit 设为 relative。

   10. 在 result 中增加一项，包含由 value 给定的数字， 以及由 unit 给定的单位。

6. 返回 result 列表。

2.4.5 日期和时间

当本部分定义的日期与时间语法中使用了 ASCII 数字 时, 这些数字表示10进制数。

虽然这里描述的格式旨在成为相应的 ISO8601 格式的子集，但是本规范比 ISO8601 更详细地定义了解析规则。因此，在使用实现者之前，请仔细检查任何日期解析库，然后再使用它们来实现下面描述的解析规则; ISO8601 库可能不会以完全相同的方式解析日期和时间。[ISO8601]

本标准中的 外推格里历 是指现代格里历向前外推到第 1 年。 外推格里历 中的日期 （有时直接称 外推格里历日期）， 的指用外推格里历描述的日期，即使当时还没有颁布格里历。 [GREGORIAN]

格里历在本标准中作为连线协议使用并非出于决策者的文化偏好。参考： 对表单中的 date，time，和 number 格式 的讨论 （对作者而言）， 关于表单控件本地化的实现说明，， 以及 time 元素。

2.4.5.1 月份

月份 由特定的 外推格里历日期 组成， 不包含时区信息，也不包含年和月以上的日的信息。[GREGORIAN]

表示 year 年 month 月的 合法的月字符串 包含下列部分（有序）：

1. 表示 year 年的 4 个或更多 ASCII 数字， 其中 year > 0
2. 一个 U+002D HYPHEN-MINUS 字符（-）
3. 表示 month 月的两个 ASCII 数字，在范围 1 ≤ month ≤ 12 之内

解析月字符串 的规则如下。将返回年和月，或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 令input 为待解析字符串。

2. 令position 为 input 内的指针初始指向字符串开始。

3. 解析月的部分 来获得 year 和 month。 如果它没有返回，则失败。

4. 如果 position 没有 超出 input 的结尾，则失败。

5. 返回 year 和 month。

给定 input 字符串和位置 position， 解析月的部分 的规则如下。 将返回年和月，或者什么都不返回。 如果算法的任何一个步说它 "失败了"，这意味着它在那一步退出并什么都不返回。

1. 从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。 如果收集到的序列不够 4 个字符则失败。 否则将结果序列解释为 10 进制整数。令那个数为 year。

2. 如果 year 不是大于0的数字则失败。。

3. 如果 position 超出了 input 的末尾或者 position 处的字符不是 U+002D HYPHEN-MINUS 字符，则失败。 否则将 position 前进一个字符。

4. 从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。 如果收集到的序列不是恰好 2 个字符则失败。 否则将结果序列解释为 10 进制整数。令那个数为 month。

5. 如果 month 不是 1 ≤ month ≤ 12 范围内的数字就失败。

6. 返回 year 和 month。

2.4.5.2 日期

日期 由特定的 外推格里历日期 组成， 不包含时区信息，由年、月、日组成。[GREGORIAN]

表示 year 年，month 月，day 日的 合法的日期字符串 由下列几个有序的组成部分：

1. 表示 year 和 month 的 合法的月字符串
2. 一个 U+002D HYPHEN-MINUS 字符（-）
3. 表示 day 的两个 ASCII 数字， 处于范围 1 ≤ day ≤ maxday 内，其中 maxday 为 year 年 month 月的天数

解析日期字符串 的规则如下。将会返回一个日期或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 令input 为待解析字符串。

2. 令position 为 input 内的指针初始指向字符串开始。

3. 解析日期部分 来获得 year，month 和 day。 如果它没有返回，则失败。

4. 如果 position 没有 超出 input 的结尾，则失败。

5. 令date 的年月日分别为 year，month，day。

6. 返回 date。

给定 input 字符串和位置 position， 解析日期部分 的规则如下。 将返回年、月、日，或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 解析月的部分 来获得 year 和 month 如果它没有返回，则失败。

2. 令maxday 为 year 年 month 月的天数。

3. 如果 position 超出了 input 的末尾或者 position 处的字符不是 U+002D HYPHEN-MINUS 字符，则失败。 否则将 position 前进一个字符。

4. 从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。 如果收集到的序列不是恰好 2 个字符则失败。 否则将结果序列解释为 10 进制整数。令那个数为 day。

5. 如果 day 不是 1 ≤ day ≤ maxday 范围内的数字就失败。

6. 返回 year，month 和 day。

2.4.5.3 无年的日期

一个 无年的日期 由一个格里历月和该月内的一天组成，但没有关联的年份。[GREGORIAN]

表示 month 月 day 日的 合法的无年日期 包含如下有序的部分：

1. 可选地，两个 U+002D HYPHEN-MINUS 字符 （-）
2. 表示 month 月的两个 ASCII 数字，在范围 1 ≤ month ≤ 12 之内
3. 一个 U+002D HYPHEN-MINUS 字符 （-）
4. 表示 day 的两个 ASCII 数字， 处于范围 1 ≤ day ≤ maxday 内，其中 maxday 为 任意闰年（例如 4 或 2000）的 month 月的天数

换句话说，如果 month 为 "02"（二月）， 那么可以是 29 日，把这一年当做闰年。

解析无年的日期字符串 的规则如下。 将会返回月和日，或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 令input 为待解析字符串。

2. 令position 为 input 内的指针初始指向字符串开始。

3. 解析无年的日期部分 来获得 month 和 day。 如果它没有返回，则失败。

4. 如果 position 没有 超出 input 的结尾，则失败。

5. 返回 month 和 day。

给定 input 字符串和位置 position， 解析无年的日期部分 的规则如下。 将返回月和日，或者什么都不返回。 如果算法的任何一个步说它 "失败了"，这意味着它在那一步退出并什么都不返回。

1. 从 input 中给定的位置 position 收集 U+002D HYPHEN-MINUS 字符 （-）组成的代码点序列。 如果收集到的序列长度不是 0 或 2，就失败。

2. 从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。 如果收集到的序列长度不是 2 就失败。 否则将结果序列解释为 10 进制整数。令那个数为 month。

3. 如果 month 不是 1 ≤ month ≤ 12 范围内的数字就失败。

4. 令 maxday 为 任意闰年（例如 4 或 2000）的 month 月的天数。

5. 如果 position 超出了 input 的末尾或者 position 处的字符不是 U+002D HYPHEN-MINUS 字符，则失败。 否则将 position 前进一个字符。

6. 从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。 如果收集到的序列不是恰好 2 个字符则失败。 否则将结果序列解释为 10 进制整数。令那个数为 day。

7. 如果 day 不是 1 ≤ day ≤ maxday 范围内的数字就失败。

8. 返回 month 和 day。

2.4.5.4 时间

时间 由一个没有时区信息的特定时间组成。 包含小时、分钟、秒，以及秒的小数。

hour 时 minute 分 second 秒的 合法的时间字符串 由以下有序的几部分组成：

1. 表示 hour 的两个 ASCII 数字， 在 0 ≤ hour ≤ 23 范围内
2. 一个 U+003A COLON 字符 （:）
3. 表示 minute 的两个 ASCII 数字， 在 0 ≤ minute ≤ 59 范围内
4. 如果 second 不是零（是零也合法）：
   1. 一个 U+003A COLON 字符（:）
   2. 表示 second 的两个 ASCII 数字， 在 0 ≤ second ≤ 59 范围内
   3. 如果 second 不是整数（是整数也合法）：
      1. 一个 U+002E FULL STOP 字符（.）
      2. 表示 second 的一到三个 ASCII 数字

second 部分不可以是 60 或 61；闰秒无法表示。

解析时间字符串 的规则如下。将会返回一个时间或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 令input 为待解析字符串。

2. 令position 为 input 内的指针初始指向字符串开始。

3. 解析时间部分 来获得 hour，minute 和 second。 如果它没有返回，则失败。

4. 如果 position 没有 超出 input 的结尾，则失败。

5. 令time 的时分秒分别为 hour，minute，second。

6. 返回 time。

给定 input 字符串和位置 position， 解析时间部分 的规则如下。 将返回时、分、秒，或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。 如果收集到的序列不是恰好 2 个字符则失败。 否则将结果序列解释为 10 进制整数。令那个数为 hour。

2. 如果 hour 不是 0 ≤ hour ≤ 23 范围内的数字就失败。

3. 如果 position 超出了 input 的末尾或者 position 处的字符不是 U+003A COLON 字符，则失败。 否则将 position 前进一个字符。

4. 从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。 如果收集到的序列不是恰好 2 个字符则失败。 否则将结果序列解释为 10 进制整数。令那个数为 minute。

5. 如果 minute 不是 0 ≤ minute ≤ 59 范围内的数字就失败。

6. 令second 为 0。

7. 如果 position 没有超出 input 的末尾并且 position 处的字符是 U+003A（:），则：

   1. 将 position 前进一个字符。

   2. 如果 position 恰好位于或者超出了 input 的末尾， 或者 input 中从 position 开始的 两个 字符不都是 ASCII 数字，则失败。

   3. 从 input 中给定的位置 position 收集 ASCII 数字 或 U+002E FULL STOP 字符 组成的代码点序列。 如果收集到的序列长度为 3， 或者长度大于 3 且第 3 个字符不是 U+002E FULL STOP 字符， 或者有多于一个的 U+002E FULL STOP 字符，则失败。 否则将结果序列解释为 10 进制数（可能有小数部分）。 将 second 设置为那个数字。

   4. 如果 second 不是 0 ≤ second < 60 范围内的数字就失败。

8. 返回 hour，minute 和 second。

2.4.5.5 本地日期和时间

本地日期和时间 由一个特定的 外推格里历日期（包含年、月、日） 和时间（包含时、分、秒，以及秒的小数），但没有时区。[GREGORIAN]

表示日期和时间的 合法的本地日期和时间字符串 由以下有序的部分组成：

1. 表示日期的 合法的日期字符串
2. 一个 U+0054 LATIN CAPITAL LETTER T 字符（T）或者 U+0020 SPACE 字符
3. 表示时间的 合法的时间字符串

表示日期和时间的 合法的正则化的本地日期和时间字符串 由以下有序的几部分组成：

1. 表示日期的 合法的日期字符串
2. 一个 U+0054 LATIN CAPITAL LETTER T 字符 （T）
3. 表示时间的 合法的时间字符串， 按给定时间的最短可能的字符串表示。（例如如果秒是 0 的话忽略秒的部分）

解析本地日期和时间字符串 的规则如下。 将会返回一个日期或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 令input 为待解析字符串。

2. 令position 为 input 内的指针初始指向字符串开始。

3. 解析日期部分 来获得 year，month 和 day。 如果它没有返回，则失败。

4. 如果 position 超出了 input 的末尾或者 position 处的字符是 U+0054 LATIN CAPITAL LETTER T 字符（T） 或 U+0020 SPACE 字符，则失败。否则将 position 前进一个字符。

5. 解析时间部分 来获得 hour，minute 和 second。 如果它没有返回，则失败。

6. 如果 position 没有 超出 input 的结尾，则失败。

7. 令date 的年月日分别为 year，month，day。

8. 令time 的时分秒分别为 hour，minute，second。

9. 返回 date 和 time。

2.4.5.6 时区

时区 由一个小时和分钟的有符号数字组成。

表示时区的 合法的时区字符串 包含下列之一：

• 一个 U+005A LATIN CAPITAL LETTER Z 字符 （Z），只有时区为 UTC 时才允许

• 或者下列有序的几部分：

  1. 一个 U+002B PLUS SIGN 字符 （+） 或者（如果时区不为零的话）U+002D HYPHEN-MINUS 字符（-），表示时区偏移的符号
  2. 两个 ASCII 数字， 表示时区偏移的小时 hour， 必须在 0 ≤ hour ≤ 23 范围内
  3. 可选地，一个 U+003A COLON 字符 （:）
  4. 两个 ASCII 数字， 表示时区偏移的分钟 minute， 必须在 0 ≤ minute ≤ 59 范围内

此格式允许从-23:59到+23:59的时区偏移。 现在，实际时区的偏移范围是-12:00到+14:00，分钟分量始终是 00，30 或 45。 但不能保证情况永远是这样的，因为时区被用作政治足球，受到异想天开的政策的支配。

另请参阅下面的 全球日期和时间 部分的使用说明和示例，具体了解如何在正式的时区形成之前的历史时间上使用时区偏移。

解析时区偏移字符串 的规则如下。 将会返回一个时区偏移或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 令input 为待解析字符串。

2. 令position 为 input 内的指针初始指向字符串开始。

3. 解析时区偏移部分 来获得 timezone_hours 和 timezone_minutes。 如果它没有返回，则失败。

4. 如果 position 没有 超出 input 的结尾，则失败。

5. 返回距离 UTC timezone_hours 小时 timezone_minutes 分钟的时区偏移。

给定 input 字符串和位置 position， 解析时区偏移部分 的规则如下。 将会返回一个时区偏移的小时和分钟，或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 如果 position 处的字符是一个 U+005A LATIN CAPITAL LETTER Z 字符（Z），则：

   1. 令timezone_hours 为 0。

   2. 令timezone_minutes 为 0。

   3. 将 position 前进到 input 的下一个字符。

   否则，如果 position 是 U+002B PLUS SIGN （+）或 U+002D HYPHEN-MINUS （-），则：

   1. 如果 position 处的字符是一个 U+002B PLUS SIGN （+），令 sign 为 "正"。 如果它是一个 U+002D HYPHEN-MINUS （-），则令 sign 为 "负"。

   2. 将 position 前进到 input 的下一个字符。

   3. 从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。令 s 为收集到的序列。

   4. 如果 s 恰好是两个字符长度，则：

      1. 将 s 解释为10进制整数，并赋值给 timezone_hours。

      2. 如果 position 超出了 input 的末尾或者 position 处的字符不是 U+003A COLON 则失败。 否则将 position 前进一个字符。

      3. 从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。 如果收集到的序列不是恰好 2 个字符则失败。 否则将结果序列解释为 10 进制整数。令那个数为 timezone_minutes。

      如果 s 恰好是 4 个字符长度，则：

      1. 将 s 的前两个字解释为 10 进制整数，并赋值给 timezone_hours。

      2. 将 s 的后两个字解释为 10 进制整数，并赋值给 timezone_minutes。

      其他情况失败。

   5. 如果 timezone_hours 不在 0 ≤ timezone_hours ≤ 23 范围内则失败。
   6. 如果 sign 为 "负"，则对 timezone_hours 求反。
   7. 如果 timezone_minutes 不在 0 ≤ timezone_minutes ≤ 59 范围内则失败。
   8. 如果 sign 为 "负"，则对 timezone_minutes 求反。

   其他情况失败。

2. 返回 timezone_hours 和 timezone_minutes。

2.4.5.7 全球日期和时间

全球日期和时间 由一个特定的 外推格里历日期（包含年、月、日） 和时间（包含时、分、秒，以及秒的小数），以及附加的时区信息，一个包括小时和分钟的有符号数。[GREGORIAN]

表示日期、时间和时区的的 合法的全球日期和时间字符串 由以下有序的部分组成：

1. 表示日期的 合法的日期字符串
2. 一个 U+0054 LATIN CAPITAL LETTER T 字符（T）或者 U+0020 SPACE 字符
3. 表示时间的 合法的时间字符串
4. 表示时区的 合法的时区偏移字符串

在 20 世纪中叶 UTC 形成之前的时间必须按照 UT1（0° 经度处的太阳时）而不是 UTC（ UT1 的近似，按照 SI 制秒增长）表示和解析。时区形成前的时间必须按照 UT1 时间表示和解析， 且带有明确的时区信息，以此来近似适当的本地时间和伦敦格林尼治观测到的时间差。

解析全球日期和时间字符串 的规则如下。 将会返回一个带有时区信息（为了能够往返转换或显示等用途）的 UTC 时间，或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 令input 为待解析字符串。

2. 令position 为 input 内的指针初始指向字符串开始。

3. 解析日期部分 来获得 year，month 和 day。 如果它没有返回，则失败。

4. 如果 position 超出了 input 的末尾或者 position 处的字符是 U+0054 LATIN CAPITAL LETTER T 字符（T） 或 U+0020 SPACE 字符，则失败。否则将 position 前进一个字符。

5. 解析时间部分 来获得 hour，minute 和 second。 如果它没有返回，则失败。

6. 如果 position 超出了 input 的结尾，则失败。

7. 解析时区偏移部分 来获得 timezone_hours 和 timezone_minutes。 如果它没有返回，则失败。

8. 如果 position 没有 越过 input 的结尾，则失败。

9. 令时刻 time 的年月日时分秒分别为 year，month，day， hour，minute，second，减去 timezone_hours 小时 timezone_minutes 分钟。 该时刻的时区为 UTC 时区。

10. 令timezone 为距 UTC timezone_hours 小时 timezone_minutes 分钟的时区偏移。

11. 返回 time 和 timezone。

2.4.5.8 星期

星期 由一个表示年的数字（星期年）和一个表示星期的数字（周号）组成，表示从周一开始的 7 天时间段。 在这个日历系统中，每个星期年有 52 或 53 个这样的 7 天，定义如下。这样的 7 天周期从格里历 1969 年 12 月 29 日（1969-12-29）开始， 这一周被定义为 1970 年的第 1 周。后续的星期都依次进行编号。一个星期年的第一周之前是上一个星期年的最后一周，反之亦反。 [GREGORIAN]

如果编号为 year 的星期年对应的 外推格里历 年 year 第一天（1月1日）是周二，或者这一天是周三且 year 可被 400 整除或可被 4 整除但不可被 100 整除， 那么这一星期年有 53 周。其他所有星期年都有 52 周。

有 53 周的星期年的 最后一天的周号 是 53； 有 52 周的星期年的最后一天的周号是 52。

特定日期的星期年的编号可能与包含这一天的 外推格里历 年不同。 星期年 y 的第一周为包含第一个周二的格里历年 y。

为了现代目的，这里定义的 星期 等价于定义在 ISO 8601 中的 ISO 星期。 [ISO8601]

表示星期年 year 和周号 week 的 合法的星期字符串 有下列几个有序的组成部分：

1. 表示 year 的 4 个或更多 ASCII 数字，其中 year > 0
2. 一个 U+002D HYPHEN-MINUS 字符 （-）
3. 一个 U+0057 LATIN CAPITAL LETTER W 字符 （W）
4. 表示周号 week 的两个 ASCII 数字，其中 1 ≤ week ≤ maxweek。 maxweek 为星期年 year 最后一天的周号。

解析星期字符串 的规则如下。将会返回星期年和周号两个数字，或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 令input 为待解析字符串。

2. 令position 为 input 内的指针初始指向字符串开始。

3. 从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。 如果收集到的序列长度小于 4 个字符长度则失败。 否则将结果序列解释为 10 进制整数。令那个数为 year。

4. 如果 year 小于等于零则失败。

5. 如果 position 超出了 input 的末尾或者 position 处的字符不是 U+002D HYPHEN-MINUS 字符则失败。 否则将 position 前进一个字符。

6. 如果 position 超出了 input 的末尾或者 position 处的字符不是 U+0057 LATIN CAPITAL LETTER W 字符（W）则失败。 否则将 position 前进一个字符。

7. 从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。 如果收集到的序列不是恰好 2 个字符长度则失败。 否则将结果序列解释为 10 进制整数。令那个数为 week。

8. 令maxweek 为 year 年 最后一天的周号。

9. 如果 week 不是在 1 ≤ week ≤ maxweek 范围内的数字就失败。

10. 如果 position 没有 超出 input 末尾，则失败。

11. 返回星期年 year 和周号 week。

2.4.5.9 时间间隔

时间间隔 由 秒数构成。

由于月和秒是不可比较的（一月没有精确的秒数， 它的长度取决于究竟从哪天算起），本标准中定义的 时间间隔 不允许包含 月（或者年，它等于12个月）。 时间间隔只能描述秒数。

表示 时间间隔 t 的 合法的时间间隔字符串 的组成方式可以是下列任何一种：

• 字面量 U+0050 LATIN CAPITAL LETTER P 字符加一个或更多下列有序的子组件， 其中 天、小时、分钟和秒的数量对应 t 中同样数量的秒：

  1. 一个或更多 ASCII 数字 加 U+0044 LATIN CAPITAL LETTER D 字符，表示天数。

  2. 一个 U+0054 LATIN CAPITAL LETTER T 字符加一个或更多下列子组件，按照给定的顺序：

     1. 一个或更多 ASCII 数字 加一个 U+0048 LATIN CAPITAL LETTER H 字符，表示小时数。

     2. 一个或更多 ASCII 数字 加一个 U+004D LATIN CAPITAL LETTER M 字符，表示分钟数。

     3. 下列组件：

        1. 一个或更多 ASCII 数字，表示秒数。

        2. 可选地，一个 U+002E FULL STOP 字符（.） 加一个、两个或三个 ASCII 数字， 表示秒的小数组件。

        3. 一个 U+0053 LATIN CAPITAL LETTER S 字符。

  和本标准中定义的其他时间日期相关的微语法一样，时间间隔也基于 ISO 8601 中定义的一种格式。 [ISO8601]

• 一个或更多任意顺序的 时间间隔组件， 每个都有不同的 时间间隔； 它们表示的描述之和等于 t 中的秒数。

  时间间隔组件 是一个包含下列组件的字符串：

  1. 零个或更多 ASCII 空格。

  2. 一个或更多 ASCII 数字，在 单位倍数（见下文）下的秒的数量。

  3. 如果 倍数 为 1 （即单位是秒）， 则可以有一个 U+002E FULL STOP 字符（.）接着一个、两个或三个 ASCII 数字， 表示秒的小数组件。

  4. 零个或更多 ASCII 空白。

  5. 下面的字符之一，表示 时间间隔组件 的数字部分使用的时间单位的 倍数：

     U+0057 LATIN CAPITAL LETTER W 字符

     U+0077 LATIN SMALL LETTER W 字符

     星期。倍数是 604800。

     U+0044 LATIN CAPITAL LETTER D 字符

     U+0064 LATIN SMALL LETTER D 字符

     天。倍数是 86400。

     U+0048 LATIN CAPITAL LETTER H 字符

     U+0068 LATIN SMALL LETTER H 字符

     小时。倍数是 3600。

     U+004D LATIN CAPITAL LETTER M 字符

     U+006D LATIN SMALL LETTER M 字符

     分钟。倍数是 60。

     U+0053 LATIN CAPITAL LETTER S 字符

     U+0073 LATIN SMALL LETTER S 字符

     秒。倍数是 1。

  6. 零个或更多 ASCII 空格。

  这并不基于 ISO 8601 中的任何格式。这是为了提出一种比 ISO 8601 时间间隔格式更加人类可读的选择。

解析时间间隔字符串 的规则如下。将会返回一个 时间间隔 或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 令input 为待解析字符串。

2. 令position 为 input 内的指针初始指向字符串开始。

3. 令months，seconds，和 component count 均为零。

4. 令M-disambiguator 为 minutes。

   该标志的另一个值是 months。它用来消除 ISO8601 时间间隔中 "M" 单位的歧义， 在 ISO8601 中月和分钟都使用这个单位。虽然月是不允许的，但为了向前兼容， 以及避免误解 ISO8601 时间间隔（在其他上下文中仍然是合法的）， 仍然对月进行了解析。

5. 从 position 开始 跳过 input 中的 ASCII 空格。

6. 如果 position 越过了 input 的结尾，则失败。

7. 如果 position 处的字符是一个 U+0050 LATIN CAPITAL LETTER P 字符， 则将 position 前进一个字符。将 M-disambiguator 设置为 months， 并从 position 开始 跳过 input 中的 ASCII 空格。

8. while true:

   1. 令units 为 undefined。它的值可能是： years，months，weeks，days，hours，minutes，或 seconds。

   2. 令next character 为 undefined。用来从 input 中处理字符。

   3. 如果 position 越过了 input 的结尾，则 break。

   4. 如果 position 处的字符是一个 U+0050 LATIN CAPITAL LETTER T 字符， 则将 position 前进一个字符。将 M-disambiguator 设置为 minutes， 并从 position 开始 跳过 input 中的 ASCII 空格。

   5. 将 next character 设置为 input 中 position 处的字符。

   6. 如果 next character 为一个 U+002E FULL STOP 字符 （.），则令 N 等于 0。 （不要前进 position。下面会处理它。）

      否则，如果 next character 是一个 ASCII 数字，则从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。将结果序列解释为 10 进制整数。令 N 为那个数字。

      否则如果 next character 不是数字，则失败。

   7. 如果 position 越过了 input 的结尾，则 break。

   8. 将 next character 设置为 input 中 position 处的字符， 这次将 position 前进到下一字符。 （如果 next character 刚才是一个 U+002E FULL STOP 字符（.），它将仍然是那个字符。）

   9. 如果 next character 是 U+002E （.），则：

      1. 从 input 中给定的位置 position 收集 ASCII 数字 组成的代码点序列。令 day 为结果序列。

      2. 如果 s 是空字符串则失败。

      3. 令length 为 s 中的字符数。

      4. 令fraction 为将 s 解释为10进制数的结果， 把这个数除以 10^length。

      5. 将 N 增加 fraction。

      6. 从 position 开始 跳过 input 中的 ASCII 空格。

      7. 如果 position 越过了 input 的结尾，则失败。

      8. 将 next character 设为 input 中 position 指向的字符， 并将 position 前进到下一字符。

      9. 如果 next character 既不是 U+0053 LATIN CAPITAL LETTER S 字符也不是 U+0073 LATIN SMALL LETTER S 字符，则失败。

      10. 将 units 设为 seconds。

      否则：

      1. 如果 next character 是 ASCII 空格， 那么从 position 开始 跳过 input 中的 ASCII 空格。 将 next character 设为 input 中 position 指向的字符， 并将 position 前进到下一字符。

      2. 如果 next character 是一个 U+0059 LATIN CAPITAL LETTER Y 字符或 U+0079 LATIN SMALL LETTER Y 字符，将 units 设置为 years 并将 M-disambiguator 设置为 months。

         如果 next character 是一个 U+004D LATIN CAPITAL LETTER M 字符或 U+006D LATIN SMALL LETTER M 字符，且 M-disambiguator 是 months，则将 units 设置为 months。

         如果 next character 是一个 U+0057 LATIN CAPITAL LETTER W 或 U+0077 LATIN SMALL LETTER W 字符，将 units 设置为 weeks 并将 M-disambiguator 设置为 minutes。

         如果 next character 是一个 U+0044 LATIN CAPITAL LETTER D 或 U+0064 LATIN SMALL LETTER D 字符，将 units 设置为 days 并将 M-disambiguator 设置为 minutes。

         如果 next character 是一个 U+0048 LATIN CAPITAL LETTER H 或 U+0068 LATIN SMALL LETTER H 字符，将 units 设置为 hours 并将 M-disambiguator 设置为 minutes。

         如果 next character 是一个 U+004D LATIN CAPITAL LETTER M 字符或 U+006D LATIN SMALL LETTER M 字符，且 M-disambiguator 是 minutes，则将 units 设置为 minutes。

         如果 next character 是一个 U+0053 LATIN CAPITAL LETTER S 或 U+0073 LATIN SMALL LETTER S 字符，将 units 设置为 seconds 并将 M-disambiguator 设置为 minutes。

         否则如果 next character 不是上述任何字符，则失败。

   10. 递增 component count。

   11. 令multiplier 为 1。

   12. 如果 units 为 years，将 multiplier 乘以 12 并设置 units 为 months。

   13. 如果 units 为 months，把 N 与 multiplier 的乘积加到 months 上。

       否则：

       1. 如果 units 为 weeks，将 multiplier 乘以 7 并设置 units 为 days。

       2. 如果 units 为 days，将 multiplier 乘以 24 并设置 units 为 hours。

       3. 如果 units 为 hours，将 multiplier 乘以 60 并设置 units 为 minutes。

       4. 如果 units 为 minutes，将 multiplier 乘以 60 并设置 units 为 seconds。

       5. 否则 units 只能是 seconds 了。 将 N 与 multiplier 的乘积加到 seconds 上。

   14. 从 position 开始 跳过 input 中的 ASCII 空格。

9. 如果 component count 为零，则失败。

10. 如果 months 不为零，则失败。

11. 返回包含 seconds 秒的 时间间隔。

2.4.5.10 模糊的时间

合法的可选时间的日期字符串 是下列中的一种：

• 合法的日期字符串
• 合法的全球日期与时间字符串

解析日期或时间字符串 的规则如下。 该算法将会返回一个 date，time，或 全球日期和时间 或者什么都不返回。 如果算法的任何一个点说它 "失败了"，这意味着它在那一点退出并什么都不返回。

1. 令input 为待解析字符串。

2. 令position 为 input 内的指针初始指向字符串开始。

3. 将 start position 设置为 position。

4. 将 date present 和 time present 标志设置为 true。

5. 解析日期部分 来获得 year，month 和 day。 如果它没有返回，设置 date present 为 false。

6. 如果 date present 为 true，且 position 没有越过 input 的末尾， 且 position 处的字符是 U+0054 LATIN CAPITAL LETTER T 字符 （T）或 U+0020 SPACE 字符， 将 position 前进到 input 的下一个字符。

   否则，如果 date present 为 true，并且 position 越过了 input 的末尾或 position 处的字符既不是 U+0054 LATIN CAPITAL LETTER T 字符 （T）也不是 U+0020 SPACE 字符， 则设置 time present 为 false。

   否则，如果 date present 为 false，将 position 设置回 start position。

7. 如果 time present 为 true，则 解析时间部分 来获得 hour，minute 和 second。 如果它没有返回，则失败。

8. 如果 date present 和 time present 标志都是 true， 但 position 越过了 input 的末尾，则失败。

9. 如果 date present 和 time present 标志都是 true， 解析时区偏移部分 来获得 timezone_hours 和 timezone_minutes。如果它没有返回则失败。

10. 如果 position 没有 越过 input 的结尾，则失败。

11. 如果 date present 标志为 true 且 time present 标志为 false， 则令 date 为年与日分别为 year，month，day 的日期并返回 date。

    否则，如果 time present 标志为 true 且 date present 标志为 false， 则令 time 为时分秒分别为 hour，minute，second 的时间并返回 time。

    否则，令 time 为 year 年 month 月 day 日 hour 时mminute 分 second 秒， 减去 timezone_hours 小时 timezone_minutes分钟，这一时刻是 UTC 时区的时间； 令 timezone 距离 UTC timezone_hours 小时 timezone_minutes 分钟； 返回 time 和 timezone。

2.4.6 颜色

简单颜色 由三个在 0..255 范围的 8 位数字组成。 分别表示 sRGB 色彩空间的颜色的红、绿、蓝分量。 [SRGB]

合法的简单颜色 字符串应恰好包含 7 个字符长度， 第一个字符是 U+0023 NUMBER SIGN 字符（#），剩下的 6 个都是 ASCII 十六进制数， 其中前两个表示红色分量，中间两个表示绿色分量，最后两个表示蓝色分量，均为 16 进制。

合法的小写简单颜色 字符串是 不使用任何 U+0041 LATIN CAPITAL LETTER A 到 U+0046 LATIN CAPITAL LETTER F 字符的 合法的简单颜色。

解析简单色值的规则 由下列算法给出。 被调用时必须依次执行这些步骤，在第一个有返回值的步骤中止。该算法将会返回一个 简单颜色 或者错误。

1. 令input 为待解析字符串。

2. 如果 input 不是恰好 7 个字符则返回一个错误。

3. 如果 input 的首字符不是 U+0023 NUMBER SIGN 字符（#），则返回一个错误。

4. 如果 input 的后面 6 个字符不都是 ASCII 十六进制数字，则返回一个错误。

5. 令result 为一个 简单颜色。

6. 将第2、3个字符解释为 16 进制数，令该结果为 result 的红色分量。

7. 将第4、5个字符解释为 16 进制数，令该结果为 result 的绿色分量。

8. 将第6、7个字符解释为 16 进制数，令该结果为 result 的蓝色分量。

9. 返回 result。

给定 简单颜色 序列化简单色值的规则 在下列算法中给出：

1. 令result 为包含一个 U+0023 NUMBER SIGN 字符（#）的字符串。

2. 将红、绿、蓝分量依次转换为两位 16 进制数字，并使用 ASCII 小写十六进制数字， 需要的话填充零。将这些数字按照红绿蓝的顺序追加到 result。

3. 返回 result，它将是一个 合法的小写简单颜色。

有些废弃的遗留属性以更复杂的方式解析颜色，它们使用 解析遗留色值的规则，由以下算法给出。 被调用时必须依次执行这些步骤，在第一个有返回值的步骤中止。该算法将会返回一个 简单颜色 或者错误。

1. 令input 为待解析字符串。

2. 如果 input 位空字符串则返回一个错误。

3. 从 input 中 移除前后的 ASCII 空白。

4. 如果 input ASCII 大小写不敏感地 匹配 字符串 "transparent"，则返回一个错误。

5. 如果 input ASCII 大小写不敏感地 匹配 命名颜色，则返回该关键字对应的 简单颜色。 [CSSCOLOR]

   没有识别 CSS2 System Colors。

6. 如果 input 是 4 个字符长度，且 input 的第一个字符是 U+0023（#）， 且 input 后面的 3 个字符都是 ASCII 十六进制数字，则：

   1. 令result 为一个 简单颜色。

   2. 将 input 第二个字符解释为十六进制数字；令 result 的红色分量为得到的数字乘以 17。

   3. 将 input 第三个字符解释为十六进制数字；令 result 的绿色分量为得到的数字乘以 17。

   4. 将 input 第四个字符解释为十六进制数字；令 result 的蓝色分量为得到的数字乘以 17。

   5. 返回 result。

7. 将 input 中任何代码点大于 U+FFFF 的字符（即任何不在基本多文种平面的字符）替换为两个字符的字符串 "00"。

8. 如果 input 字符长度大于 128，把 input 截断到只有 128 个字符。

9. 如果 input 中第一个字符是 U+0023 NUMBER SIGN 字符（#），移除它。

10. 将 input 中任何非 ASCII 十六进制数字 的字符替换为 U+0030 DIGIT ZERO（0）。

11. While input 长度为零或者不是 3 的倍数，添加一个 U+0030 DIGIT ZERO （0）字符到 input。

12. 将 input 分割成三个等长字符来获得三个分量。 令length 为这三个分量的长度（input 长度的三分之一）。

13. 如果 length 大于 8，移除每个分量中前面的 length-8 个字符，并且令 length 为 8。

14. While length 大于 2 并且每个分量的第一个字符是 U+0030 DIGIT ZERO （0）字符，移除该字符并将 length 减一。

15. 如果 length 仍然 大于 2，截断每个分量，分别只保留前两个字符。

16. 令result 为一个 简单颜色。

17. 将第一个分量解释为十六进制数字；令 result 的红色分量为得到的数字。

18. 将第二个分量解释为十六进制数字；令 result 的绿色分量为得到的数字。

19. 将第三个分量解释为十六进制数字；令 result 的蓝色分量为得到的数字。

20. 返回 result。

2D 图形上下文 有单独的颜色语法，还处理了不透明度。

2.4.7 空格分隔的令牌

空格分隔的令牌集合 是包含零个或更多词（称为令牌）的字符串，它们以一个或更多 ASCII 空白 分隔， 其中的词是由一个或更多的除 ASCII 空白 之外的字符组成的任何字符串。

包含 空格分隔的令牌集合 的字符串前后都可能有 ASCII 空白。

空格分隔的无序不重复令牌集合 是一个没有令牌重复的 空格分隔的令牌集合。

空格分隔的有序不重复令牌集合 是一个没有令牌重复但令牌顺序有意义的 空格分隔的令牌集合。

空格分隔的令牌集合 有时定义有允许值的集合。 当定义了允许值的集合时，集合中的令牌必须都从那个允许的列表中来；其他值是不合规范的。 如果没有提供允许值的集合，那么所有值都是符合规范的。

在 set of space-separated tokens 中的令牌如何进行比较 （例如是否大小写敏感) 由各自集合定义。

2.4.8 逗号分隔的字符集

逗号分隔的字符集 is a string containing zero or more tokens each separated from the next by a single U+002C COMMA character (,), where tokens consist of any string of zero or more characters, neither beginning nor ending with ASCII whitespace, nor containing any U+002C COMMA characters (,), and optionally surrounded by ASCII whitespace.

是包含零个或多个字符的字符串，它们以一个 U+002C COMMA 字符（,）分隔，其中的字符是由一个或更多的字符组成的任意字符串，首尾不包括 ASCII 空白也不能包含 U+002C COMMA 字符（,），但前后可以有 ASCII 空白。

例如字符串" a ,b,,d d "由四个字符组成："a", "b", 空字符串和 "d d"。每个字符的前后空白不计入字符，空字符串可以是一个字符。

有时逗号分隔的字符集对合法字符的构成还有额外限制。如果定义了那些限制，字符就必须完全遵守；其他值都是不符合规范的。如果没定义其他限制，所有值都是符合规范的。

2.4.9 引用

type 类型的元素的 合法的哈希名引用 字符串由一个 U+0023 NUMBER SIGN 字符（#）和完全匹配 同一个 树 中的 type 元素的 name 属性的字符串构成。

给定上下文节点 scope，解析对 type 类型的元素的哈希名引用的规则 如下：

1. 如果被解析字符串不包含 U+0023 NUMBER SIGN 字符，或者第一个这样的字符是字符串的最后一个字符， 则返回 null 并中止这些步骤。

2. 令s 为从紧接着第一个 U+0023 NUMBER SIGN 字符之后的字符开始，直到待解析字符串结尾的字符串。

3. 返回 scope 的 树 中，按照 树序 的第一个 id 或 name 属性的值是 s 的类型为 type 的元素。如果没有这样的元素就返回 null。

   虽然解析时用到了 id 属性， 但它不用于决定一个值是否是 合法的 哈希名引用。 也就是说，一个基于 id 引用元素的哈希名引用是符合性错误。 （除非那个元素也有一个具有相同值的 name 属性）。

2.4.10 媒体查询

合法的媒体查询列表 是一个匹配 Media Queries 标准中的 <media-query-list> 生成式的字符串。[MQ]

匹配用户环境 的字符串可以是空字符串、只包含 ASCII 空白 的字符串， 或者根据 Media Queries 标准给出的定义匹配用户环境的媒体查询列表。[MQ]

2.5 URL

2.5.1 术语

一个字符串如果是合法 URL 字符串，同时是非空字符串， 那么它就是 合法的非空 URL。

如果 去掉前后 ASCII 空白 后是一个 合法 URL 字符串， 那么它就是一个 可能由空格包裹的合法 URL。

如果 去掉前后 ASCII 空白 后是一个 合法的非空 URL， 那么它就是一个 可能由空格包裹的合法的非空 URL。

本标准将 about:legacy-compat 定义为保留 URL。 因为 about: URL 不可解析，当需要兼容 XML 工具时， 用在 HTML 文档 的 DOCTYPE 中。[ABOUT]

本标准将 about:html-kind 定义为保留 URL。 因为 about: URL 不可解析，可用于媒体轨道的类型标识。[ABOUT]

本标准将 about:srcdoc 定义为保留 URL。 因为 about: URL 不可解析， 被用于 iframe srcdoc 文档 的 URL [ABOUT]

Document 对象 document 的 后备基 URL 是通过执行这些步骤获得的 URL 记录：

1. 如果 document 是 iframe srcdoc 文档， 则返回 document 的 浏览环境 的 容器文档 的 文档基 URL。

2. 如果 document 的 URL 为 about:blank， 且 document 的 浏览环境 的 创建者的 base URL 是非空，那么返回该 创建者的 base URL。

3. 返回 document 的 URL。

Document 对象的 文档基 URL 是通过执行这些步骤获得的 绝对 URL：

1. 如果 Document 中不存在拥有 href 属性的 base 元素，那么 文档基 URL 为 Document 的 后备基 URL；中止这些步骤。

2. 否则，文档基 URL 为 Document 中按照 树序 的 第一个有 href 属性的 base 元素的 冻结的基 URL。

2.5.2 解析 URL

解析 URL 是从字符串中获取它表示的 URL 记录 的过程。 虽然这一过程定义在 WHATWG URL 标准中，但方便起见 HTML 标准也定义了一个包装过的版本。 [URL]

这一包装只用于出于历史原因当 URL 解析器的字符编码必须匹配文档或环境设置对象时。 除此之外可以直接使用 URL 解析器。

相对于一个 document 或 environment settings object 解析 URL url， 用户代理必须使用下列步骤。 解析 URL 的结果可能是失败，也可能是 结果 URL 字符串 和 结果 URL 记录。

1. 如果指定了 document， 令 encoding 为 document 的 字符编码， 否则令它为 environment settings object 的 API URL 字符编码。

2. 如果指定了 document， 令 baseURL 为 document 的 基 URL， 否则令它为 environment settings object 的 API 基 URL。

3. 令 urlRecord 为 使用 baseURL 和 encoding，在 url 上应用 URL 解析器 的结果。

4. 如果 urlRecord 解析失败，中止这些步骤并产生一个错误。

5. 令urlString 为在 urlRecord 上应用 URL 序列化 的结果。

6. 将 urlString 作为 结果 URL 字符串， urlRecord 作为 结果 URL 记录 返回。

2.5.3 基 URL 的动态变化

当一个文档的 文档基 URL 变化时，该文档中所有元素多 受基 URL 变化的影响。

当一个元素 受基 URL 变化影响 时执行下面的 基 URL 变化步骤（定义在 DOM 标准中）：

如果该元素创建了 超链接

如果该超链接标识的 URL 正在展现给用户， 或任何从该 URL 来的数据正在影响显示，那么应该相对于该元素的 节点文档 重新解析 href 属性并适当地更新 UI。

例如 CSS :link/:visited 伪类 可能不受影响。

如果该超链接有 ping 属性 且它的 URL 正在展现给用户，那么应该相对于该元素的 节点文档 重新解析 ping 属性的令牌并适当地更新 UI。

如果该属性是有 cite 属性的 q，blockquote， ins，或 del 元素

如果 cite 属性标识的 URL 正在展现给用户， 或任何从该 URL 来的数据正在影响显示，那么应该相对于该元素的 节点文档 重新解析 href 属性并适当地更新 UI。

否则

该元素不直接受影响。

例如更改基 URL 不影响 img 元素显示的图片， 尽管脚本中后续对 src IDL 属性的访问将返回新的 绝对 URL，可能不再对应于正在显示的图片。

2.6 获取资源

2.6.1 术语

类型 为 "basic"， "cors"，或 "default" 的 响应 称为 CORS-same-origin。 [FETCH]

类型 为 "opaque" 或 "opaqueredirect" 的 响应 称为 CORS-cross-origin。

响应 的 不安全响应 是它的 内部响应（如果有的话），否则就是 响应 自己。

给定 url，destination， corsAttributeState，以及可能有的 same-origin fallback 标志， 创建一个可能 CORS 的请求 应该执行以下步骤：

1. 如果 corsAttributeState 是 No CORS， 令 mode 为 "no-cors" ，否则令 mode 为 "cors"。

2. 如果设置了 same-origin fallback 标志 且 mode 为 "no-cors"，则将 mode 设置为 "same-origin"。

3. 令 credentialsMode 为 "include"。

4. 如果 corsAttributeState 为 Anonymous， 将 credentialsMode 设为 "same-origin"。

5. 令 request 为一个新的 request， 其 url 为 url， 目标地址 为 destination， 模式 为 mode， credentials 模式 为 credentialsMode， 且设置了 use-URL-credentials 标志。

2.6.2 确定响应类型

必须获取响应的 Content-Type 元数据 并按照 WHATWG MIME Sniffing 标准的要求解释。[MIMESNIFF]

必须按照 WHATWG MIME Sniffing 标准的要求找到资源的 计算后的 MIME 类型。 [MIMESNIFF]

嗅探图片 Content-Type 的规则， 区分资源是文本还是二进制的规则，以及 嗅探音频和视频的规则 也定义在 WHATWG MIME Sniffing 标准中。 这些规则返回的结果是一个 MIME 类型。 [MIMESNIFF]

WHATWG MIME Sniffing 标准中的规则必须严格遵守。 当用户代理使用与服务器所期望的内容类型检测不同的启发式方法时，可能会发生安全问题。 有关更多详细信息，请参阅 WHATWG MIME Sniffing 标准。 [MIMESNIFF]

2.6.3 从 meta 元素提取字符编码

给定字符串 s， 从一个 meta 元素提起字符编码的算法 如下。 它或者返回一个字符编码，或者什么都不返回。

1. 令 position 为 s 中的指针初始指向字符串开始。

2. Loop：在 s 中找到 position 后面 ASCII 大小写不敏感地 匹配 "charset" 的前 7 个字符。 如果没有找到这样的匹配，什么都不返回并中止这些步骤。

3. 跳过所有紧接着 "charset" 后面的 ASCII 空白（也可能没有）。

4. 如果下一个字符不是 U+003D EQUALS SIGN （=），让 position 指向下一个字符之前， 跳回到标记为 loop 的步骤。

5. 跳过所有紧接着等号后面的 ASCII 空白（也可能没有）。

6. 处理下一个字符：

   如果它是一个 U+0022 QUOTATION MARK 字符（"）且 s 中后面还有一个 U+0022 QUOTATION MARK 字符 （"）

   如果它是一个 U+0027 APOSTROPHE 字符 （'）且 s 中后面还有一个 U+0027 APOSTROPHE 字符 （'）

   返回从当前字符到当前字符的下一次出现的子字符串 获取编码 的结果。

   如果它是一个没有闭合的 U+0022 QUOTATION MARK 字符 （"）

   如果它是一个没有闭合的 U+0027 APOSTROPHE 字符 （'）

   如果没有下一个字符

   什么都不返回。

   否则

   返回从当前字符到（不包含）第一个 ASCII 空白 或 U+003B SEMICOLON 字符（;） 或 s 的末尾（取决于哪一个先出现） 构成的子字符串中 获取编码 的结果。

该算法与 HTTP 规范中的算法不同 （例如，HTTP 不允许使用单引号，并且需要支持该算法不支持的反斜线转义机制）。 虽然在历史上本算法用于 HTTP 相关的上下文，但不同的实现支持的语法前段时间就不一样了。[HTTP]

2.6.4 CORS 设置属性

CORS 设置属性 是一个 枚举属性。下表列出了关键字以及属性状态 — 每行中第一列给出了那一行的关键字映射到的状态。

属性的 非法值默认 是 Anonymous 状态，它的 缺失值默认 是 No CORS 状态。 用于 反射 时， Anonymous 状态的 标准关键字 为 anonymous。

CORS 设置属性 控制的多数请求都是通过 创建一个可能 CORS 的请求 算法来完成的。

对于更先进的特行，比如请求的 mode 总是 "cors"， 某些 CORS 设置属性 用于其他语义， 不过还是只对 请求 的 credentials 模式 起作用。 为了执行这个转换，定义了 CORS 设置属性 credentials 模式 来通过属性状态确定 CORS 设置属性：

No CORS

Anonymous

"same-origin"

Use Credentials

"include"

2.6.5 引荐来源策略属性

引荐来源策略属性 是一个 枚举属性。 每个 引荐来源策略包括空字符串都是该属性的关键字， 都映射到一个同名的状态。

该属性的 非法值的默认 和 缺失值的默认 都是空字符串状态。

这些状态对各种 获取 处理模型的影响详细地定义在 本标准中，WHATWG Fetch 标准中，以及 Referrer Policy 中。 [FETCH] [REFERRERPOLICY]

2.6.6 Nonce attributes

A nonce content attribute represents a cryptographic nonce ("number used once") which can be used by Content Security Policy to determine whether or not a given fetch will be allowed to proceed. The value is text. [CSP]

Elements that have a nonce content attribute ensure that the crytographic nonce is only exposed to script (and not to side-channels like CSS attribute selectors) by taking the value from the content attribute, moving it into an internal slot named [[CryptographicNonce]], exposing it to script via the HTMLOrSVGElement interface mixin, and setting the content attribute to the empty string. Unless otherwise specified, the slot's value is the empty string.

element . nonce

Returns the value of the element's [[CryptographicNonce]] internal slot.

Can be set, to update that slot's value.

The nonce IDL attribute must, on getting, return the value of this element's [[CryptographicNonce]]; and on setting, set this element's [[CryptographicNonce]] to the given value.

Note how the setter for the nonce IDL attribute does not update the corresponding content attribute. This, as well as the below setting of the nonce content attribute to the empty string when an element becomes browsing-context connected, is meant to prevent exfiltration of the nonce value through mechanisms that can easily read content attributes, such as selectors. Learn more in issue #2369, where this behavior was introduced.

The following attribute change steps are used for the nonce content attribute:

1. If element does not include HTMLOrSVGElement, then return.

2. If localName is not nonce or namespace is not null, then return.

3. If value is null, then set element's [[CryptographicNonce]] to the empty string.

4. Otherwise, set element's [[CryptographicNonce]] to value.

Whenever an element including HTMLOrSVGElement becomes browsing-context connected, the user agent must execute the following steps on the element:

1. Let CSP list be element's shadow-including root's CSP list.

2. If CSP list contains a header-delivered Content Security Policy, and element has a nonce content attribute attr whose value is not the empty string, then:

   1. Let nonce be element's [[CryptographicNonce]].

   2. Set an attribute value for element using "nonce" and the empty string.

   3. Set element's [[CryptographicNonce]] to nonce.

   If element's [[CryptographicNonce]] were not restored it would be the empty string at this point.

As each Document's CSP list is append-only, user agents can optimize away the contains a header-delivered Content Security Policy check by, for example, holding a flag on the Document, set during Document creation and initialization.

The cloning steps for elements that include HTMLOrSVGElement must set the [[CryptographicNonce]] slot on the copy to the value of the slot on the element being cloned.

2.6.7 Lazy loading attributes

A lazy loading attribute is an enumerated attribute. The following table lists the keywords and states for the attribute — the keywords in the left column map to the states in the cell in the second column on the same row as the keyword.

The attribute directs the user agent to fetch a resource immediately or to defer fetching until some conditions associated with the element are met, according to the attribute's current state.

The attribute's missing value default and invalid value default are both the Eager state.

The will lazy load element steps, given an element element, are as follows:

1. If scripting is disabled for element, then return false.

   This is an anti-tracking measure, because if a user agent supported lazy loading when scripting is disabled, it would still be possible for a site to track a user's approximate scroll position throughout a session, by strategically placing images in a page's markup such that a server can track how many images are requested and when.

2. If element's lazy loading attribute is in the Lazy state, then return true.

3. Return false.

Each img and iframe element has associated lazy load resumption steps, initially null.

For img and iframe elements that will lazy load, these steps are run from the lazy load intersection observer's callback or when their lazy loading attribute is set to the Eager state. This causes the element to continue loading.

Each Document has a lazy load intersection observer, initially set to null but can be set to an IntersectionObserver instance.

To start intersection-observing a lazy loading element element, run these steps:

1. Let doc be element's node document.

2. If doc's lazy load intersection observer is null, set it to a new IntersectionObserver instance, initialized as follows:

   The intention is to use the original value of the IntersectionObserver constructor. However, we're forced to use the JavaScript-exposed constructor in this specification, until Intersection Observer exposes low-level hooks for use in specifications. See bug w3c/IntersectionObserver#427 which tracks this. [INTERSECTIONOBSERVER]

   • The callback is these steps, with arguments entries and observer:

     1. For each entry in entries using a method of iteration which does not trigger developer-modifiable array accessors or iteration hooks:

        1. Let resumptionSteps be null.

        2. If entry.isIntersecting is true, then set resumptionSteps to entry.target's lazy load resumption steps.

        3. If resumptionSteps is null, then return.

        4. Stop intersection-observing a lazy loading element for entry.target.

        5. Set entry.target's lazy load resumption steps to null.

        6. Invoke resumptionSteps.

        The intention is to use the original value of the isIntersecting and target getters. See w3c/IntersectionObserver#427. [INTERSECTIONOBSERVER]

   • The options is an IntersectionObserverInit dictionary with the following dictionary members: «[ "rootMargin" → lazy load root margin ]»

     This allows for fetching the image during scrolling, when it does not yet — but is about to — intersect the viewport.

     The lazy load root margin suggestions imply dynamic changes to the value, but the IntersectionObserver API does not support changing the root margin. See issue w3c/IntersectionObserver#428.

3. Call doc's lazy load intersection observer's observe method with element as the argument.

   The intention is to use the original value of the observe method. See w3c/IntersectionObserver#427. [INTERSECTIONOBSERVER]

To stop intersection-observing a lazy loading element element, run these steps:

1. Let doc be element's node document.

2. Assert: doc's lazy load intersection observer is not null.

3. Call doc's lazy load intersection observer unobserve method with element as the argument.

   The intention is to use the original value of the unobserve method. See w3c/IntersectionObserver#427. [INTERSECTIONOBSERVER]

The lazy load root margin is an implementation-defined value, but with the following suggestions to consider:

• Set a minimum value that most often results in the resources being loaded before they intersect the viewport under normal usage patterns for the given device.

• The typical scrolling speed: increase the value for devices with faster typical scrolling speeds.

• The current scrolling speed or momentum: the UA can attempt to predict where the scrolling will likely stop, and adjust the value accordingly.

• The network quality: increase the value for slow or high-latency connections.

• User preferences can influence the value.

It is important for privacy that the lazy load root margin not leak additional information. For example, the typical scrolling speed on the current device could be imprecise so as to not introduce a new fingerprinting vector.

2.7 通用 DOM 接口

2.7.1 在 IDL 属性中反映内容属性

定义有些 IDL 属性是为了 反映 特定的内容属性。 这意味着在获取 IDL 属性时返回的是内容属性的当前值， 在设置 IDL 属性时将内容属性更改为给定的值。

通常，当获取 IDL 属性时如果内容属性不存在，IDL 属性必须表现为该内容属性的值为空字符串； 当设置时，如果内容属性的值不存在，则必须首先添加它。

如果反映内容属性的 IDL 属性是USVString属性， 且它的内容属性定义为包含一个 URL。那么在获取时如果内容属性不存在，那么 IDL 属性必须返回空字符串。 否则，IDL 属性必须相对于元素的节点文档 解析内容属性的值，如果解析成功则返回 结果 URL 字符串。 如果解析失败，则必须将内容属性的值转换 为 USVString 并返回。 在设置时，必须设置内容属性的值为新值。

如果反映内容属性的 IDL 属性是 DOMString属性， 且它的内容属性是 枚举属性， 且该 IDL 属性 只限于已知的一些值， 那么当获取时必须返回与属性所处状态关联的关键字值（如果有的话），或者空字符串 （如果没有关联的关键字值，或属性不在任何已定义的状态。比如属性缺失且没有 缺失默认值）。 该状态有如果有多个关键字值，则返回匹配的那个。 如果有多个匹配的关键字值，则指定一个作为 标准关键字 并选择它。 在设置时，内容属性必须设置为指定的新值。

如果反映内容属性的 IDL 属性是可为空的 DOMString 属性， 且它的内容属性是一个 枚举属性，那么当获取时， 如果对应的内容属性在 缺失默认值 状态，则 IDL 属性必须返回 null； 否则 IDL 属性必须返回属性所属状态对应的关键字值。如果有多个关键字值，返回匹配的那个。 如果有多个匹配的 If there are multiple conforming keyword values, then one will be 如果有多个匹配的关键字值，则指定一个作为 标准关键字 并选择它。 在设置时，如果新值为 null 则内容属性必须被移除；否则内容属性必须设置为指定的新值。

如果反映内容属性的 IDL 属性是 DOMString 或 USVString 属性但不归于上述类别中， 那么获取和设置必须透明地，保持大小写地进行。

如果反映内容属性的 IDL 属性是 布尔 属性， 当获取该 IDL 属性时，如果设置了该内容属性则必须返回 true， 如果不存在则返回 false。当设置时，如果该 IDL 属性被设为 false 则必须移除该内容属性。 如果该 IDL 属性被设为 true 则必须将内容属性设为空字符串。 （这与布尔内容属性的规则对应。）

如果反映内容属性的 IDL 属性是有符号整数类型 （long）， 那么当获取时，必须根据解析有符号整数的规则 解析内容属性，如果解析成功且值在该 IDL 属性的类型的取值范围内，则必须返回结果值。 如果解析失败或返回了范围外的值，或者该属性不存在，则必须返回默认值，如果没有默认值则返回0。 当设置时，必须将给定的值转换为可以将该数字表示为合法整数 的可能的最短字符串，然后该字符串必须被用作新的内容属性值。

如果反映内容属性的 IDL 属性是有符号整数类型 （long） 且 仅限为非负数字，那么当获取时， 该内容属性必须根据解析非负整数的规则 解析，如果解析成功且值在该 IDL 属性类型的取值范围内，必须返回结果值。 如果解析失败或返回了范围外的值，或者该属性不存在，则必须返回默认值， 如果没有默认值则返回 −1。 当设置时，如果值为负用户代理必须抛出 "IndexSizeError" DOMException。 否则必须将给定的值转换为可以将该数字表示为 合法非负整数 的可能的最短字符串， 然后该字符串必须被用作新的内容属性值。

如果反映内容属性的 IDL 属性是 无符号 整数类型 （unsigned long） ，那么当获取时，必须根据 解析非负整数的规则 解析内容属性，如果解析成功且值在 0 到 2147483647 范围内（含）， 必须返回结果值。 如果解析失败或返回了范围外的值，或者该属性不存在，必须返回默认值， 如果没有默认值则返回 0。当设置时，如果新值处于 0 到 2147483647 范围内， 则令 n 为这个新值，否则令n 为默认值（如果没有默认值则为0）； 然后必须将 n 转换为可将该数字表示为 合法非负整数 的可能的最短字符串，然后该字符串必须被用作新的内容属性值。

如果反映内容属性的 IDL 属性是无符号整数类型（unsigned long） 且 仅限于大于零的非负整数 ，那么行为与上一种情形类似，但零是不允许的。 当获取时，首先必须根据 解析非负整数的规则 解析内容属性， 如果解析成功且值在 1 到 2147483647 范围内（含），则必须返回结果值。 如果解析失败或返回了范围外的值，或者该属性不存在， 则必须返回默认值（没有默认值则为1）。 当设置时，如果值为0，用户代理必须抛出 "IndexSizeError" DOMException。否则， 如果新值在 1 到 2147483647 范围内，那么令 n 为这个新值。 否则令 n 为默认值（ 如果没有默认值则为 1）； 然后必须将n 转换为可将该数字表示为 合法非负整数 的可能的最短字符串，然后该字符串必须被用作新的内容属性值。

如果反映内容属性的 IDL 属性是无符号整数类型（unsigned long） 且 仅限于有fallback 的大于0的非负整数，则行为与前一种情形类似，但不允许的值将被转换为默认值。 当获取时， 首先必须根据解析非负整数的规则 解析内容属性，如果解析成功且值在 1 到 2147483647 范围内（含），则必须返回结果值。 如果解析失败或返回了范围外的值，或者该属性不存在，则必须返回默认值。 当设置时，如果新值在 1 到 2147483647 范围内，则令 n 为这个新值， 否则令 n 为默认值；然后必须将 n 转换为可将该数字表示为 合法非负整数 的可能的最短字符串，然后该字符串必须被用作新的内容属性值。

如果反映内容属性的 IDL 属性是固定范围 到 [min, max] 的无符号整数类型（unsigned long）， 当获取时，必须先根据 解析非负整数的规则 解析内容属性，如果解析成功且值在 min 和 max 之间（包含）， 必须返回该结果值。如果失败，必须返回默认值。如果解析成功但值小于 min，必须返回 min。 如果解析成功但值大于 max，必须返回 max。当设置时，其行为与设置普通无符号整数一样。

如果反映内容属性的 IDL 属性是浮点数类型（double 或 unrestricted double），那么当获取时， 必须根据 解析浮点数值的规则 解析内容属性，如果解析成功则必须返回结果值。 如果解析失败或该属性不存在，则必须返回默认值（如果没有默认值则为0）。 当设置时， 必须将给定的值转换为 浮点数的最佳表示，然后该字符串必须被用作新的内容属性值。

如果反映内容属性的 IDL 属性是浮点数类型（double 或 unrestricted double）且 仅限于大于零的数字，那么行为与上一种情形类似但不允许零和负值。当获取时，必须根据 解析浮点数值的规则解析内容属性，如果解析成功且值大于 0.0，则必须返回结果值。 否则如果解析失败或返回了范围外的值，或者该属性不存在，则必须返回默认值（如果没有默认值则为0）。 当设置时，如果新值小于等于0，那么必须忽略该值。 否则，必须将给定的值转换为 浮点数的最佳表示，然后该字符串必须被用作新的内容属性值。

当设置 Infinity 和 Not-a-Number （NaN）这些值时会抛出异常。 定义在 Web IDL 中。 [WEBIDL]

如果反映内容属性的 IDL 属性的类型为 DOMTokenList，那么当获取时， 必须返回 DOMTokenList 对象，与它关联的元素为被查询的元素， 与它关联的属性的本地名称为被查询的属性名。

如果反映内容属性的 IDL 属性为 HTMLElement 类型， 或者依赖于 HTMLElement 的接口，那么当获取时， 它必须运行下列算法（在第一个返回值的地方停机）：