xs:assert 是 XSD 1.1 引入的跨字段验证机制，需置于 xs:complexType 或 xs:element 内，以当前元素为 XPath 上下文，支持条件逻辑、集合运算与业务规则表达。
xs:assert 是 XSD 1.1 引入的关键特性，专为解决跨字段、条件依赖、业务逻辑类验证而设计。它允许你在元素或类型范围内写 XPath 2.0 表达式，只要表达式求值为 false，校验就失败。相比 XSD 1.0 的局限（如只能单字段约束），它真正支持“如果 A=‘Y’，则 B 必须非空且大于 C”这类规则。
用对作用域：放在 xs:complexType 或 xs:element 内才生效
xs:assert 只能出现在 xs:complexType 定义内部（作为子元素），或直接在 xs:element 声明中（需配合 xs:complexType）。不能放在简单类型、属性定义或顶层 schema 中。
- 验证整个订单的逻辑？把 assert 放在
order元素的 complexType 里 - 只约束 address 类型内 city 和 postalCode 的关系？放在 address 的 complexType 下
- 错误做法：试图在
xs:simpleType或xs:attribute里直接写 assert —— 语法不合法
写好 XPath 表达式：用相对路径 + context node 意识
assert 中的 XPath 总是以当前元素（即声明 assert 的那个元素）为 context node。所有路径都是相对的，不需要从根开始写 /root/...。
- 假设你有：
<order><status>shipped</status><shipDate>2024-05-01</shipDate><cancelDate></cancelDate></order> - 想表达“已发货就不能取消”：用
not(status = 'shipped' and cancelDate) - 想表达“若指定了 discount，则 subtotal 必须大于 100”：用
empty(discount) or (subtotal > 100) - 注意：XPath 中
empty(...)比... = ''更安全，能同时处理缺失、空字符串、空节点
处理多值与存在性：善用 exists()、count()、every $x in ... satisfies
跨字段常涉及重复子元素（如多个 item），这时不能只写 price > 0（它只检查第一个 price）。要用集合函数明确语义。
- 所有 item 的 quantity 都必须 > 0：
every $i in item satisfies $i/quantity > 0 - 至少有一个 item 的 category 是 'premium'：
exists(item[category = 'premium']) - totalPrice 必须等于所有 item 的 price × quantity 之和：
totalPrice = sum(item/(price * quantity))（XPath 2.0 支持路径内计算） - 避免常见错误：写成
item/quantity > 0—— 这是“存在某个 quantity > 0”，不是“全部”
调试技巧：工具支持与常见陷阱
不是所有 XML 工具都默认启用 XSD 1.1。确认解析器支持（如 Saxon-EE、Xerces 2.12+、libxml2 ≥ 2.9.12），并显式开启 XSD 1.1 模式。
- 报错提示模糊？尝试把 assert 表达式单独复制到 XPath 测试工具（如 BaseX、oXygen 的 XPath evaluator）中，用示例 XML 验证逻辑
- 注意命名空间：如果 XML 有默认命名空间，XPath 中需声明前缀并在 assert 里使用（XSD 中用
xs:appinfo或外部绑定） - 性能提醒：复杂 assert（尤其含 deep nested / sum over large lists）可能影响校验速度，高频场景建议在应用层做二次检查
基本上就这些。xs:assert 不是万能的（比如不能访问外部文件或调用函数），但对绝大多数业务规则级跨字段约束，它足够清晰、声明式、且与 Schema 紧密集成。关键是理解它的作用域模型和 XPath 执行上下文 —— 把这点搞清，复杂验证就不再绕弯子。
