substitutionGroup 是 XSD 中实现元素可替代关系的机制，由 abstract 头部元素和 substitutionGroup 引用的成员元素构成，成员可在 XML 实例中直接替换头部元素位置，需类型兼容、同命名空间，仅适用于元素且不支持跨命名空间或属性。
substitutionGroup 是 XSD（XML Schema Definition）中用于定义元素间“可替代关系”的机制，它允许一个元素在 XML 实例文档中**直接代替另一个元素出现**，而无需修改 Schema 结构或使用 xsi:type 等扩展手段。
substitutionGroup 的基本结构
它由两个核心部分组成：
-
head element（头部元素）：被声明为 substitutionGroup 的“代表”，通常设为
abstract="true"，表示它本身不能直接出现在 XML 中，只作为占位符； -
member elements（成员元素）：通过
substitutionGroup="headElementName"显式声明自己可替代该头部元素。
例如：
此时 <person></person> 不能直接写在 XML 里，但 <student></student> 或 <teacher></teacher> 都可以合法出现在原本要求 <person></person> 的位置。
Miller CSV TSV JSON 数据处理器
下载
Miller (mlr) 是一个命令行工具，用于查询、整形和重新格式化名称索引数据，如 CSV、TSV、JSON 和 JSON Lines。它将 awk、sed、cut、join 和 sort 的功能整合到一个专为结构化数据处理而构建的单一工具中。
它如何实现可替代性？
可替代性不是靠运行时动态判断，而是由 Schema 解析器在验证阶段静态检查的。关键规则包括：
- 成员元素的类型必须与头部元素兼容（相同类型、派生类型，或符合 substitution group 的类型约束）；
- 成员元素和头部元素必须在同一个目标命名空间下（或都无命名空间）；
- 替换只发生在 XML 实例的**元素标签层级**，不改变内容模型或上下文约束；
- 如果头部元素出现在某复杂类型的内容模型中（如
<sequence></sequence>），那么任一成员元素都可原位代入。
典型应用场景
这种机制常用于建模具有共同语义角色、但具体类型不同的元素，比如：
- 统一的消息体：用
<message></message>作 head，<error></error>、<warning></warning>、<info></info>作成员； - 领域中的“参与者”抽象：如
<actor></actor>抽象，被<user></user>、<system></system>、<device></device>替代； - 插件式 XML 设计：主 Schema 定义扩展点（abstract 元素），第三方通过声明 substitutionGroup 接入自定义元素。
注意事项与限制
substitutionGroup 不是继承也不是多态，它有明确边界：
- 不能跨命名空间引用头部元素（除非使用
xmlns正确声明）； - 不能对属性使用 substitutionGroup（仅适用于元素）；
- 头部元素一旦设为 abstract，就不能再被实例化；
- W3C 规范未强制要求处理器支持无限嵌套 substitution，实际工具（如 Xerces、.NET XmlSchema）一般只支持单层。
基本上就这些。它本质是一种轻量级的“接口式”元素抽象，让 XML 结构保有扩展性，又不牺牲验证的确定性。
