XSLT 2.0表达式类型检查错误：变量比较失败问题排查

你遇到的编译错误，核心原因有两个：一是Xalan的XSLTC处理器对XSLT2.0的支持不完整，类型推断逻辑存在兼容性问题；二是你对变量使用谓词[...]的写法不符合XSLT的类型规则——谓词是用来过滤节点序列的，如果你的$lowerEmail是字符串（或字符串序列）而非节点序列，这种写法就会触发类型检查错误。

针对性解决步骤： #

• 如果$lowerEmail是单个邮箱的小写字符串（比如定义为 <xsl:variable name="lowerEmail" select="lower-case(arr[@name='email']/str)"/>），直接去掉谓词，用函数直接判断：

  starts-with($lowerEmail, $lowerSearchQuery)
  

• 如果$lowerEmail是多个邮箱的小写字符串序列，要判断是否存在符合条件的项，使用XSLT2.0标准的some...satisfies语法：

  some $email in $lowerEmail satisfies starts-with($email, $lowerSearchQuery)
  

• 彻底解决这类兼容性问题的办法：换用完全支持XSLT2.0的处理器，比如Saxon，XSLTC本身对2.0特性的支持就有很多局限。

你遇到的编译错误栈： #

Caused by: javax.xml.transform.TransformerConfigurationException: Error checking type of the expression 'filter-expr(variable-ref(lowerEmail/string), [pred(funcall(starts-with, [step("self", -1), variable-ref(lowerSearchQuery/string)]))])'.
    at com.sun.org.apache.xalan.internal.xsltc.trax.TransformerFactoryImpl.newTemplates(TransformerFactoryImpl.java:988)
    ... 70 more

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