如何用XSD的xs:assert实现动态数量限制的逗号分隔值校验

首先要明确，XSD 1.0不支持xs:assert，所以你的XSD必须声明为1.1版本。核心思路是不依赖动态正则量词，而是通过XPath的字符串分割、计数和逐个校验来实现需求：既保证每个条目符合格式，又保证条目数量和指定整数元素的值完全一致。

修正原正则的问题 #

你原来的pattern里的.是正则通配符（匹配任意字符），不是小数点，这会导致错误匹配（比如12a34也会通过），正确的小数点应该转义为\.。单个数值的正确正则是：^-?[0-9]*\.[0-9]{1,2}$（^和$确保整个字符串都是符合格式的数值）。

完整XSD示例 #

假设你的XML结构是根元素data，包含requiredCount（指定条目数的整数元素）和line（逗号分隔的数值列表），对应的XSD如下：

<?xml version="1.0" encoding="UTF-8"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
           xmlns:vc="http://www.w3.org/2007/XMLSchema-versioning"
           vc:minVersion="1.1">

  <xs:element name="data">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="requiredCount" type="xs:positiveInteger"/>
        <xs:element name="line" type="xs:string"/>
      </xs:sequence>
      <!-- 核心校验逻辑 -->
      <xs:assert test="count(tokenize(line, ',')) eq requiredCount 
                       and every $item in tokenize(line, ',') 
                       satisfies matches($item, '^-?[0-9]*\.[0-9]{1,2}$')"/>
    </xs:complexType>
  </xs:element>

</xs:schema>

校验逻辑解释 #

1. 数量匹配：count(tokenize(line, ',')) eq requiredCount
   用tokenize把line按逗号分割成字符串序列，统计序列长度，确保和requiredCount的值相等。
2. 格式校验：every $item in tokenize(line, ',') satisfies matches($item, '^-?[0-9]*\.[0-9]{1,2}$')
   遍历分割后的每个条目，用matches函数验证每个条目都符合单个数值的格式（可选负号、任意位数整数部分、小数点后1-2位小数）。

为什么不用动态正则？ #

XPath的matches函数不支持动态生成正则量词（比如把*替换成变量值），所以通过分割+逐个校验的方式更可靠，也更易读。

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