XSLT函数返回不同的结果[Saxon-EE vs Saxon-HE / PE]

时间:2016-09-08 09:20:19

标签: xml xslt xpath xslt-2.0 saxon

我目前正在使用各种版本的Saxon-Processor进行纯XSL-Transformation。下面是我的简短样式表,简化了我的问题:

<?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。此元素在名为&#34; node&#34;。

的本地范围变量中创建

基于Saxon版本的不同结果

预期结果:

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

Saxon-EE 9.6.0.7 / Saxon-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-HE 9.6.0.5 / Saxon-PE 9.6.0.5 / Saxon-EE 9.5.1.6 / Saxon-HE 9.5.1.6结果

like expected

问题/进一步深入

我尽可能自己调试问题。如果我要更改功能中的xsl:value-of&#34; func_1&#34;到xsl:sequence,所有版本[如预期]的结果将相同。但那不是我的意图!

我想了解,在整个撒克逊版本中,xsl:value-ofxsl:sequence之间有什么区别。 有没有&#34;隐藏&#34;缓存?在我的案例中,使用xsl:sequencexsl:value-of的正确方法是什么。 [顺便说一下:我已经知道了,value-of创建了一个带有select语句结果的文本节点。 sequence可以是对节点或原子值的引用。不要解决我的问题]

1 个答案:

答案 0 :(得分:2)

这是一个长期存在且相当深刻的问题。在纯函数式语言中,使用相同的参数调用两次纯函数总会产生相同的结果。这使得许多优化成为可能,例如,如果参数是不变的,则将函数调用从循环中拉出,或者如果函数调用不是递归的,则内联函数调用。不幸的是,XSLT和XQuery函数并不是非常纯粹的功能:特别是,它们被定义为如果函数创建新节点,则调用该函数两次会产生不同的节点(f() is f()返回false)。< / p>

Saxon优化器在这些约束条件下尽可能地进行优化,特别是通过识别创建新节点的函数并避免对这些函数进行积极优化。

但规范本身并非100%规范。例如,如果在您的示例中有一个局部变量没有依赖于函数参数,我认为规范为实现提供了关于变量的值是否是每个评估中的相同节点,或者是新节点的许可

正如Martin所说,每次新的XSLT 3.0属性都试图控制它:如果每次调用该函数时你真的想要一个新节点,你应该指定new-each-time="yes"。 / p>

注意:

此处发生的特定优化(通过运行-explain选项可以看到)是首先内联func_2,然后将其主体提取到全局变量中。有些版本正在执行此操作,而其他版本则没有 - 它可能对较小的更改非常敏感。最好的建议不是依赖于具有这种副作用的功能。如果你解释了你的真实问题会有所帮助,那么也许我们可以找到一种对语言语义中的边缘情况不那么敏感的方法。