如何在XSD中实现多元素的值组合约束？

你需要的是对XML元素间的组合值进行约束，这类需求在XSD 1.0里确实无法直接实现，但XSD 1.1提供了完美的解决方案；如果必须兼容旧版XSD 1.0，也有一些变通方法（虽然灵活性有限）。下面分两种情况详细说明：

方案一：使用XSD 1.1的断言（推荐） #

XSD 1.1引入了<xs:assert>元素，允许你用XPath表达式定义跨元素的约束规则，这是解决这类问题最直接、优雅的方式。

修改后的XSD代码 #

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
           xmlns:vc="http://www.w3.org/2007/XMLSchema-versioning"
           vc:minVersion="1.1">

  <xs:simpleType name="CTKOD_EONE">
    <xs:restriction base="xs:string">
      <xs:enumeration value="1" />
      <xs:enumeration value="2" />
      <xs:enumeration value="3" />
      <xs:enumeration value="4" />
    </xs:restriction>
  </xs:simpleType>

  <xs:simpleType name="CTKOD_ETWO">
    <xs:restriction base="xs:string">
      <xs:enumeration value="A" />
      <xs:enumeration value="B" />
      <xs:enumeration value="C" />
      <xs:enumeration value="D" />
    </xs:restriction>
  </xs:simpleType>

  <xs:element name="DATA" minOccurs="0" maxOccurs="unbounded">
    <xs:complexType>
      <xs:all>
        <xs:element name="EONE" type="CTKOD_EONE"/>
        <xs:element name="ETWO" type="CTKOD_ETWO"/>
      </xs:all>
      <!-- 方式1：排除无效组合（适合无效组合少的场景） -->
      <xs:assert test="not(EONE='3' and ETWO='B')"/>
      
      <!-- 方式2：明确列出所有有效组合（更严谨，适合有效组合少的场景） -->
      <!-- <xs:assert test="(EONE='1' and ETWO='C') or 
                          (EONE='4' and ETWO='D') or 
                          (EONE='2' and ETWO='A')"/> -->
    </xs:complexType>
  </xs:element>

</xs:schema>

关键说明 #

1. 首先要通过vc:minVersion="1.1"声明使用XSD 1.1规范；
2. <xs:assert>中的XPath表达式会针对每个<DATA>元素进行校验：
   • 方式1直接排除你指定的无效组合（3和B）；
   • 方式2明确枚举所有允许的组合，避免遗漏其他潜在无效组合；
3. 目前主流XML解析工具（如Saxon、Xerces2）都支持XSD 1.1，如果你使用的工具链兼容，优先选这个方案。

方案二：XSD 1.0的变通方案（兼容旧工具） #

XSD 1.0不支持跨元素的断言，所以只能通过重新设计XML结构来枚举所有有效组合，代价是XML的格式会发生变化。

修改后的XSD代码 #

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">

  <!-- 为每个有效组合定义独立的complexType -->
  <xs:complexType name="ValidCombination_1_C">
    <xs:all>
      <xs:element name="EONE" type="xs:string" fixed="1"/>
      <xs:element name="ETWO" type="xs:string" fixed="C"/>
    </xs:all>
  </xs:complexType>

  <xs:complexType name="ValidCombination_2_A">
    <xs:all>
      <xs:element name="EONE" type="xs:string" fixed="2"/>
      <xs:element name="ETWO" type="xs:string" fixed="A"/>
    </xs:all>
  </xs:complexType>

  <xs:complexType name="ValidCombination_4_D">
    <xs:all>
      <xs:element name="EONE" type="xs:string" fixed="4"/>
      <xs:element name="ETWO" type="xs:string" fixed="D"/>
    </xs:all>
  </xs:complexType>

  <!-- DATA元素只能选择这些预定义的有效组合 -->
  <xs:element name="DATA" minOccurs="0" maxOccurs="unbounded">
    <xs:complexType>
      <xs:choice>
        <xs:element name="ValidPair" type="ValidCombination_1_C"/>
        <xs:element name="ValidPair" type="ValidCombination_2_A"/>
        <xs:element name="ValidPair" type="ValidCombination_4_D"/>
      </xs:choice>
    </xs:complexType>
  </xs:element>

</xs:schema>

对应的XML示例 #

<DATA>
  <ValidPair>
    <EONE>1</EONE>
    <ETWO>C</ETWO>
  </ValidPair>
</DATA>
<DATA>
  <ValidPair>
    <EONE>4</EONE>
    <ETWO>D</ETWO>
  </ValidPair>
</DATA>

注意点 #

• 这种方案需要改变原XML的结构，会增加维护成本（每新增一个有效组合都要修改XSD）；
• 如果你无法修改XML格式，XSD 1.0没有完美的解决方案，可能需要结合其他校验工具（比如Schematron）来补充约束。

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