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