Как работает O = Deparse, а Perl имеет и складывает постоянные массивы?

Question

Мне интересно, -MO=Deparse покажет вам все оптимизации Perl, и почему это не складывается в Perl 5.10?

$ perl -MO=Deparse -e'[qw/foo bar baz/]->[0]' 
['foo', 'bar', 'baz']->[0]; 
-e syntax OK 

Некоторые на IRC думали, что O=Deparse не может показывать все это, но это, безусловно, показывает некоторое постоянное складывание.

$ perl -MO=Deparse -e'use constant "foo" => "bar"; foo' 
use constant ('foo', 'bar'); 
'???'; 
-e syntax OK 

Тот же результат, если я явно напишу константу sub. Хотя предсказуемо, также довольно интересно, что в документации в constant.pm вы создали список констант , а не постоянный массив . Я предполагаю, что не только это не сложено, как скалярные константы, но требует накладных расходов на создание нового массива при каждом вызове.

$ perl -MO=Deparse -e'use constant foo => qw/foo bar baz/; (foo)[0]' 
use constant ('foo', ('foo', 'bar', 'baz')); 
(foo)[0]; 
-e syntax OK 

Единственный вывод, который я могу прийти к тому, -MO=Deparse показывает все складывания, и постоянные массивы просто не оптимизированы в Perl? Это так? Есть ли для этого техническая причина?

Answer 1

Вы не можете создавать постоянные массивы, потому что массивы не являются данными. Perl 5 имеет пять типов данных (вещей, которые могут храниться в переменных):

• никакой ценности (UNDEF)
• номера
• строки
• ссылки
• списки (составленные из одного или больше из предыдущих типов)

Вы можете сделать постоянную из любого из них. Perl 5 также имеет три контейнера:

• Скалярное
• массива
• Hash

Скаляры может содержать любой из первых четырех типов данных, массивы и хэши может содержать списки. Важно не путать вещи, которые хранят данные и сами данные.

Что касается B::Deparse, он выгружает опцию после того, как он будет построен, поэтому он покажет результаты всех постоянных сгибаний.

Я еще не думал об этом достаточно, но я не вижу никаких очевидных причин, по которым его невозможно сложить.

Answer 2

Вы не можете сделать постоянный массив в Perl, внутри внутренних элементов нет ничего, чтобы указать постоянный массив или хэш или даже скаляр. «use constant» использует способность Perl встроить подпрограммы с прототипом () и простым кодом. Лучшее, что вы можете сделать, это установить флаг readonly, но его можно отключить во время выполнения.

Perl может использовать флаг readonly во время компиляции в качестве подсказки, чтобы указать, что массив действительно является readonly, а затем встраивает любой доступ, используя постоянный индекс. Такая эвристика, вероятно, будет безопасной, поскольку флаг readonly не должен быть доступен для пользователя, и вы, вероятно, не должны его переворачивать.