我如何优化 XPath 测试 not(previous-sibling::sect1) 以测试这是否是第一个 sect1 子元素？

Question

我正在开发一个 XSLT 1.0 样式表（并使用 xsltproc 应用它）。我脚本中的一个模板应该对给定父节点中的第一个 <sect1> 元素和最后一个 <sect1> 元素执行一些特殊处理。现在这种特殊处理是这样实现的：

<xsl:template match="sect1">
  <xsl:if test="not(preceding-sibling::sect1)">
    <!-- Special handling for first sect1 element goes here. -->
  </xsl:if>
  <!-- Common handling for all sect1 elements goes here. -->
  <xsl:if test="not(following-sibling::sect1)">
    <!-- Special handling for last sect1 element goes here. -->
  </xsl:if>
</xsl:template>

我想知道（只是出于好奇，脚本的运行速度对我来说很好）：有没有更有效的方法来做到这一点？ XSLT 处理器是否可能会在第一次找到匹配项后停止组装 preceding-sibling::sect1 节点集，因为它知道它只需要找到一个或零个元素？

Answer 1

XSLT 处理器是否可能 将停止组装 前兄弟::sect1 节点集 在第一个找到的匹配之后，因为它 知道它只需要找到一个 还是零元素？

我不了解 xsltproc，但 Saxon 非常擅长这类优化。我相信它只会检查第一个找到的匹配项，因为它只需要知道节点集是否为空。

但是，您始终可以通过如下更改测试来确保：

  <xsl:if test="not(preceding-sibling::sect1[1])">

和

  <xsl:if test="not(following-sibling::sect1[1])">

因为这只会测试每个轴上的第一个兄弟。请注意，每种情况下的 [1] 指的是 XPath 步骤的顺序，即轴的顺序，不一定是文档顺序。所以preceding-sibling::sect1[1] 指的是紧接在当前元素之前的 sect1 兄弟，而不是文档顺序中的第一个 sect1 兄弟。因为preceding-sibling轴的方向是反向的。

Answer 2

假设调用模板的上下文是子节点选择，那么我提供以下内容。如果他们被调用的上下文是通过不同的轴（比如前兄弟或祖先），那么接近它的方法是最好的。

两种可能性是简化测试，或者用不同的模板替换它们：

更简单的测试：

<xsl:template match="sect1">
  <xsl:if test="position() = 1">
    <!-- Special handling for first sect1 element goes here. -->
  </xsl:if>
  <!-- Common handling for all sect1 elements goes here. -->
  <xsl:if test="position() = last()">
    <!-- Special handling for last sect1 element goes here. -->
  </xsl:if>
</xsl:template>

不同的模板：

<xsl:template name="handleSect1">
  <!-- Common handling for all sect1 elements goes here. -->
<xsl:template>
<xsl:template match="sect1">
  <xsl:call-template name="handleSect1"/>
</xsl:template>
<xsl:template match="sect1[1]">
  <!-- Special handling for first sect1 element goes here. -->
  <xsl:call-template name="handleSect1"/>
</xsl:template>
<xsl:template match="sect1[last()]">
  <xsl:call-template name="handleSect1"/>
  <!-- Special handling for last sect1 element goes here. -->
</xsl:template>
<xsl:template match="sect1[position() = 1 and position() = last()]">
  <!-- Special handling for first sect1 element goes here. -->
  <xsl:call-template name="handleSect1"/>
  <!-- Special handling for last sect1 element goes here. -->
</xsl:template>

既然您说“优化”，我假设您关心哪个处理速度更快。它会根据 xslt 处理器、处理模式（有些具有“编译”选项，这将影响哪个更有效）和输入 XML 的不同而有所不同。最快的可能是这些或您的原始版本。

真的，每一个都应该和另一个一样高效，区别在于处理器设法进行的优化。

在这种情况下，我会在我的答案中支持第一个，因为它是最简洁的，但如果我不希望在所有 4 个案例之间共享共同处理，我会支持第二个答案中的方法，这很明显为每种情况标记不同的方法。

Answer 3

我认为你应该能够做到

  <xsl:if test="position() = 1">
    <!-- Special handling for first sect1 element goes here. -->
  </xsl:if>
  <!-- Common handling for all sect1 elements goes here. -->
  <xsl:if test="position() = last()">
    <!-- Special handling for last sect1 element goes here. -->
  </xsl:if>

因为position() 和last() 是上下文相关的。