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

Question

用于删除前导零的构造在 Altova XML Spy 中运行良好。使用 Saxon-HE 9.4 java 出现异常:

Error at xsl:value-of on line 6 column 59 of question.xslt: FORX0002: Error at character 4 in regular expression "^0+(?!$)": expected ())

代码:

<?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>

我有解决方法，问题是理论上的。也许，必须使用特殊字符？

Answer 1

Saxon 严格遵守 XPath 规范中定义的正则表达式语法。其他一些引擎可能更自由，并允许它们碰巧使用的正则表达式库允许的任何内容。 XPath 规范中不允许语法 (?!$)。

在 Perl 中，(?!$) 是一个零宽度负先行断言，它匹配除字符串末尾之外的所有内容。我想这就是你的意思。所以

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

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