# Currently the hints for pp_sort are stored in the global variable
# $sort::hints. An improvement would be to store them in $^H{SORT} and have
# this information available somewhere in the listop OP_SORT, to allow lexical
# scoping of this pragma. -- rgs 2002-04-30
$sort::quicksort_bit
= 0x00000001;
$sort::mergesort_bit
= 0x00000002;
$sort::sort_bits
= 0x000000FF; # allow 256 different ones
$sort::stable_bit
= 0x00000100;
Carp
::croak
("sort pragma requires arguments");
no warnings
'uninitialized'; # bitops would warn
if (/^_q(?:uick)?sort$/) {
$hints &= ~$sort::sort_bits
;
$hints |= $sort::quicksort_bit
;
} elsif ($_ eq '_mergesort') {
$hints &= ~$sort::sort_bits
;
$hints |= $sort::mergesort_bit
;
} elsif ($_ eq 'stable') {
$hints |= $sort::stable_bit
;
} elsif ($_ eq 'defaults') {
Carp
::croak
("sort: unknown subpragma '$_'");
Carp
::croak
("sort pragma requires arguments");
no warnings
'uninitialized'; # bitops would warn
if (/^_q(?:uick)?sort$/) {
$hints &= ~$sort::sort_bits
;
} elsif ($_ eq '_mergesort') {
$hints &= ~$sort::sort_bits
;
} elsif ($_ eq 'stable') {
$hints &= ~$sort::stable_bit
;
Carp
::croak
("sort: unknown subpragma '$_'");
push @sort, 'quicksort' if $hints & $sort::quicksort_bit
;
push @sort, 'mergesort' if $hints & $sort::mergesort_bit
;
push @sort, 'stable' if $hints & $sort::stable_bit
;
push @sort, 'mergesort' unless @sort;
sort - perl pragma to control sort() behaviour
use sort 'stable'; # guarantee stability
use sort '_quicksort'; # use a quicksort algorithm
use sort '_mergesort'; # use a mergesort algorithm
use sort 'defaults'; # revert to default behavior
no sort 'stable'; # stability not important
use sort '_qsort'; # alias for quicksort
my $current = sort::current(); # identify prevailing algorithm
With the C<sort> pragma you can control the behaviour of the builtin
In Perl versions 5.6 and earlier the quicksort algorithm was used to
implement C<sort()>, but in Perl 5.8 a mergesort algorithm was also made
available, mainly to guarantee worst case O(N log N) behaviour:
the worst case of quicksort is O(N**2). In Perl 5.8 and later,
quicksort defends against quadratic behaviour by shuffling large
A stable sort means that for records that compare equal, the original
input ordering is preserved. Mergesort is stable, quicksort is not.
Stability will matter only if elements that compare equal can be
distinguished in some other way. That means that simple numerical
and lexical sorts do not profit from stability, since equal elements
are indistinguishable. However, with a comparison such as
{ substr($a, 0, 3) cmp substr($b, 0, 3) }
stability might matter because elements that compare equal on the
first 3 characters may be distinguished based on subsequent characters.
In Perl 5.8 and later, quicksort can be stabilized, but doing so will
add overhead, so it should only be done if it matters.
The best algorithm depends on many things. On average, mergesort
does fewer comparisons than quicksort, so it may be better when
complicated comparison routines are used. Mergesort also takes
advantage of pre-existing order, so it would be favored for using
C<sort()> to merge several sorted arrays. On the other hand, quicksort
is often faster for small arrays, and on arrays of a few distinct
values, repeated many times. You can force the
choice of algorithm with this pragma, but this feels heavy-handed,
so the subpragmas beginning with a C<_> may not persist beyond Perl 5.8.
The default algorithm is mergesort, which will be stable even if
you do not explicitly demand it.
But the stability of the default sort is a side-effect that could
change in later versions. If stability is important, be sure to
The C<no sort> pragma doesn't
I<forbid> what follows, it just leaves the choice open. Thus, after
no sort qw(_mergesort stable);
a mergesort, which happens to be stable, will be employed anyway.
have exactly the same effect, leaving the choice of sort algorithm open.
This pragma is not lexically scoped: its effect is global to the program
it appears in. That means the following will probably not do what you
expect, because I<both> pragmas take effect at compile time, before
I<either> C<sort()> happens.
print sort::current . "\n";
print sort::current . "\n";
You can achieve the effect you probably wanted by using C<eval()>
to defer the pragmas until run time. Use the quoted argument
form of C<eval()>, I<not> the BLOCK form, as in
eval { use sort "_quicksort" }; # WRONG
or the effect will still be at compile time.
Reset to default options before selecting other subpragmas
(in case somebody carelessly left them on) and after sorting,
{ eval 'use sort qw(defaults _quicksort)'; # force quicksort
eval 'no sort "stable"'; # stability not wanted
print sort::current . "\n";
eval 'use sort "defaults"'; # clean up, for others
{ eval 'use sort qw(defaults stable)'; # force stability
print sort::current . "\n";
eval 'use sort "defaults"'; # clean up, for others
Scoping for this pragma may change in future versions.