types - XQuery:为什么 "() = ()"和 "() eq ()"都计算为 false？

Question

以下 XQuery 片段:

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

返回wat。为什么？ Effective Boolean Value一个空序列应该是 false，但是 false() eq false() 和 false() = false() 的计算结果都是真…

Answer 1

参见 https://www.w3.org/TR/xquery-31/#id-comparisons对于像 eq 这样的值比较运算符，它表示:“如果原子化操作数是一个空序列，则值比较的结果是一个空序列”。所以 () eq () 求值为 ()，然后 not(()) 求值为 true()。