XQuery:为什么"()=()"和"()eq()"评估为false？

Question

以下XQuery代码段:

let $x := ()
return if (not($x eq $x) and not($x = $x))
    then "wat"
    else "makes sense"

回报wat.为什么？在有效的布尔值,空序列的应该是false,但都false() eq false()和false() = false()评估,以true...

Answer 1

有关值比较运算符,请参阅https://www.w3.org/TR/xquery-31/#id-comparisonseq,它说:"如果雾化操作数是空序列,则值比较的结果为空序列".因此,() eq ()计算结果为(),然后not(())到true().