XQuery 1.0循环中变量拼接未累加问题及解决方法

问题说明 #

我编写的XQuery代码尝试在循环里累加字符串，但实际输出和预期不符：

原代码 #

let $sV2 :=''
for $i in (1 to 2)
    let $sV1 := 'test1'
    let $sV2 := if (fn:string-length($sV2) != 0) then fn:concat($sV2,'||',$sV1) else ($sV1)
     return
     <test>{$sV2}</test>

实际输出 #

<test>test1</test>
<test>test1</test>

期望输出 #

<test>test1</test>
<test>test1||test1</test>

我想知道错误原因，以及在XQuery 1.0环境下的解决方法。

错误原因 #

• XQuery属于函数式编程语言，变量一旦绑定值就不可修改，且for循环的每次迭代都是独立的上下文环境。
• 外层的let $sV2 := ''初始化了一个变量，但循环内部的let $sV2 := ...是在每次迭代中重新绑定一个全新的局部变量，和外层的$sV2没有任何关联。每次迭代时，这个局部$sV2的初始值都是外层的空字符串，因此每次都会执行else分支，输出'test1'，无法实现累加效果。

XQuery 1.0解决方案 #

由于XQuery 1.0不支持XQuery 3.0+的fold-left等便捷累加函数，可通过以下两种方式实现需求：

方法1：基于序列切片的累加 #

先生成所有需要拼接的字符串序列，再通过遍历位置截取序列前缀，用string-join完成拼接：

let $items := (1 to 2) ! 'test1'
for $pos in 1 to count($items)
let $current-items := subsequence($items, 1, $pos)
return <test>{string-join($current-items, '||')}</test>

方法2：递归实现累加逻辑 #

通过递归函数传递累加状态，逐步构建结果元素：

declare function local:build-test-elements($remaining-items, $current-accumulator as xs:string?) {
    if (empty($remaining-items))
    then ()
    else
        let $new-accumulator := 
            if ($current-accumulator) 
            then concat($current-accumulator, '||', $remaining-items[1]) 
            else $remaining-items[1]
        return (
            <test>{$new-accumulator}</test>,
            local:build-test-elements(subsequence($remaining-items, 2), $new-accumulator)
        )
};

local:build-test-elements((1 to 2) ! 'test1', ())

以上两种方法都能生成符合预期的输出，核心思路是将累加状态传递到后续的处理步骤中，而非依赖循环内的变量重新绑定。

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