为什么XSLT前瞻模式在Saxon HE 9.4 java中不起作用

删除前导零的构造在Altova XML Spy中运行良好。 对于Saxon，9.4 java遇到了异常：

question.xslt第59列第6行的xsl:value处出错： FORX0002:正则表达式“^0+（？！$）中的字符4处出错：应为（））

代码：

<?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:fn="http://www.w3.org/2005/xpath-functions">
    <xsl:output method="xml" version="1.0" encoding="UTF-8" indent="yes"/>
    <xsl:template match="/">
        <result>
            <xsl:value-of select="replace('00012','^0+(?!$)','')"/>
        </result>
    </xsl:template>
</xsl:stylesheet>

我有解决办法，这个问题是理论性的。

---

可能必须使用特殊字符？

和中给出了XSLT/XPath 2.0中正则表达式的语法。我认为这里不允许使用

（？！$）

。

Saxon严格遵守XPath规范中定义的正则表达式语法。其他一些引擎可能更自由，允许他们使用的正则表达式库允许的任何内容。XPath规范中不允许使用语法（？！$）

在Perl中，（？！$）是一个零宽度负前瞻断言，它匹配除字符串结尾之外的所有内容。我想这就是你想表达的意思。所以

replace('00012','^0+(?!$)','')

---

将删除字符串开头的任何零序列，前提是它不在字符串末尾。例如，它会将0012更改为12，而将000保留为000。这似乎是一个有点奇怪的要求：通常我只会使用string（xs:integer（.））来删除所有不重要的零，但这并没有保持“000”完整的属性。如果这确实是您需要做的，那么也许在字符串末尾添加一个“Z”，然后执行替换（$x，“^0+[^Z]”，“”）就可以满足需要。

也许，必须使用特殊字符而不是“？”？在XML中，Spy也可以很好地工作。谢谢您的回答。这种模式在爪哇很有效。我希望，如果Saxon使用Java“Java.util.regex.Pattern”类进行求值，它一定能工作。但现在很清楚，正如XPath规范中所提到的，所有这些都工作得很顺利。问题模式中提到的只是一个前瞻性示例。下面是一些关于示例的注释。模式删除前导零，将“0012”转换为“12”，将“000”转换为“0”。已处理的节点具有“xs:string”类型，而对于空字符串表达式“string（xs:integer（.）”会导致错误。如果将“0”添加到字符串的开头，所有这些都必须正常工作。我使用了其他解决方法，前提是模式不是问题。