XSLT中全局变量在xsl:stylesheet下声明，作用域为整个样式表，仅计算一次；局部变量在模板或指令内声明，作用域限于该块内，可遮蔽同名全局变量；变量不可变，需通过参数传递实现数据交互，提升代码模块化与可维护性。
XSLT中的变量作用域，简单来说，主要由变量声明的位置决定，它要么是全局的，要么是局部的，并且严格遵循其声明所在的“块”级作用域。一旦变量被赋值，其值就不可更改，这种不可变性是理解XSLT作用域的关键。
解决方案
在XSLT中，控制变量作用域的核心在于理解
xsl:variable元素的放置位置。
如果
xsl:variable元素直接作为
xsl:stylesheet的子元素声明，那么它就是一个全局变量。这种变量在整个样式表中都是可见的，并且只会被计算一次。它的值在任何模板或表达式中都可以被引用。
相反，如果
xsl:variable元素声明在
xsl:template、
xsl:for-each、
xsl:if、
xsl:choose等内部，它就是一个局部变量。这种变量的作用域仅限于其声明所在的那个“块”或指令内部。一旦执行离开那个块，该变量就不再存在，也无法被外部引用。
一个值得注意的特性是，局部变量可以“遮蔽”（shadow）同名的全局变量。这意味着在一个局部作用域内，如果你声明了一个与全局变量同名的局部变量，那么在该局部作用域内，对该变量名的引用将指向局部变量的值，而不是全局变量。这种机制允许我们在不影响全局状态的前提下，在特定上下文中对数据进行局部处理。
XSLT变量的不可变性也深刻影响了作用域管理。一旦一个变量被赋值，它的值就不能被修改。这意味着你不能像在许多编程语言中那样，在一个循环中迭代地更新同一个变量。相反，你可能需要创建新的变量，或者使用递归模板和参数传递来实现类似的效果。这种设计哲学强制开发者以一种更函数式、更声明式的方式来思考数据流，从而减少副作用，使转换逻辑更易于理解和维护。
XSLT中全局变量与局部变量有何区别？
在我看来，全局变量和局部变量在XSLT中扮演着截然不同的角色，理解它们的差异对于编写高效且可维护的样式表至关重要。
全局变量 (
xsl:variable作为
xsl:stylesheet的直接子元素) 就像是样式表的“常量”或“配置项”。它们在样式表加载时被计算一次，并且在整个转换过程中保持不变。这意味着它们非常适合存储那些不随上下文变化的数据，比如一个固定的命名空间URI、一个默认的日期格式字符串，或者一个计算成本较高但结果不变的查找表。我的经验是，滥用全局变量可能会让样式表变得难以追踪和调试，因为它们无处不在，但其值又不能被改变，这限制了它们的灵活性。然而，合理利用它们可以避免重复计算和硬编码，提升样式表的清晰度。
局部变量 (
xsl:variable声明在
xsl:template或其他指令内部) 则更像是临时工作空间。它们只在其声明的特定作用域内有效，用于存储中间计算结果、临时数据或在特定上下文中需要的值。每次进入该作用域，局部变量都会被重新计算。这使得它们非常灵活，能够根据当前处理的XML节点或上下文动态生成值。例如，在一个
xsl:for-each循环内部声明一个局部变量来存储当前元素的某个属性值，或者在一个
xsl:if块中存储一个条件判断的结果。这种局部性确保了变量的生命周期与它所服务的逻辑紧密绑定，避免了命名冲突，也让代码更易于理解和隔离。我认为，大多数XSLT变量都应该是局部变量，除非有明确的全局共享需求。
XSLT变量的不可变性如何影响作用域管理？
XSLT变量的不可变性，即一旦赋值就不能更改的特性，这其实是XSLT作为一种声明式、函数式语言的核心设计哲学之一。它对作用域管理的影响是深远且根本的。
首先，它简化了对数据流的推理。在许多命令式语言中，你可能需要追踪变量在不同函数调用或循环迭代中是如何被修改的，这常常导致复杂的副作用和难以预测的行为。但在XSLT中，一旦你看到一个变量被声明并赋值，你就知道它的值在整个其作用域内是恒定的。这使得局部作用域内的逻辑变得非常清晰，因为你不需要担心变量会在某个不经意的时刻被修改。
其次，不可变性促使我们以不同的方式思考迭代和条件逻辑。由于不能简单地递增一个计数器或更新一个累加器，我们往往需要借助递归模板或
xsl:for-each这样的构造来处理集合。在需要根据不同条件生成不同值时，我们不是“修改”一个变量，而是声明新的局部变量，每个变量根据不同的条件被赋予不同的值。如果这些新变量与外部作用域的变量同名，它们会形成“遮蔽”，即在当前作用域内，外部变量暂时不可见，对变量名的引用会解析到新声明的局部变量。这是一种非常优雅的机制，它确保了父作用域的数据完整性，同时又允许子作用域进行独立的计算。
在我看来，这种不可变性虽然初学者可能觉得有点“别扭”或不习惯，因为它与我们熟悉的命令式编程范式不同，但它强制我们写出更纯粹、更少副作用的代码。它鼓励我们把每个模板或每个逻辑块看作一个接收输入并产生输出的函数，而不是一个修改全局状态的过程。这对于大型或复杂的XSLT样式表来说，是提升可维护性和可靠性的关键。
如何在XSLT中有效利用参数（xsl:param
）进行作用域间数据传递？
尽管XSLT变量是不可变的，但我们仍然需要一种机制来在不同的处理上下文或模板之间传递动态数据，这就是
xsl:param发挥作用的地方。在我看来，
xsl:param是XSLT中实现“函数式”数据流，也就是将数据从一个作用域安全地传递到另一个作用域的关键。
xsl:param可以理解为模板的“输入参数”。当你在
xsl:template内部声明一个
xsl:param时，你实际上是在说：“这个模板期望接收一个名为X的参数。”这个参数在模板内部的作用域中是可见的，并且它的值可以像局部变量一样被引用。
数据传递的魔力发生在调用模板的时候：
-
通过
xsl:call-template
调用具名模板时：你可以使用xsl:with-param
子元素来为被调用的模板传递参数。例如：在这里，
input-value
参数的值就是当前节点下data
元素的内容。 -
通过
xsl:apply-templates
应用模板时：xsl:with-param
同样可以用来将参数传递给所有匹配的模板。这在处理节点集时非常有用，比如你可能需要将一个全局配置或一个计算出的上下文信息传递给每个子节点的处理模板。这样，每个
item
节点被处理时，其匹配的模板都能访问到base-currency
参数。
我的经验是，有效利用
xsl:param能够让你的XSLT样式表模块化程度更高，每个模板可以被设计成一个相对独立的单元，通过参数接收它需要的所有输入，然后产生输出。这大大增强了模板的复用性，也使得调试变得更容易，因为你可以独立地测试每个模板，并明确其输入和输出。它是在不可变变量的限制下，实现动态、可控数据流的最佳实践。
