XSD 1.0下如何实现Manufacturer为APPLE时LocationCode非空约束？

XSD 1.0没有XSD 1.1的xs:assert这类直接的条件断言能力，但可以通过定义互斥的内容模型分支来实现你要的关联验证逻辑——把「Manufacturer为APPLE」和「Manufacturer为其他值」作为两种互斥的结构分支，强制XML实例匹配其中一种，从而间接实现条件约束。

具体实现代码 #

假设你的XML根元素为Item（包含Manufacturer和LocationCode两个同级元素），对应的XSD如下：

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
  <!-- 定义仅允许"APPLE"的厂商类型 -->
  <xs:simpleType name="AppleManufacturerType">
    <xs:restriction base="xs:string">
      <xs:enumeration value="APPLE"/>
    </xs:restriction>
  </xs:simpleType>

  <!-- 定义排除"APPLE"的厂商类型 -->
  <xs:simpleType name="NonAppleManufacturerType">
    <xs:restriction base="xs:string">
      <xs:pattern value="(?!APPLE).*"/>
    </xs:restriction>
  </xs:simpleType>

  <!-- 定义非空的LocationCode类型 -->
  <xs:simpleType name="NonEmptyLocationCodeType">
    <xs:restriction base="xs:string">
      <xs:minLength value="1"/>
    </xs:restriction>
  </xs:simpleType>

  <!-- 根元素：二选一匹配两种场景 -->
  <xs:element name="Item">
    <xs:complexType>
      <xs:choice>
        <!-- 场景1：厂商为APPLE，LocationCode必须非空 -->
        <xs:sequence>
          <xs:element name="Manufacturer" type="AppleManufacturerType"/>
          <xs:element name="LocationCode" type="NonEmptyLocationCodeType"/>
        </xs:sequence>
        <!-- 场景2：厂商非APPLE，LocationCode允许为空 -->
        <xs:sequence>
          <xs:element name="Manufacturer" type="NonAppleManufacturerType"/>
          <xs:element name="LocationCode" type="xs:string"/>
        </xs:sequence>
      </xs:choice>
    </xs:complexType>
  </xs:element>
</xs:schema>

符合规则的XML实例 #

场景1（APPLE厂商+非空LocationCode） #

<Item>
  <Manufacturer>APPLE</Manufacturer>
  <LocationCode>232</LocationCode>
</Item>

场景2（非APPLE厂商+空LocationCode） #

<Item>
  <Manufacturer>Microsoft</Manufacturer>
  <LocationCode/>
</Item>

关键限制说明 #

• 这种方案的核心是通过xs:choice把两种条件场景拆分为互斥的结构分支，XSD 1.0只能通过这种方式实现跨元素的关联约束
• 如果你的XML结构无法通过这种分支方式调整（比如必须支持更灵活的元素顺序，或者有其他兄弟元素），XSD 1.0无法满足需求——因为XSD 1.0的约束只能作用于当前元素或其子元素，无法直接引用兄弟元素的值进行条件判断，这种场景下只能升级到XSD 1.1使用xs:assert。

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