XSD断言校验含random子元素时文本含{rand}失效问题

你的断言逻辑失效是两个核心错误导致的：

• 花括号未转义：XSD 1.1 规范中，xs:assert的test属性里的{和}是特殊元字符，用于标识XPath变量/类型引用，要匹配字面量的{rand}字符串，必须将花括号双写转义为{{rand}}。你之前写的'{rand}'会被处理器识别为对名为rand的未定义变量的引用，contains()函数永远返回false，哪怕文本里真的有{rand}也校验失败。
• XPath逻辑冗余+匹配范围错误：
  • 你写的annotation/random只会匹配annotation直接子级的random，如果后续结构调整导致random嵌套层级变深会直接漏匹配；
  • 分支逻辑冗余：if (xxx) then yyy else not(xxx)的else分支永远返回真，等于没做约束；
  • 部分试写版本存在XPath语法错误，比如$value/contains('{rand}')把函数当节点路径写，完全不符合XPath语法。

直接替换对应断言即可，修正后代码如下：

<xs:element name="text">
    <xs:complexType mixed="true">
        <xs:sequence>
           <xs:choice minOccurs="0" maxOccurs="unbounded">
              <xs:element name="annotation" type="defined_annotation" minOccurs="0" maxOccurs="3"/>
           </xs:choice>
        </xs:sequence>
        <xs:assert test="string-length() ge 3"/>
        <!-- 修正后断言：任意后代存在random元素时，全量文本必须包含{rand} -->
        <xs:assert test="if (.//random) then contains(string(.), '{{rand}}') else true()"/>
   </xs:complexType>
</xs:element>
<xs:complexType name="defined_annotation" mixed="true">
   <xs:sequence>
       <xs:element name="random" type="random" minOccurs="0" maxOccurs="1"/>
   </xs:sequence>
   <xs:attribute name="value" type="xs:string"/>
   <!-- 如果你需要额外约束「random所在的annotation自身文本必须带{rand}」，可以取消下一行注释 -->
   <!-- <xs:assert test="if (random) then contains(string(.), '{{rand}}') else true()"/> -->
</xs:complexType>

修正说明 #

• 用.//random匹配当前<text>元素下任意层级的<random>子元素，不会漏匹配嵌套的节点；
• 用string(.)获取当前元素的全量字符串值（自动拼接所有后代文本节点，和你解析阶段拿到的最终文本逻辑一致），避免不同处理器对$value变量的实现差异；
• 花括号双写转义后，处理器会正确识别要匹配的字面量{rand}；
• 去掉冗余的else分支逻辑，没有<random>元素时直接放行，符合规则要求。

你提供的两个合法XML示例可以直接通过该校验，存在<random>但文本缺失{rand}的非法XML会被正常拦截。

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