XSD编写断言校验Max_measurement_value始终大于Min_measurement_value

核心注意点：XSD 1.1的断言作用域为当前定义节点及其所有后代节点，无法在单个param元素的类型上直接完成跨兄弟节点的取值比较，因此断言需要定义在两个参数的共同直接父节点PARAMS的复杂类型上。

你已经在使用的CTA（条件类型分配）属于XSD 1.1特性，可以直接搭配断言使用，不需要额外调整现有FloatType和xs:alternative的配置。

具体代码修改 #

给PARAMS元素对应的复杂类型添加xs:assert规则即可，示例如下：

<xs:complexType name="ParamsType">
  <xs:sequence>
    <xs:element name="param" maxOccurs="unbounded">
      <!-- 保留你原有的CTA配置，无需修改 -->
      <xs:alternative test="@name='Max_measurement_value'" type="FloatType" />
      <xs:alternative test="@name='Min_measurement_value'" type="FloatType" />
      <!-- 其余param的类型分配规则可继续追加在这里 -->
    </xs:element>
  </xs:sequence>
  <!-- 新增最大值大于最小值的校验断言 -->
  <xs:assert test="param[@name='Max_measurement_value'] > param[@name='Min_measurement_value']" />
</xs:complexType>

规则说明 #

• 断言的XPath上下文为当前PARAMS节点，表达式会直接匹配两个目标param子节点的内容做数值比较
• 由于你已经为两个目标param分配了以xs:float为基类的FloatType，解析器会自动将节点值识别为浮点型做比较，不会出现字符串字典序比较的错误
• 如果你的业务场景允许PARAMS下单独缺失最大值/最小值参数，可以将断言调整为带前置判断的版本，避免参数不全时抛出无意义的校验错误：

<xs:assert test="
  (not(param[@name='Max_measurement_value']) or not(param[@name='Min_measurement_value']))
  or (param[@name='Max_measurement_value'] > param[@name='Min_measurement_value'])
" />

这个版本的逻辑是：两个参数不同时存在时跳过大小校验，仅当两个参数都存在时才触发大小比较。

注意事项 #

• 请确保使用支持XSD 1.1规范的解析器做校验，比如Saxon-EE、支持XSD 1.1的Apache Xerces 2.11+版本，XSD 1.0规范不支持CTA和断言特性，无法运行上述配置。
• 如果业务要求Max_measurement_value和Min_measurement_value必须成对出现在每个PARAMS节点下，直接使用第一个短版本断言即可，校验时会同时覆盖“参数缺失”和“大小不符合要求”两类错误。

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