关于XPath Filter Expression结合性的疑问及函数未执行原因咨询

这个问题问到了XPath里容易被忽略的两个关键点：过滤表达式的结合规则，还有处理器的性能优化逻辑，我来给你理清楚：

1. XPath过滤表达式的结合性是左结合 #

XPath中带谓词的过滤表达式（E[P]这种形式）是左结合的。举个例子，如果你写A[P1][P2]，它的执行逻辑等价于(A[P1])[P2]：

• 第一步：先计算表达式A，得到初始序列
• 第二步：用谓词P1过滤这个序列，保留符合条件的项
• 第三步：再用谓词P2过滤第二步得到的结果，最终输出二次过滤后的序列

如果是右结合的话，逻辑会变成A[P1[P2]]——这就完全不一样了，它会把P1当作一个节点集再用P2过滤，显然不符合过滤表达式的设计意图。所以XPath的过滤表达式明确是左结合的。

2. 为什么my:func()[false()]不会执行函数？ #

这里的核心是XPath处理器的静态优化机制。当处理器在编译阶段就能推断出谓词是恒假表达式（比如false()），它会意识到：不管my:func()返回什么内容，过滤后的结果肯定是空序列，调用函数完全是无意义的开销。所以处理器会直接跳过函数调用，自然也就不会输出my func enter的消息，结果树也为空。

对比你的第一个测试用例my:func()[.!='apple']：这个谓词的结果依赖于my:func()返回的具体项，处理器没办法提前推断出过滤结果，必须先调用函数拿到序列，再逐个检查每个项是否满足条件，所以你能看到消息输出和最终的orange结果。

你可以做个小验证：把谓词改成my:func()[.='banana']，这时候处理器会调用函数（你会看到my func enter），然后发现没有匹配的项，结果树为空，但消息会正常输出——这就和[false()]的情况形成了对比，前者是动态过滤（需要执行函数才能判断），后者是静态可推导的恒假，触发了优化。

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