XSLT函数返回不同的结果[Saxon与Saxon/PE]

Question

我目前正在使用各种版本的Saxon处理器进行纯XSL转换。下面是我的简短样式表，为我的问题的需要而简化：

<?xml version="1.0" encoding="UTF-8"?>
<xsl:stylesheet version="2.0"
    xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
    xmlns:xs="http://www.w3.org/2001/XMLSchema"
    xmlns:foo="bar">

    <xsl:output encoding="UTF-8" method="text"/>

    <xsl:template match="/">
        <xsl:text>Call of func_1: </xsl:text>        
        <xsl:value-of select="foo:func_1()"/>

        <xsl:text>&#xA;Call of func_1: </xsl:text>
        <xsl:value-of select="foo:func_1()"/>

        <xsl:text>&#xA;Call of func_1: </xsl:text>
        <xsl:value-of select="foo:func_1()"/>

        <xsl:text>&#xA;Call of func_2: </xsl:text>
        <xsl:value-of select="foo:func_2()"/>
    </xsl:template>

    <xsl:function name="foo:func_1" as="xs:string">
        <!-- do some other stuff -->
        <xsl:value-of select="foo:func_2()"/>
    </xsl:function>

    <xsl:function name="foo:func_2" as="xs:string">
        <xsl:variable name="node">
            <xsl:comment/>
        </xsl:variable>
        <xsl:sequence select="generate-id($node)"/>
    </xsl:function>

</xsl:stylesheet>

描述

foo:func_1是一个包装函数，用于返回第二个函数的值+执行其他操作，这是可以忽略的。这个函数的概念调用其他函数是强制性的！

foo:func_2为元素生成唯一的id。此元素是在名为“节点”的本地作用域变量中创建的。

基于撒克逊版本的不同结果

预期结果：

Call of func_1: d2
Call of func_1: d3
Call of func_1: d4
Call of func_2: d5

撒克逊-EE 9.6.0.7 /撒克逊-EE 9.6.0.5结果

Call of func_1: d2
Call of func_1: d2
Call of func_1: d2
Call of func_2: d3

Saxon 9.6.0.5 /Saxon 9.6.0.5 /Saxon 9.5.1.6 /Saxon 9.5.1.6结果

like expected

问题/深度

我尽我所能自己解决了这个问题。如果我将函数“xsl:value-of”中的"func_1“更改为xsl:sequence，则所有版本(如预期)的结果都是相同的。但这不是我的本意！

我想了解，xsl:value-of和xsl:sequence在整个撒克逊版本中有什么区别。有没有“隐藏”缓存？在我的例子中，使用xsl:sequence和xsl:value-of的正确方法是什么？顺便说一下:我已经知道了，value-of创建了一个文本节点，其结果是select-语句。序列可以是对节点或原子值的引用。不要解决我的问题

Answer 1

这是一个长期存在且相当深的问题.在纯函数语言中，使用相同的参数两次调用纯函数总是产生相同的结果。这使得许多优化成为可能，例如，如果参数是不变的，则从循环中提取函数调用；如果函数调用不是递归的，则将函数调用内联。不幸的是，XSLT和XQuery函数并不完全是功能性的:特别地，它们被定义为如果函数创建新节点，那么调用该函数两次会产生不同的节点(f() is f()返回false)。

Saxon优化器尽力在这些约束范围内进行优化，特别是通过识别创建新节点的函数，并避免对这些函数进行积极的优化。

但规范本身并不是100%的规定性。例如，如果像在您的示例中一样，有一个局部变量不依赖于函数参数，我认为规范为实现授权，说明变量的值在每个计算中是相同的节点，还是一个新的节点。

正如Martin所说，新的XSLT3.0属性--每次新的--都是试图控制这种情况:如果您真的希望每次调用函数时都需要一个新节点，那么您应该指定new-each-time="yes"。

注：

这里发生的具体优化(通过使用-explain选项运行可以看到)是，func_2首先是内联的，然后它的主体被提取到一个全局变量中。有些版本正在这样做，而另一些版本则不这样做--它可能对微小的更改非常敏感。最好的建议是不要依赖有这种副作用的功能。如果您解释了您的实际问题，那么也许我们可以找到一种对语言语义中的边缘案例不那么敏感的方法。