¿Cómo localizar una variable en un ámbito superior en Perl?

Question

me he encontrado con el siguiente patrón de un par de veces, mientras que el desarrollo de módulos de Perl que utilizan AUTOLOAD u otras técnicas subrutina de despacho:

sub AUTOLOAD { 
    my $self = $_[0]; 

    my $code = $self->figure_out_code_ref($AUTOLOAD); 

    goto &$code; 
} 

Esto funciona bien, y caller ve el alcance correcto.

Ahora lo que me gustaría hacer es establecer $_ localmente igual a $self durante la ejecución de &$code. ¿Cuál sería algo como esto:

sub AUTOLOAD { 
    my $self = $_[0]; 

    my $code = $self->figure_out_code_ref($AUTOLOAD); 

    local *_ = \$self; 

    # and now the question is how to call &$code 

    # goto &$code; # wont work since local scope changes will 
        # be unrolled before the goto 

    # &$code; # will preserve the local, but caller will report an 
       # additional stack frame 
} 

Soluciones que conlleva incluir caller no son aceptables debido a problemas de rendimiento y de dependencia. Entonces eso parece descartar la segunda opción.

Volviendo a la primera, la única manera de evitar que el nuevo valor de $_ de ir fuera de alcance durante el goto sería o bien no localizar el cambio (no es una opción viable) o para implementar algún tipo de uplevel_local o goto_with_local.

He jugado un poco con todo tipo de permutaciones que implican PadWalker, Sub::Uplevel, Scope::Upper, B::Hooks::EndOfScope y otros, pero no han sido capaces de llegar a una solución robusta que limpia $_ en el momento adecuado, y no se ajusta caller .

¿Alguien ha encontrado un patrón que funcione en este caso?

(la pregunta SO: How can I localize Perl variables in a different stack frame? está relacionado, pero conservando caller no era un requisito, y en última instancia la respuesta que había que usar un enfoque diferente, por lo que la solución no es útil en este caso)

Answer 1

Sub :: uplevel parece funcionar - al menos por un simple caso que no impliquen AUTOLOAD:

use strict; 
use warnings; 
use Sub::Uplevel; 

$_ = 1; 
bar(); 

sub foo { 
    printf "%s %s %d - %s\n", caller, $_ 
} 

sub bar { 
    my $code = \&foo; 
    my $x = 2; 
    local *_ = \$x; 
    uplevel 1, $code; 
} 

La salida es:

main c:\temp\foo.pl 6 - 2 

De acuerdo, esto no localiza realmente una variable en el alcance principal, pero no creo que realmente quiera hacer eso aunque pueda. Solo desea localizar $_ durante la duración de la llamada.

Answer 2

La documentación perlfunc para goto señala (énfasis añadido)

La forma goto-&NAME es bastante diferente de las otras formas de "goto". De hecho, no es un goto en el sentido normal en absoluto, y no tiene el estigma asociado con otros gotos. En cambio, cuando sale de la subrutina actual (perdiendo los cambios establecidos por local ...)

¿Qué tipo de problemas de rendimiento permiten el direccionamiento indirecto a través de la auto-carga, pero no a través de un envoltorio?