获取XSL样式表中未使用变量的XPath表达式优化需求

嘿，你遇到的这个假阴性问题（就是本来没被使用的变量，因为contains()的子字符串匹配被误判成已使用，导致没被找出来），根源就在于contains()太“宽泛”了——它会把像$foobar里的$foo也当成$foo变量的引用。咱们得换个思路，精确匹配独立的变量引用，同时排除那些只是字符串里的$符号（比如'$var'这种不是真的变量引用的情况）。

适配XPath 2.0+的改进表达式 #

这是我调整后的表达式，用正则来精确匹配变量引用，还能排除字符串字面量里的干扰：

for $var in //xsl:variable | //xsl:param
let $varName := $var/@name
let $varRefPattern := concat('(^|\W)\$', $varName, '(\W|$)')
return
  if (not(//*[@*[
    matches(., $varRefPattern) 
    and not(matches(., concat('.*(["''])\$', $varName, '\1.*')))
  ]]))
  then $var/(., preceding-sibling::text()[1][normalize-space(.) = ''])
  else ()

为啥这么写？ #

• 精确锁定变量引用：正则(^|\W)\$变量名(\W|$)确保$变量名是一个独立的单元，不会匹配$变量名abc或者abc$变量名这种沾边的情况。
• 排除字符串里的假引用：第二个not(matches(...))专门过滤掉被单引号或双引号包起来的$变量名（比如"$var"），这些只是字符串内容，不是真的在用变量。
• 拿到你要的节点：如果变量确实没被任何有效引用，就返回变量本身，以及它前面紧挨着的那个全是空白的文本节点。

如果只能用XPath 1.0怎么办？ #

要是你的环境不支持XPath 2.0，也能通过字符串拼接模拟精确匹配，虽然麻烦点，但核心逻辑一样：

//xsl:variable[not(//*[@*[
  (contains(., concat('$', @name)) 
   and (starts-with(., concat('$', @name)) or contains(substring-before(., concat('$', @name)), ' '))
   and (ends-with(., concat('$', @name)) or contains(substring-after(., concat('$', @name)), ' '))
  )
  and not(contains(., concat('"$', @name, '"')))
  and not(contains(., concat("'$", @name, "'")))
]])]/(., preceding-sibling::text()[1][normalize-space(.) = ''])
|
//xsl:param[not(//*[@*[
  (contains(., concat('$', @name)) 
   and (starts-with(., concat('$', @name)) or contains(substring-before(., concat('$', @name)), ' '))
   and (ends-with(., concat('$', @name)) or contains(substring-after(., concat('$', @name)), ' '))
  )
  and not(contains(., concat('"$', @name, '"')))
  and not(contains(., concat("'$", @name, "'")))
]])]/(., preceding-sibling::text()[1][normalize-space(.) = ''])

简单解释下 #

• 用starts-with和substring-before/substring-after来判断$变量名的前后要么是空白，要么是字符串的开头/结尾，以此模拟“独立引用”的效果。
• 同样排除了被引号包裹的情况，避免把字符串内容当成变量引用。

几个要注意的点 #

1. 命名空间绑定：记得你的XPath上下文要正确绑定xsl命名空间（一般是xmlns:xsl="http://www.w3.org/1999/XSL/Transform"），不然找不到xsl:variable和xsl:param节点哦。
2. 复杂场景调整：如果变量引用出现在特别复杂的XPath里（比如括号里、轴表达式里），这个表达式可能还要微调，但已经能覆盖绝大多数常规情况了。
3. 注释的处理：要是想排除注释里的$变量名，可以在判断里加个not(ancestor-or-self::comment())，不过一般XSL注释里的内容不会被当成变量引用，看你需求要不要加。

内容的提问来源于stack exchange，提问作者wasmachien