XML Schema中无负前瞻实现特定正则校验的方案咨询

需求概述 #

需要验证字符串满足以下条件：

• 仅由字符集 {A, X, Y, U, G, H, J, I} 组成（大小写不敏感）
• 长度范围：0 到 8
• 所有字符唯一（不区分大小写）

方案1：XML Schema 1.1 断言（推荐） #

XML Schema 1.1 引入的 <xs:assert> 元素支持 XPath 表达式，能轻松实现正则无法处理的唯一性校验，代码简洁且易维护。

<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="targetString">
    <xs:simpleType>
      <xs:restriction base="xs:string">
        <!-- 限制字符集和长度 -->
        <xs:pattern value="([AaXxYyUuGgHhJjIi]){0,8}"/>
        <!-- 断言：转小写后无重复字符 -->
        <xs:assert test="string-length(.) = count(distinct-values(
          for $char in string-to-codepoints(.) 
          return lower-case(codepoints-to-string($char))
        ))"/>
      </xs:restriction>
    </xs:simpleType>
  </xs:element>
</xs:schema>

说明：

• <xs:pattern> 确保字符串仅包含允许的字符，且长度在0-8之间
• <xs:assert> 通过 XPath 将每个字符转为小写，用 distinct-values 去重后，比较去重后的字符数量与原字符串长度，相等则说明无重复

方案2：XML Schema 1.0 纯正则（兼容旧版本） #

XML Schema 1.0 不支持断言和前瞻/后瞻，只能通过枚举所有合法组合实现。由于允许的字符仅8个，可通过多个 <xs:pattern> 覆盖所有无重复的情况：

<xs:simpleType>
  <xs:restriction base="xs:string">
    <!-- 空字符串 -->
    <xs:pattern value="^$"/>
    <!-- 长度为1的合法字符串 -->
    <xs:pattern value="^[AaXxYyUuGgHhJjIi]$"/>
    <!-- 长度为2的合法字符串（示例，需补充所有两两组合） -->
    <xs:pattern value="^[Aa][XxYyUuGgHhJjIi]$"/>
    <xs:pattern value="^[Xx][AaYyUuGgHhJjIi]$"/>
    <xs:pattern value="^[Yy][AaXxUuGgHhJjIi]$"/>
    <xs:pattern value="^[Uu][AaXxYyGgHhJjIi]$"/>
    <!-- 继续添加长度3到8的所有无重复字符组合的pattern -->
  </xs:restriction>
</xs:simpleType>

注意：这种方式需要枚举所有可能的无重复字符排列（共255种非空组合），代码冗长但能兼容XML Schema 1.0环境。

验证用例 #

• 有效：axyughji、axgh、agh、h、agHXU
• 无效：axXgh（重复X/x）、axxhu（重复x）、AXYUGHJIA（长度超8）、ATXYUGHM（含非法字符T/M）

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