XSLT 2.0 中模式的使用与类型注解管理
1. XSLT 2.0 模式感知概述
XSLT 2.0 相较于 XSLT 1.0 的一个重大变化是引入了模式感知功能。在 XSLT 1.0 中，对 XML 文档的访问主要局限于格式良好的 XML 文档所提供的信息，即文档中实际存在的元素、属性及其排列方式。而在 XSLT 2.0 中，这些信息可以通过模式中的信息进行补充，包括默认和固定的元素与属性，以及每个节点的类型。
1.1 模式与类型注解
模式用于定义标记语言，规定了元素和属性的使用位置以及它们所能包含的文本类型。常见的模式语言有：
- DTDs：XML 内置的模式语言。
- XML Schema：W3C 官方的模式语言。
- RELAX NG：最初来自 OASIS，现为 ISO 标准的模式语言。
- Schematron：一种非常灵活的基于规则的模式语言，也是 ISO 标准。
从概念上讲，对于 XSLT 2.0 而言，模式包含以下三种重要信息：
- 元素声明：指定特定上下文中特定名称元素的预期类型，以及元素所属的替换组。
- 属性声明：指定特定上下文中特定名称属性的预期类型。
- 类型定义：定义元素或属性允许的内容，并在类型层次结构中与其他类型相关联。
模式的主要作用是对 XML 文档进行验证。验证过程会检查 XML 文档是否遵循标记语言的规则，若文档存在有效性错误，则会列出错误列表；若文档有效，则验证成功。当处理器验证特定元素或属性时，会在模式中找到相应的声明，并检查元素或属性的内容是否符合声明的类型。若符合，该元素或属性节点将被赋予类型注解，即标记其验证所依据的类
