如何在XSD中实现属性值不匹配指定枚举及关联属性枚举的约束

嘿，我来帮你搞定这个XSD约束的问题！你需要实现两个核心需求：一是禁止category属性使用指定的枚举值，二是让category不能使用和type属性关联的特定枚举值。下面分两种情况给你详细方案，因为XSD 1.0和1.1的能力差异很大：

XSD 1.1引入了xs:assert断言功能，完美支持跨属性的逻辑约束，这是实现你两个需求的最佳方式。

先看完整的示例Schema：

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

  <!-- 定义componentMainType的枚举值（你可以根据实际需求修改） -->
  <xs:simpleType name="componentMainType">
    <xs:restriction base="xs:string">
      <xs:enumeration value="TYPE_A"/>
      <xs:enumeration value="TYPE_B"/>
      <xs:enumeration value="TYPE_C"/>
    </xs:restriction>
  </xs:simpleType>

  <!-- 定义category的所有可选值，包含后续要禁止的项 -->
  <xs:simpleType name="forbiddenCategoryTypes">
    <xs:restriction base="xs:string">
      <xs:enumeration value="CAT_X"/>
      <xs:enumeration value="CAT_Y"/>
      <xs:enumeration value="CAT_Z"/>
      <xs:enumeration value="CAT_FORBIDDEN_1"/>
      <xs:enumeration value="CAT_FORBIDDEN_2"/>
    </xs:restriction>
  </xs:simpleType>

  <xs:complexType name="component">
    <xs:attribute name="type" type="componentMainType" use="required"/>
    <xs:attribute name="category" type="forbiddenCategoryTypes" use="optional"/>
    
    <!-- 第一个约束：禁止category使用指定的枚举值 -->
    <xs:assert test="not(@category = ('CAT_FORBIDDEN_1', 'CAT_FORBIDDEN_2'))"
               xpathDefaultNamespace="http://www.w3.org/2001/XMLSchema"/>
    <!-- 第二个约束：关联type和category的取值，比如TYPE_A不能搭配CAT_X，TYPE_B不能搭配CAT_Y -->
    <xs:assert test="not((@type = 'TYPE_A' and @category = 'CAT_X') or 
                         (@type = 'TYPE_B' and @category = 'CAT_Y'))"
               xpathDefaultNamespace="http://www.w3.org/2001/XMLSchema"/>
  </xs:complexType>
</xs:schema>

关键说明： #

• 首先要声明XSD 1.1版本（通过vc:minVersion="1.1"），确保解析器支持断言功能。
• 第一个xs:assert直接排除了指定的禁止枚举值，你可以修改括号里的字符串列表来调整禁止项。
• 第二个xs:assert定义了type和category的关联禁止规则，你可以根据实际业务需求扩展条件组合（比如添加更多type和category的配对限制）。

如果你的环境只能用XSD 1.0，那只能实现第一个需求（禁止category使用指定枚举值），跨属性的关联约束没法通过XSD本身实现，只能靠后续业务逻辑校验。

示例Schema如下：

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

  <xs:simpleType name="componentMainType">
    <xs:restriction base="xs:string">
      <xs:enumeration value="TYPE_A"/>
      <xs:enumeration value="TYPE_B"/>
      <xs:enumeration value="TYPE_C"/>
    </xs:restriction>
  </xs:simpleType>

  <!-- 直接定义允许的category值，主动排除禁止项 -->
  <xs:simpleType name="allowedCategoryTypes">
    <xs:restriction base="xs:string">
      <xs:enumeration value="CAT_X"/>
      <xs:enumeration value="CAT_Y"/>
      <xs:enumeration value="CAT_Z"/>
      <!-- 不包含CAT_FORBIDDEN_1和CAT_FORBIDDEN_2，以此实现禁止效果 -->
    </xs:restriction>
  </xs:simpleType>

  <xs:complexType name="component">
    <xs:attribute name="type" type="componentMainType" use="required"/>
    <xs:attribute name="category" type="allowedCategoryTypes" use="optional"/>
  </xs:complexType>
</xs:schema>

关键说明： #

• XSD 1.0没有断言功能，只能通过枚举允许的取值来间接实现禁止指定值的效果。
• 这种方式无法实现type和category的关联约束，必须在XML解析完成后用业务代码额外校验。

注意事项： #

• 如果你选择XSD 1.1方案，要确保你的XML解析器支持1.1版本（比如Saxon、Xerces 2.12+）。
• 可以根据实际需求灵活调整断言里的逻辑，比如用contains()、not()等XPath函数实现更复杂的规则。

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