<?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>
Call of func_1: </xsl:text>
<xsl:value-of select="foo:func_1()"/>
<xsl:text>
Call of func_1: </xsl:text>
<xsl:value-of select="foo:func_1()"/>
<xsl:text>
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.此元素在名为“node”的本地范围变量中创建.
基于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
问题/进一步深入
我尽我所能调试了这个问题.如果我将函数“func_1”中的xsl：value-of更改为xsl：sequence,则所有版本[如预期]的结果将相同.但那不是我的意图！
我想了解,在整个Saxon版本中,xsl：value-of和xsl：sequence之间有什么区别.
有没有“隐藏”的缓存？在我的情况下,使用xsl：sequence和xsl：value-of的正确方法是什么. [顺便说一句：我已经知道了,value-of创建了一个带有select语句结果的文本节点. sequence可以是对节点或原子值的引用.不解决我的问题afaik]
Saxon优化器在这些约束条件下尽可能地进行优化,特别是通过识别创建新节点的函数并避免对这些函数进行积极优化.
但规范本身并非100％规范.例如,如果在您的示例中有一个局部变量没有依赖于函数参数,我认为规范为实现提供了关于变量的值是否是每个评估中的相同节点,或者是新节点的许可.
正如Martin所说,每次新的XSLT 3.0属性都试图控制它：如果每次调用函数时你真的想要一个新节点,你应该指定new-every-time =“yes”.
注意：
这里发生的具体优化(通过运行-explain选项可以看到)是首先内联func_2,然后将其主体提取到全局变量中.有些版本正在执行此操作,而其他版本则没有 – 它可能对较小的更改非常敏感.最好的建议是不要依赖具有这种副作用的功能.如果你解释了你的真实问题会有所帮助,那么也许我们可以找到一种对语言语义中的边缘情况不那么敏感的方法.
