XSLT字符串序列用except操作报错，Oxygen提示需node类型求解

问题重现 #

以下XSLT代码在XMLSpy中保存正常但运行报错，在Oxygen 21搭配Saxon 12.5中直接报错：

<?xml version="1.0" encoding="UTF-8"?>
<xsl:stylesheet version="2.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform" xmlns:fo="http://www.w3.org/1999/XSL/Format" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:fn="http://www.w3.org/2005/xpath-functions">
<xsl:variable name="x" select="('a', 'b')" as="xs:string+" />
        <xsl:variable name="y" select="('b', 'c')" as="xs:string+"/>
        <xsl:variable name="a_exc_y" select="$x except $y"/>
</xsl:stylesheet>

Oxygen报错提示：

The required item type of the first operand of 'except' is node(). The supplied value is an atomic value.

用户尝试过从元素属性构建字符串列表、静态列表、data($x)转换、转成xs:anyAtomicValue*等方式，均无法解决问题，疑问是否无法对字符串序列使用集合操作。

错误原因 #

except是XPath的节点集合操作符，仅适用于节点类型的序列，不能处理字符串、数字这类原子值序列。直接对字符串序列使用except会触发类型不匹配错误，这就是两款工具报错的核心原因。

解决方法 #

针对字符串序列的差集需求，可采用以下几种替代方案：

方案1：过滤表达式实现基础差集 #

通过过滤语法筛选$x中不在$y里的元素，XSLT 2.0及以上版本通用：

<xsl:variable name="a_exc_y" select="$x[not(. = $y)]"/>

逻辑：逐个检查$x中的每个字符串，保留与$y中所有元素都不相等的项。

方案2：XSLT 3.0专用集合函数 #

如果使用支持XSLT 3.0的处理器（如Saxon 9.8及以上版本），可直接用fn:set-difference函数，它原生支持原子值序列的集合操作：

<xsl:variable name="a_exc_y" select="fn:set-difference($x, $y)"/>

该函数会直接返回$x中存在但$y中不存在的所有元素，无需额外处理。

方案3：处理带重复值的差集（可选） #

如果序列中存在重复值，需要保留重复项的差集结果，方案1本身已支持该逻辑；若需去重，可套一层distinct-values()：

<xsl:variable name="a_exc_y" select="distinct-values($x[not(. = $y)])"/>

内容的提问来源于stack exchange，提问作者Zug_Bug