Sorts a supplied sequence, based on the value of a sort key supplied as a function.
fn:sort( $input as item()*item()*fn:sort( $input as item()*,$collation as xs:string?item()*fn:sort( $input as item()*,$collation as xs:string?,$key as function(item()) as xs:anyAtomicType*item()*Calling the single-argument version of the function is equivalent to calling the two-argument form
with default-collation() as the second argument: that is, it sorts a sequence of items according
to the typed value of the items, using the default collation to compare strings.
Calling the two-argument version of the function is equivalent to calling the three-argument form
with fn:data#1 as the third argument: that is, it sorts a sequence of items according
to the typed value of the items, using a specified collation to compare strings.
In the case of both fn:sort#2 and fn:sort#3, supplying an empty
sequence as the second argument is equivalent to supplying fn:default-collation(). For more
information on collations see .
The result of the function is obtained as follows:
For each item in the sequence $input, the function supplied as $key
is evaluated with that item as its argument.
The resulting values are the sort keys of the items in the input sequence.
The result sequence contains the same items as the input sequence $input, but generally in a different order.
Let $C be the selected collation, or the default collation where applicable.
The order of items in the result is such that, given two items $A and $B:
If (fn:deep-equal($key($A), $key($B), $C), then the relative order of $A and $B
in the output is the same as their relative order in the input (that is, the sort is stable)
Otherwise, if (deep-less-than($key($A), $key($B), $C), then $A precedes $B in the output.
The function deep-less-than is defined as the boolean result of the expression:
if (fn:empty($A))
then fn:exists($B)
else if (fn:deep-equal($A[1], $B[1], $C))
then deep-less-than(fn:tail($A), fn:tail($B), $C)
else if ($A[1] ne $A[1] (:that is, $A[1] is NaN:))
then fn:true()
else if (is-string($A[1]) and is-string($B[1])
then fn:compare($A[1], $B[1], $C) lt 0
else $A[1] lt $B[1]
where the function is-string($X) returns true if and only if $X is an instance of
xs:string, xs:anyURI, or xs:untypedAtomic.
This ordering of sequences is referred to by mathematicians as "lexicographic ordering".
The expression fn:sort((1, 4, 6, 5, 3)) returns (1, 3, 4, 5, 6).
The expression fn:sort((1, -2, 5, 10, -10, 10, 8), (), fn:abs#1) returns (1, -2, 5, 8, 10, -10, 10).
To sort a set of strings $in using Swedish collation:
To sort a sequence of employees by last name as the major sort key and first name as the minor sort key, using the default collation:
fn:sort($employees, (), function($emp) {$emp/name ! (last, first)})If the set of computed sort keys contains values that are not comparable using the lt operator then the sort
operation will fail with a type error ().
XSLT and XQuery both provide native sorting capability, but previous releases of XPath provided no sorting functionality for use in standalone environments.
In addition there are cases where this function may be more flexible than the built-in sorting capability for XQuery or XSLT, for example when the sort key or collation is chosen dynamically, or when the sort key is a sequence of items rather than a single item.
The results are compatible with the results of XSLT sorting (using xsl:sort) in the case where the sort key evaluates to a sequence of
length zero or one, given the options stable="yes" and order="ascending".
The results are compatible with the results of XQuery sorting (using the order by clause) in the case where the sort key evaluates to a sequence of
length zero or one, given the options stable, ascending, and empty least.