返回布尔值的递归函数，内部有一个 for 循环

Question

我的数据是一个二叉树，并且会检查每个子节点，如果找到我想要的数据则返回 true，如果没有，它会继续寻找它。 以某种方式，我想返回变量@exists或其他东西。好吧，任何人都可能有解决我的问题的方法。我在想类似的事情，但我无法让它发挥作用！ （代码片段）

declare function local:test($id as xs:integer, $topic as xs:integer) as xs:boolean {
    let $exists := fn:false()
    for $x in ...
    return
        if .. then
            set exists to fn:true()
        else
            set exists to exists OR local:test($x,$topic)

    return @exists in some way  
};

Answer 1

这是 XQuery 量化表达式 的情况。使用它，你的函数可以转换为

declare function local:test($id as xs:integer, $topic as xs:integer) as xs:boolean
{
  some $x in ...
  satisfies
    if (..) then
      fn:true()
    else
      local:test($x,$topic)
};

Answer 2

正如已经提到的，XQuery 是一种函数式语言。您不能只设置变量并返回它。您的查询可以重写为：

declare function local:test($id as xs:integer, $topic as xs:integer) as xs:boolean {
    exists(for $x in ...
           where (: here is condition expression on $x :)
           return $x)
};

如果 Expr 的值不是空序列，则函数 exists(Expr) 返回 true；否则，该函数返回false。

在这种情况下，如果存在满足指定条件的 $x，则 exists 返回 true。

Answer 3

您无法更改 xquery 中变量的值。

你的整个功能不只是这样吗：

declare function local:test($topic as xs:integer) as xs:boolean {
     ... OR local:test($topic/...)
};