为什么 xml-to-json 函数返回指数符号？

Question

我的所有 XSLT 在使用 xml-to-json() 函数时都可以工作，除了这部分，

<number key="send_at">
    <xsl:text>1615842000</xsl:text>
</number>

返回

"send_at":1.615842E9

当我打算得到这个结果时：

"send_at":1615842000

Answer 1

XPath 3.1 ^{_（当前）}

根据规范 (XPath and XQuery Functions and Operators 3.1)，将数字转换为指数表示法是正确的：

17.5.4 fn:xml-to-json

规则

输入树中的节点通过应用以下规则来处理， 递归。

4. 一个元素$E命名数字导致xs:string(xs:double(fn:string($E)))的字符串结果的输出

fn:xml-to-json 函数确实允许$options 参数，它提供了一种实现依赖于扩展的方法。 Saxon 10.5 已经利用这种机制来支持传递值，而不考虑 JSON 有效性：¹

map{'number-formatter':function($x){$x}}

XPath 4 ^{_{（即将推出）}}

格式化程序是fn:xml-to-json planned for XPath 4 的官方支持选项：²

number-formatter：确定数值的格式。

• 类型：(function(xs:string) as xs:string)?
• 默认：()

---

_{¹ 感谢 Michael Kay 注意到这个机制（并预见到它的需要（并且已经在 Saxon 10.5 中实现它））。
² 感谢 Martin Honnen 注意到这次 XPath 4 更新。}