我正在使用 XSLT。我知道Inline Function Expressions，有没有办法在 xpath 表达式中声明一个命名函数？因为我需要函数名来实现递归调用。
【问题讨论】：
xsl:function 可以轻松完成，在纯 XPath 中使用 let。
标签： xslt xpath xslt-3.0 xpath-3.1
在 XSLT 中，我只是建议使用 xsl:function，因为这样您的函数就有了一个名称，并且您可以在函数体内递归地调用它。
至于纯 XPath 3，Dimitre 几年前在 https://dnovatchev.wordpress.com/2012/10/15/recursion-with-anonymous-inline-functions-in-xpath-3-0-2/ 中使用 let 和高阶函数（不幸的是，Saxon 9 HE 不支持该特性）探索了这条路径，我认为他的代码使用函数类型语法与最终规范不太一致，因此他的示例需要
let $f :=
function($n as xs:integer,
$f1 as function(xs:integer, function(*)) as xs:integer) as xs:integer {
if ($n eq 0)
then 1
else $n * $f1($n -1, $f1)
},
$F := function($n as xs:integer) as xs:integer {
$f($n, $f)
}
return $F(5)
可以简写为
let $f :=
function($n as xs:integer,
$f1 as function(xs:integer, function(*)) as xs:integer) as xs:integer {
if ($n eq 0)
then 1
else $n * $f1($n -1, $f1)
},
$F := $f(?, $f)
return $F(5)
我认为考虑到最新允许的语法。
【讨论】：
$F := $f(?, $f) 的表达太棒了！然而，这使得F() 的定义不可读——对于读者来说F() 的参数类型是什么并不明显，他必须研究其他函数才能理解这些类型是什么...... - - 与显式定义相比，有些东西相当耗时且容易出错。即使我们设计了一个可以生成 F() 完整签名的工具，这仍然很耗时且难以执行——换句话说，不方便.
var 来声明变量而不输入变量时，我最初的想法是我不需要它并且永远不会使用它；但现在我认为它在 C# 中使用 Saxon 并深入研究其复杂的 API 时很有帮助。
没有办法在 XPath 中声明命名函数； XPath 3.1 只允许匿名内联函数，并且这些函数不能递归。有人告诉我，有一种方法可以使用一种称为 Y-combinators 的技术在匿名函数中实现递归，但它相当令人难以置信，我从来没有想过它。正如 Martin 所建议的，您最好的方法是将这部分逻辑放在 XSLT 级别。
【讨论】：