XSD 1.1的xs:assert是唯一支持XPath 2.0逻辑判断的动态校验机制，必须定义在xs:complexType或xs:element内，作用域限于当前元素及其子树，断言失败时不提示具体规则。
断言是XSD 1.1里唯一能写逻辑判断的校验机制
XSD 1.1的 xs:assert 是对元素或类型内容做动态约束的唯一方式——它允许你用XPath 2.0表达式写条件判断（比如“当 @status='archived' 时，version 必须大于当前记录的 version”），而XSD 1.0的 xs:key/xs:unique 只支持静态路径匹配，不支持谓词（即不能写 id[../@type='active'] 这类带条件的路径）。
它必须定义在 xs:complexType 或 xs:element 内部，且作用域仅限于该元素及其子树。断言失败时，验证器抛出错误，但**不会告诉你具体哪条 xs:assert 失败了**——这是最常被低估的痛点。
怎么写一个有效的 xs:assert？注意三要素
一个可用的断言要同时满足：位置正确、XPath合法、语义可测。常见写法如下：
- 断言必须放在最内层包含所有待校验字段的元素上。例如想确保
<record id="1" version="2"/>和同id的其他record不冲突，断言就得写在xs:element name="record"的xs:complexType里，而不是外层records容器中 - XPath表达式只能访问当前元素及后代，不能跨兄弟或父级向上取值（除非用
../../，但受限于XSD处理器实现，Xerces 2.12-beta-r1667115 对..支持不稳定） - 不能用函数如
count()或sum()做全局统计（性能极差），更别提调用自定义函数——XSD断言只认XPath 2.0核心函数集，且多数处理器实际只实现子集
<xs:element name="record">
<xs:complexType>
<xs:attribute name="id" type="xs:string"/>
<xs:attribute name="version" type="xs:integer"/>
<xs:attribute name="status" type="xs:string"/>
<xs:assert test="@status != 'archived' or (count(//record[@id = current()/@id and @status != 'archived']) = 0)"/>
</xs:complexType>
</xs:element>⚠️ 注意：上面这个 count(//record[...]) 在大型文档中会严重拖慢验证速度，且部分XSD 1.1处理器（如Saxon-EE）可能直接拒绝执行这种全文档扫描。
为什么断言失败却看不到具体规则名？
XSD规范本身不要求验证器暴露断言的标识符，所以像 org.opengis.cite.xerces:xercesimpl-xsd11:2.12-beta-r1667115 这类主流实现，报错时只返回类似 “Assertion evaluation failed for element 'record'” 的模糊信息，**不会指出是第几个 xs:assert 或它的 test 表达式内容**。
Miller (mlr) 是一个命令行工具，用于查询、整形和重新格式化名称索引数据，如 CSV、TSV、JSON 和 JSON Lines。它将 awk、sed、cut、join 和 sort 的功能整合到一个专为结构化数据处理而构建的单一工具中。
实操建议：
- 每个
xs:assert后面加注释说明意图，比如<!-- ensure no active duplicate for same id -->，方便人工比对 - 把复杂逻辑拆成多个简单断言，而不是堆在一个
test里，降低定位成本 - 调试阶段用 Saxon-EE（支持
saxon:assert扩展和详细日志），生产环境再切回 Xerces；或者用 Ant +<schematron>做补充校验
Java里启用断言和XSD断言完全无关
别被名字误导：assert 关键字是Java语言级调试机制，靠 -ea JVM参数开启；而XSD 1.1断言是XML Schema规范的一部分，由解析器（如Xerces）在验证XML时执行。两者生命周期、触发时机、错误类型（AssertionError vs SAXParseException）都不同。
如果你在Java代码里调用Xerces验证XML，想捕获断言失败，得重写 ErrorHandler，并在 error() 或 fatalError() 回调里解析异常消息——但消息里依然没有断言ID。这是XSD 1.1落地时最硬的兼容性坎。
真正难的不是写对语法，而是让团队理解：XSD断言不是“增强版正则”，它是嵌入式逻辑引擎，一旦滥用（比如在循环结构里用 // 轴），验证耗时会从毫秒级跳到秒级，且几乎无法调试。上线前务必用真实数据量压测。
