XSLT模板匹配规则如何工作？（匹配.模板.规则.工作.XSLT...）

XSLT模板匹配规则通过match属性的XPath表达式确定处理XML节点的模板，优先级由priority属性、导入顺序和XPath特异性共同决定，其中显式priority值越高优先级越高，导入的模板优先级低于主样式表，而XPath特异性则依据匹配表达式的具体程度排序，当多个模板优先级相同时以最后定义者为准，但应通过调整priority或提高XPath具体性来避免冲突，确保转换的可维护性。

xslt模板匹配规则如何工作？

XSLT的模板匹配规则，说白了，就是XSLT处理器用来决定“当前这个XML节点，我应该用哪个模板来处理它？”的一套内部逻辑。它通过XPath表达式来识别节点，并根据一套优先级规则，找出最“合适”的那个模板进行应用。这套机制是XSLT声明式转换的核心，也是它强大而灵活的关键所在。

解决方案

XSLT模板匹配的核心在于

xsl:template

元素的

match

属性。这个属性的值是一个XPath表达式，它定义了该模板会作用于哪些源XML文档中的节点。当XSLT处理器遍历源XML树时，对于遇到的每一个节点，它都会尝试去匹配所有定义了

match

属性的

xsl:template

。

这个过程不是随机的，它遵循一套明确的优先级规则：

显式优先级（
```
priority
```
属性）：你可以直接在
```
xsl:template
```
元素上设置
```
priority
```
属性为一个数字（正数、负数或零）。值越大，优先级越高。这是最直接的控制方式。
导入优先级：如果模板是通过
```
xsl:import
```
导入的，那么导入的模板优先级低于导入它的样式表中的模板。如果多个样式表导入了同一个样式表，那么最后导入的样式表中的模板优先级最高。这有点像“后来者居上”的原则，但仅限于同一层级的导入。
隐式优先级（XPath特异性）：如果两个模板没有显式设置
```
priority
```
，或者
```
priority
```
相同，那么XSLT处理器会根据
```
match
```
属性中XPath表达式的“特异性”来判断。
- 匹配特定元素名称（如
```
match="book"
```
  ）的优先级高于匹配通配符（如
```
match="*"
```
  ）。
- 匹配带有谓词（如
```
match="book[@id='123']"
```
  ）的优先级高于不带谓词的。
- 匹配属性（如
```
match="@id"
```
  ）的优先级通常低于匹配元素。
- 更具体的路径（如
```
match="library/book"
```
  ）优先级高于更泛化的路径（如
```
match="book"
```
  ）。

当多个模板都匹配一个节点，且它们的优先级相同（无论显式还是隐式），XSLT规范规定会产生一个“冲突”。在这种情况下，通常是样式表中最后定义的那个模板会被选中。但经验告诉我，最好还是通过调整

priority

或使XPath更具体来避免这种模糊的冲突，因为依赖定义顺序可能会让代码变得难以维护和理解。匹配规则的优先级是如何确定的？

在我看来，理解XSLT匹配规则的优先级，是掌握XSLT的关键一步。它不像传统编程那样，你直接调用一个函数；XSLT更像是一个“事件驱动”的系统，节点就是事件，模板就是处理函数，而优先级就是决定哪个处理函数响应这个事件的调度器。

优先级主要由以下几个方面决定：

```
priority
```
属性：这是最直接、最粗暴但有效的方式。你在
```
xsl:template
```
上直接写
```
priority="10"
```
，它就比
```
priority="5"
```
的模板优先。这在你需要覆盖某个通用规则，或者处理特定边缘情况时特别有用。比如，你有一个通用的
```
match="*"
```
模板来处理所有元素，但某个特定的
```
match="title"
```
元素需要完全不同的处理，你就可以给
```
title
```
模板一个更高的优先级。
```
<xsl:template match="*" priority="1">
    
</xsl:template>

<xsl:template match="title" priority="5">
    
</xsl:template>
```
导入优先级：这有点像模块化的概念。如果你用
```
xsl:import
```
导入了其他XSLT文件，那么导入文件中的模板，其优先级总是低于导入它的主文件中的模板。这提供了一种“基线”和“覆盖”的机制。主文件可以轻松地覆盖被导入文件的默认行为。如果多个文件导入了同一个文件，那么最后导入的那个文件的模板优先级最高。
XPath 特异性（Specificity）：这是最微妙也最常引起困惑的地方。当没有显式
```
priority
```
或
```
priority
```
相同时，XSLT处理器会评估
```
match
```
属性中XPath表达式的“具体程度”。
- 类型 A：匹配元素名或处理指令名（如
```
book
```
  、
```
processing-instruction('pi')
```
  ）。
- 类型 B：匹配属性名（如
```
@id
```
  ）。
- 类型 C：匹配通配符（
```
*
```
  ）、
```
node()
```
  、
```
text()
```
  、
```
comment()
```
  等，或带有谓词的表达式（如
```
book[@status='new']
```
  ）。
类型 A > 类型 B > 类型 C。在同一类型内，通常是更具体的路径（例如
```
library/book
```
比
```
book
```
更具体）或带有更多谓词的表达式优先级更高。举个例子：
- ```
match="book"
```
  比
```
match="*"
```
  优先级高。
- ```
match="book[@id]"
```
  比
```
match="book"
```
  优先级高。
- ```
match="book[position()=1]"
```
  也比
```
match="book"
```
  优先级高。
这种隐式优先级机制，使得我们可以编写更通用但可被更具体规则覆盖的模板，这在处理复杂文档结构时非常有用。

xsl:apply-templates

和

xsl:call-template

有什么区别？

