如何在XML Schema的choice标签内跳过单个标签的子元素验证？

问题描述 #

我想要定义一个大致如下的XML Schema：

<xs:element name="root">
  <xs:complexType>
    <xs:sequence>
      <xs:element name="baz" />
      <xs:choice>
        <xs:element name="foo" minOccurs="1" />
        <xs:element name="bar" minOccurs="1"/>
      </xs:choice>
      <xs:element name="bam" />
    </xs:sequence>
  </xs:complexType>
</xs:element>

这个结构是包含choice元素的序列，choice前后都有必填元素。我希望验证XML实例时实现以下逻辑：

• 若选择<foo>元素，则按其对应的XSD验证其子元素；
• 若选择<bar>元素，则忽略其子元素，仅继续验证序列后续内容（比如检测到<bar>后，仅检查后续是否存在<bam>元素，忽略<bar>的子内容）；
• 同时强制choice规则：此处只能存在<foo>或<bar>之一，不能同时存在。

原因是我在自定义应用中验证XML文件，仅拥有<foo>的XSD文件，没有<bar>的XSD，因此希望验证所有可验证内容，忽略无法验证的部分。请问能否在Schema中添加配置，使验证器遵守choice规则，但仅验证选中元素中的一个？

解决方案 #

当然可以实现这个需求，给你两个实用的方案，其中第一个兼容性最好，足够覆盖你的场景：

方案1：为<bar>定义宽松的complexType #

你可以给<bar>元素定义一个允许任意内容的complexType，这样验证器会完全忽略它的子元素和属性，同时依然严格遵守choice的互斥规则，正常验证<foo>和序列里的其他必填元素。

修改后的Schema代码如下：

<xs:element name="root">
  <xs:complexType>
    <xs:sequence>
      <xs:element name="baz" />
      <xs:choice>
        <!-- 保持foo原有验证逻辑，关联到你已有的XSD定义即可 -->
        <xs:element name="foo" minOccurs="1" />
        <!-- 给bar定义宽松结构，跳过所有内容验证 -->
        <xs:element name="bar" minOccurs="1">
          <xs:complexType>
            <xs:sequence>
              <xs:any processContents="skip" minOccurs="0" maxOccurs="unbounded"/>
            </xs:sequence>
            <xs:anyAttribute processContents="skip"/>
          </xs:complexType>
        </xs:element>
      </xs:choice>
      <xs:element name="bam" />
    </xs:sequence>
  </xs:complexType>
</xs:element>

这里的核心是processContents="skip"属性：

• 对<xs:any>来说，它告诉验证器完全跳过该位置的所有内容，不做任何验证；
• 对<xs:anyAttribute>来说，会忽略<bar>上的所有属性。

这样既保证了choice的互斥性（只能选foo或bar，不能同时出现），又能正常验证foo的完整结构，同时跳过bar的所有内容，继续验证后续的<bam>元素，完全符合你的需求。

方案2：使用XSD 1.1的条件验证（进阶选项） #

如果你的验证器支持XSD 1.1（比如Saxon、Xerces2这类主流工具），可以用条件类型分配实现更精细的控制，不过对你的需求来说，方案1已经足够简单直接，兼容性也更好（毕竟XSD 1.0还是目前应用最广泛的版本）。

要是你之后需要更灵活的逻辑，比如根据元素存在与否切换验证规则，XSD 1.1的xs:assert或者xs:alternative可以满足，但现阶段方案1是最优解。

注意事项 #

• 几乎所有主流XML验证器都支持xs:any的processContents属性，包括XSD 1.0环境，不用太担心兼容性；
• minOccurs="0"保证了空的<bar>（没有子元素）也能正常通过验证；
• 这个方案完全遵守你要求的所有规则：互斥的choice、验证foo、忽略bar内容、正常验证baz和bam。

内容的提问来源于stack exchange，提问作者Sean Murphy