XQuery类型系统基于XML Schema，是静态、强类型且可选的；支持内置原子类型（如xs:string）、节点类型（如element()）及高阶类型（map()、array()），提供构造函数、cast/castable、fn:data()等显式转换方式，并辅以隐式提升与实用健壮性建议。
XQuery 的类型系统基于 XML Schema（XSD），是静态、强类型且可选的——也就是说，XQuery 处理器在运行前会尝试推断表达式的类型，但允许部分类型信息缺失或延迟检查（尤其在动态执行上下文中）。它不像 Java 或 TypeScript 那样要求所有变量显式声明类型，但支持类型注解、类型断言和类型测试，并能与 XSD 类型（如 xs:string、xs:integer、xs:date）精确交互。
核心类型机制
XQuery 使用两类类型：
-
内置原子类型：来自 XML Schema，如
xs:string、xs:decimal、xs:boolean、xs:QName等； -
节点类型：如
element()、attribute()、document-node()，还可带内容模型约束（如element(book) as xs:string）。
类型信息通常通过函数签名、变量声明（as 子句）、函数返回类型或类型测试（instance of）体现。XQuery 3.1 还支持函数类型、地图（map(*)）和数组（array(*)）等高阶类型。
显式类型转换方法
当需要把一个值转为特定类型时，常用以下方式：
-
构造函数调用：最推荐的方式，安全且语义明确。例如：
xs:integer("42")、xs:date("2024-01-01")、xs:boolean("true")。若转换失败，抛出FORG0001错误； -
cast 表达式：语法为
Expr cast as TypeName，仅适用于兼容的原子类型之间（如"3.14" cast as xs:double），不支持字符串到日期这类复杂解析； -
castable 表达式：用于前置判断，如
"123" castable as xs:integer返回true，避免运行时错误； -
fn:data()：提取节点的原子值（typed value），常用于从元素中获取其 schema 类型值，例如
data(<price>29.99</price>)返回xs:untypedAtomic("29.99")，后续再转具体类型。
隐式类型提升与自动转换
XQuery 在运算中会做有限的隐式类型适配，但不鼓励依赖它：
- 算术运算中，
xs:untypedAtomic值会按上下文尝试转为数字（如"5" + "3"得8），但行为取决于处理器实现和静态类型信息； - 比较操作符（
=、gt）会尝试将操作数提升为共同类型（如都转成xs:double），但若类型不兼容（如比较字符串和日期），可能报错或返回空序列； - 函数调用时，实参会按形参类型进行隐式转换（如果定义了 coercion 规则），但强烈建议显式转换以提高可读性和稳定性。
实用建议
写健壮的 XQuery 代码时：
- 对输入数据做
instance of检查，再决定是否转换； - 优先用构造函数而非
cast，特别是涉及格式化解析（日期、时间、十进制精度）时； - 用
try/catch（XQuery 3.1+）包裹可能失败的转换，提供降级逻辑； - 在模块头部导入所需 schema，启用类型验证（如
declare namespace xs = "http://www.w3.org/2001/XMLSchema";）。
基本上就这些。类型不是 XQuery 的强制门槛，但善用它能让查询更可靠、更易维护。