这是XSLT初学者经常会混淆的两个指令，但它们在工作机制上有着本质的区别，理解它们是深入XSLT的关键。

```
xsl:apply-templates
```
：
- 机制：这是XSLT的“拉”模型（pull model）的核心。它指示XSLT处理器去查找并应用与当前上下文节点或通过
```
select
```
  属性指定节点集匹配的模板。
- 工作方式：当你写
```
xsl:apply-templates
```
  时，XSLT处理器会根据当前上下文（或者
```
select
```
  指定的节点集），遍历这些节点，然后为每个节点找到最匹配的那个
```
xsl:template
```
  并执行。它是一个基于匹配规则的动态调度器。
- 用途：适用于你不知道或不关心具体哪个模板会被调用，只希望根据节点类型或特性自动选择处理逻辑的场景。这是进行递归遍历、将XML结构映射到输出结构的主要方式。
- 举例：
```
xsl:apply-templates select="chapter"
```
  会处理所有子节点
```
chapter
```
  ，每个
```
chapter
```
  都会根据其自身特点找到合适的模板。
```
xsl:call-template
```
：
- 机制：这是一个传统的“推”模型（push model）或函数调用机制。它通过模板的
```
name
```
  属性，显式地调用一个指定的模板。
- 工作方式：当你写
```
xsl:call-template name="my-utility-template"
```
  时，XSLT处理器会直接去寻找名为
```
my-utility-template
```
  的模板并执行它，完全忽略任何匹配规则。它是一个基于名称调用的静态调度器。
- 用途：适用于那些不依赖于源XML节点匹配，而是作为可重用函数或子程序的模板。比如，格式化日期、生成特定的HTML头部、或者执行一些辅助性的计算。这些模板通常不设置
```
match
```
  属性，只设置
```
name
```
  属性。
- 举例：
```
xsl:call-template name="format-date"
```
  会直接调用名为
```
format-date
```
  的模板，而不管当前处理的是什么XML节点。

简而言之，

xsl:apply-templates

是“让系统自己决定如何处理这些节点”，而

xsl:call-template

是“我明确要执行这个特定的操作”。在我个人的实践中，

xsl:apply-templates

是构建XSLT转换的主力，而

xsl:call-template

则更多用于实现一些通用的、不依赖于特定XML上下文的辅助功能。如何处理默认模板行为和冲突？

处理默认模板行为和冲突是XSLT开发中一个非常实际的问题，尤其是在大型或模块化的样式表中。理解XSLT的内置规则和如何有效管理它们，能让你避免很多不必要的麻烦。

XSLT的默认模板行为： XSLT处理器在没有用户定义的模板匹配特定节点时，会应用一系列内置的默认模板。这些默认行为是：
1. 元素和根节点：默认会递归地应用
```
xsl:apply-templates
```
  到它们的子节点。这意味着，如果你没有为某个元素定义模板，它的子节点（和孙子节点，以此类推）仍然会被处理，直到遇到有匹配模板的节点或者没有更多子节点为止。
2. 文本节点和属性节点：默认会将它们的值直接复制到输出中。这就是为什么如果你只写
```
xsl:template match="book"> <xsl:apply-templates/> </xsl:template>
```
  ，那么
```
book
```
  元素下的所有文本内容和属性值都会被输出。
3. 注释和处理指令：默认情况下会被忽略，不会复制到输出中。
这种默认行为非常重要，因为它提供了一个“基线”。如果你想让某些元素下的所有文本和属性都原样输出，你甚至不需要写任何模板，只需在根模板中调用
```
xsl:apply-templates
```
即可。
覆盖默认行为：如果你不希望默认行为发生，就为相应的节点定义你自己的模板。例如：
- 如果你不想输出某个元素下的文本内容，但又想处理其子元素，你可以这样写：
```
<xsl:template match="summary">
    
    <xsl:apply-templates select="child::*" />
</xsl:template>
```
- 如果你想完全忽略某个元素及其所有内容：
```
<xsl:template match="advertisement" /> 
```
  这个空模板的优先级通常会高于内置的默认模板，从而阻止
```
advertisement
```
  元素被处理。
处理冲突：冲突发生在多个模板都可以匹配同一个节点，并且它们的优先级也相同的时候。规范规定，在这种情况下，XSLT处理器会选择在样式表中最后定义（或最后导入）的那个模板。

虽然规范提供了解决方案，但在实际开发中，我强烈建议尽量避免依赖这种“最后定义胜出”的隐式规则。原因很简单：
- 可读性差：维护者需要翻遍整个XSLT文件（甚至多个导入文件）才能确定哪个模板最终会被应用。
- 脆弱性：仅仅因为一个模板的定义顺序变了，整个转换结果可能就错了，这会导致难以追踪的bug。
- 调试困难：当出现意外输出时，很难快速定位是哪个模板引起的冲突。
更好的实践是：
1. 使用
```
priority
```
  属性：当你明确知道某个模板应该优先于另一个时，直接给它一个更高的
```
priority
```
  值。这清晰明了，意图明确。
2. 提高XPath特异性：如果两个模板匹配的XPath表达式过于相似，尝试让其中一个更具体。例如，不要同时有
```
match="book"
```
  和
```
match="book"
```
  ，而是将其中的一个改为
```
match="book[@type='novel']"
```
  。
3. 重构模板：如果多个模板确实需要处理相似的节点，但有细微差别，考虑是否可以通过
```
xsl:if
```
  或
```
xsl:choose
```
  在单个模板内部处理这些条件，或者将通用逻辑提取到具名模板中，然后由匹配模板调用。
通过这些方法，我们可以确保XSLT转换的行为是可预测和易于维护的，而不是依赖于那些隐晦的默认规则。