什么是XML的声明式特性，XSLT和XQuery是如何体现这一点的？

XML及其衍生语言XSLT、XQuery均体现声明式特性：XML静态描述数据结构；XSLT通过模板匹配声明转换规则；XQuery用路径与FLWOR表达式声明查询与重构意图，不干预执行过程。

XML 的声明式特性，指的是用“描述要什么”而非“告诉机器一步步怎么做”来表达逻辑。它不关注执行流程、循环或状态变化，只说明数据的结构、规则或转换目标。

XML 本身是声明式的

XML 文档只是静态地描述数据内容和层级关系，比如 张三，它没说“先读标题再读作者”，只是声明“这里有一个书，它有标题和作者”。这种对“是什么”的刻画，就是典型的声明式表达。

XSLT 通过模板匹配体现声明式

XSLT 不写 for 循环或 if-else 流程控制，而是定义“当遇到某个元素时，应该生成什么结果”。它的核心是模板（xsl:template）和匹配模式（match）：

• 你写 ，不是命令“遍历所有 book”，而是声明“只要文档中出现 book 元素，就按这个规则转换”
• 处理器自动查找匹配节点、应用模板、组合结果——具体怎么找、顺序如何、递归还是迭代，全由引擎决定
• 没有变量赋值、无副作用、不依赖执行顺序（模板间通常无调用链），符合纯声明式风格

XQuery 用路径表达和构造表达式体现声明式

XQuery 像一种“数据查询+重构语言”，重点在描述“我要哪些节点”和“我要把这些节点变成什么样”：

• for $b in //book where $b/price {$b/title} —— 它没说“初始化计数器、逐个检查、建新元素”，而是直接声明：从所有 book 中挑出 price 小于 50 的，把它们的 title 包进 cheap 标签里
• 路径表达式（如 //book/author）是导航意图的声明，不是指针操作
• FLWOR 表达式（for-let-where-order by-return）整体是一个逻辑描述，XQuery 引擎自由优化执行计划

基本上就这些。XSLT 和 XQuery 都不干预底层计算过程，只专注“目标形态”和“选择条件”，这是对 XML 声明式本质的自然延续——不复杂但容易忽略。