Почему sv_setref_pv() сохраняет свой аргумент void * в слоте IV?

Question

При взгляде на API Perl, мне было интересно, почему

• sv_setref_iv() хранит его IV аргумент в слоте IV,
• sv_setref_nv() хранит его NV аргумент в слоте NV,
• но sv_setref_pv() хранит его void * аргумент в слоте IV, вместо слота PV?

У меня есть догадка (поля CUR и LEN не имеет смысла для такой переменной), но я хотел бы иметь мнение кого-то знающего в XS :-)

Answer 1

Есть много разных типов скаляров.

• SvNULL не может содержать никаких значений, кроме undef.
• SvIV способен удерживать IV, УФ или RV.
• SvNV способен удерживать NV.
• SvPV способен удерживать PV.
• SvPVIV способен удерживать PV, а также IV, UV или RV.
• ...

А.В., HV, CV, GV действительно только типы скаляр тоже.

Note Я сказал, что «способен» удерживать. Вы можете рассматривать скаляры как объекты, а выше - классы и подклассы. Каждая из вышеперечисленных функций имеет другую структуру.

Наличие этих различных типов скаляров позволяет сохранять память.

SvIV (наименьший скалярный тип, способный удерживать IV) меньше, чем SvPV (наименьший скалярный тип, способный удерживать PV).

$ perl -le' 
    use Devel::Size qw(total_size); 

    use Inline C => <<'\''__EOI__'\''; 

     void upgrade_to_iv(SV* sv) { 
     SvUPGRADE(sv, SVt_IV); 
     } 

     void upgrade_to_pv(SV* sv) { 
     SvUPGRADE(sv, SVt_PV); 
     } 

__EOI__ 

    { my $x; upgrade_to_iv($x); print total_size($x); } 
    { my $x; upgrade_to_pv($x); print total_size($x); } 
' 
24 
40 

Использование SvIV вместо SvPV - экономия в размере 16 байт на ссылку.