XQuery是一门专门为查询和处理XML数据而设计的函数式查询语言。与关系数据库中的SQL类似，XQuery允许开发者以声明方式从XML文档中提取、过滤、重组信息，而不必关心底层解析细节。它不仅可以处理本地文件，也能对接支持XQuery接口的数据库或Web服务。
在理解XQuery之前，需要先明确它所依赖的基础模型。XML文档在XQuery中被视作一棵节点树，包含元素节点、属性节点、文本节点等。XQuery通过XPath表达式在这棵树上定位目标，再借助自身特有的FLWOR（for、let、where、order by、return）结构实现复杂逻辑。
XQuery与XPath的关系
XPath是XQuery的子集，也是其最核心的导航工具。XPath用斜杠路径描述节点位置，例如bookstore/book表示根元素下所有名为book的子元素。XQuery在此基础上扩展了变量、函数、条件判断和循环能力，使得单条路径无法完成的统计、联结操作成为可能。
举个简单例子，如果只想取出所有价格大于30的书名，纯XPath写起来很吃力，而XQuery可以用FLWOR清晰表达。这种分工让XPath负责“定位”，XQuery负责“计算”，二者配合覆盖了绝大多数XML处理场景。初学者建议先熟悉XPath轴与谓词，再过渡到完整XQuery脚本。
基础语法与FLWOR表达式
FLWOR是XQuery最具代表性的语法结构。其中for用来遍历序列，let用来绑定变量，where进行过滤，order by排序，return定义输出形态。下面是一段查询图书信息的示例代码：
xquery version "3.1";
for $book in doc("books.xml")/bookstore/book
where $book/price > 30
order by $book/title
return
<result>
<name>{ data($book/title) }</name>
<price>{ data($book/price) }</price>
</result>
上述代码中，doc()函数用于打开XML文档，花括号{}内嵌入表达式求值。返回结果是一组新的result元素，这种“构造XML”的能力是XQuery区别于XPath的重要特征。相比用字符串拼接生成标签，原生构造方式能避免转义错误并保持结构合法。
除了FLWOR，XQuery还支持直接路径查询。例如仅写doc("books.xml")/bookstore/book/title就会返回所有标题节点。对于简单提取，这种写法比完整FLWOR更直观。但在需要多文档关联或分组统计时，FLWOR仍然是不可替代的。
常用函数与条件处理
XQuery内置了大量操作字符串、数值和节点的函数。比如data()取节点文本，count()统计数量，string-length()测长度。条件分支可用if-then-else表达，它本身就是表达式，可以嵌入到return内容里。
xquery version "3.1";
for $b in doc("books.xml")/bookstore/book
return
<item>
<title>{ data($b/title) }</title>
<level>
{ if ($b/price > 50) then "高" else "普通" }
</level>
</item>
这段代码根据价格打上不同标签。注意XQuery的if结构必须带else，因为语言要求每个分支都产生值。这种严格性减少了空值导致的运行时异常，也让代码逻辑更明确。
在真实项目中，还可以把常用逻辑写成自定义函数。声明函数使用function关键字，指定参数类型和返回类型，便于在多个查询间复用。例如统一格式化书名与作者组合，能显著提升脚本可读性。
实际应用场景与优缺点
当系统间以XML作为报文交换格式时，XQuery常用于接口报文抽取与转换。比如从庞大的SOAP响应里摘出业务字段，或者把旧系统XML重排成前端需要的精简结构。它也比用通用编程语言手动解析更不容易因结构微调而崩溃。
| 对比项 | 手写DOM代码 | XQuery脚本 |
|---|---|---|
| 开发效率 | 较低，需处理遍历细节 | 较高，声明式描述 |
| 可维护性 | 随逻辑复杂快速下降 | 结构清晰，易于修改 |
| 执行环境 | 任意语言运行时 | 需XQuery引擎支持 |
当然XQuery也有局限。它依赖专门的处理引擎，如Saxon、BaseX等，不是所有环境默认提供。对于非XML数据或极度简单的读取，引入整套语言反而增加负担。因此是否采用，要看数据规模与团队工具链。
总体来看，XQuery凭借对XML原生的理解与简洁的FLWOR模型，在文档型数据查询领域占据独特位置。掌握它能让XML处理从繁琐的字符串游戏中解放出来，转向更可靠的结构化操作。