Сортировка массива Perl на месте?

Ответ 1

Perl позволяет сортировать массивы на месте с idiom @arr = sort @arr. В отличие от обычного поведения оператора присваивания в этом случае копий не будет. Однако эта оптимизация ограничена обычными переменными массива; он не будет работать с ссылками на массивы:

Посмотрите под капот, используя опцию -MO=Concise. Во-первых, мы делаем обычную сортировку на месте, чтобы увидеть, чего мы ожидаем:

$ perl -E'say $^V'
v5.18.2
$ perl -MO=Concise -e'my @arr; @arr = sort @arr'
8  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:{ ->3
3     <0> padav[@arr:1,2] vM/LVINTRO ->4
4     <;> nextstate(main 2 -e:1) v:{ ->5
-     <1> ex-aassign vKS/64 ->8
-        <1> ex-list lK ->-
5           <0> pushmark s ->6
7           <@> sort lK/INPLACE ->8
6              <0> padrange[@arr:1,2] l/1 ->7
-              <0> padav[@arr:1,2] lRM* ->7
-        <1> ex-list lK ->-
-           <0> ex-pushmark s ->-
-           <0> ex-padav lRM* ->-
-e syntax OK

Интересно: <@> sort lK/INPLACE ->8, который, кажется, сортируется на месте. Теперь сделаем то же самое со ссылками:

$ perl -MO=Concise -e'my $ref; @$ref = sort @$ref'
e  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:{ ->3
3     <0> padsv[$ref:1,2] vM/LVINTRO ->4
4     <;> nextstate(main 2 -e:1) v:{ ->5
d     <2> aassign[t4] vKS/COMMON ->e
-        <1> ex-list lK ->a
5           <0> pushmark s ->6
9           <@> sort lK ->a
6              <0> pushmark s ->7
8              <1> rv2av[t3] lK/1 ->9
7                 <0> padsv[$ref:1,2] s ->8
-        <1> ex-list lK ->d
a           <0> pushmark s ->b
c           <1> rv2av[t2] lKRM*/1 ->d
b              <0> padsv[$ref:1,2] sM/DREFAV ->c
-e syntax OK

Я не вижу флаг inplace в <@> sort lK ->a. Поэтому оптимизация работает только при использовании одной и той же переменной, а не при использовании одного и того же массива. Но это означает, что мы можем сортировать ссылки массива на месте, если мы перечислим переменную массива в массив, на который ссылается некоторый скаляр (используя Data::Alias):

perl -MData::Alias -MO=Concise -e'my $ref; alias my @arr = @$ref; @arr = sort @arr'
e  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:{ ->3
3     <0> padsv[$ref:1,3] vM/LVINTRO ->4
4     <;> nextstate(main 2 -e:1) v:{ ->5
-     <1> entersub vKS/INARGS ->a
         ...
a     <;> nextstate(main 3 -e:1) v:{ ->b
-     <1> ex-aassign vKS/64 ->e
-        <1> ex-list lK ->-
b           <0> pushmark s ->c
d           <@> sort lK/INPLACE ->e
c              <0> padrange[@arr:2,3] l/1 ->d
-              <0> padav[@arr:2,3] lRM* ->d
-        <1> ex-list lK ->-
-           <0> ex-pushmark s ->-
-           <0> ex-padav lRM* ->-
-e syntax OK

... и флаг inplace снова существует <@> sort lK/INPLACE ->e: -)

Это означает, что ответ Эрика Строма неверен.

Ответ 2

Поскольку perl 5.8.4, оптимизируется сортировка @a = sort @a на месте. Подробнее см. Ссылки ниже:

Улучшения производительности в perl584delta

http://perl5.git.perl.org/perl.git/commit/fe1bc4cf71e7b04d33e679798964a090d9fa7b46?f=pp_sort.c

+    /* optimiser converts "@a = sort @a" to "sort \@a";
+     * in case of tied @a, pessimise: push (@a) onto stack, then assign
+     * result back to @a at the end of this function */

Итак, вы должны иметь возможность написать:

@$intervals = sort by_position @$intervals

И в perl позже 5.8.3 вы увидите сокращение использования памяти (и сохранение сглаживания в редкие моменты, когда это имеет значение).

Ответ 3

Второй пример создаст новую ссылку: $x = [ qw( a c b ) ]; say $x; @$x = sort @$x; say $x; $x = [sort @$x]; say $x. Первый пример делает то, что вы пожелаете. ref.