Persistent lexical variable values for arbitrary calls.
version 1.022
#!/usr/bin/perl
use Lexical::Persistence;
my $persistence = Lexical::Persistence->new();
foreach my $number (qw(one two three four five)) {
$persistence->call(\&target, number => $number);
}
exit;
sub target {
my $arg_number; # Argument.
my $narf_x++; # Persistent.
my $_i++; # Dynamic.
my $j++; # Persistent.
print "arg_number = $arg_number\n";
print "\tnarf_x = $narf_x\n";
print "\t_i = $_i\n";
print "\tj = $j\n";
}
Lexical::Persistence does a few things, all related. Note that all the behaviors listed here are the defaults. Subclasses can override nearly every aspect of Lexical::Persistence's behavior.
Lexical::Persistence lets your code access persistent data through lexical variables. This example prints \*(L"some value\*(R" because the value of $x persists in the $lp object between setter() and getter().
use Lexical::Persistence;
my $lp = Lexical::Persistence->new(); $lp->call(\&setter); $lp->call(\&getter);
sub setter { my $x = "some value" } sub getter { print my $x, "\n" }
Lexicals with leading underscores are not persistent.
By default, Lexical::Persistence supports accessing data from multiple sources through the use of variable prefixes. The set_context() member sets each data source. It takes a prefix name and a hash of key/value pairs. By default, the keys must have sigils representing their variable types.
use Lexical::Persistence;
my $lp = Lexical::Persistence->new(); $lp->set_context( pi => { '$member' => 3.141 } ); $lp->set_context( e => { '@member' => [ 2, '.', 7, 1, 8 ] } ); $lp->set_context( animal => { '%member' => { cat => "meow", dog => "woof" } } );
$lp->call(\&display);
sub display { my ($pi_member, @e_member, %animal_member);
print "pi = $pi_member\n"; print "e = @e_member\n"; while (my ($animal, $sound) = each %animal_member) { print "The $animal goes... $sound!\n"; } }
And the corresponding output:
pi = 3.141 e = 2 . 7 1 8 The cat goes... meow! The dog goes... woof!
By default, call() takes a single subroutine reference and an optional list of named arguments. The arguments will be passed directly to the called subroutine, but Lexical::Persistence also makes the values available from the \*(L"arg\*(R" prefix.
use Lexical::Persistence;
my %animals = ( snake => "hiss", plane => "I'm Cartesian", );
my $lp = Lexical::Persistence->new(); while (my ($animal, $sound) = each %animals) { $lp->call(\&display, animal => $animal, sound => $sound); }
sub display { my ($arg_animal, $arg_sound); print "The $arg_animal goes... $arg_sound!\n"; }
And the corresponding output:
The plane goes... I'm Cartesian! The snake goes... hiss!
Sometimes you want to call functions normally. The wrap() method will wrap your function in a small thunk that does the call() for you, returning a coderef.
use Lexical::Persistence;
my $lp = Lexical::Persistence->new(); my $thunk = $lp->wrap(\&display);
$thunk->(animal => "squirrel", sound => "nuts");
sub display { my ($arg_animal, $arg_sound); print "The $arg_animal goes... $arg_sound!\n"; }
And the corresponding output:
The squirrel goes... nuts!
Prefixes are the characters leading up to the first underscore in a lexical variable's name. However, there's also a default context named underscore. It's literally \*(L"_\*(R" because the underscore is not legal in a context name by default. Variables without prefixes, or with prefixes that have not been previously defined by set_context(), are stored in that context.
The get_context() member returns a hash for a named context. This allows your code to manipulate the values within a persistent context.
use Lexical::Persistence;
my $lp = Lexical::Persistence->new(); $lp->set_context( _ => { '@mind' => [qw(My mind is going. I can feel it.)] } );
while (1) { $lp->call(\&display); my $mind = $lp->get_context("_")->{'@mind'}; splice @$mind, rand(@$mind), 1; last unless @$mind; }
sub display { my @mind; print "@mind\n"; }
Displays something like:
My mind is going. I can feel it. My is going. I can feel it. My is going. I feel it. My going. I feel it. My going. I feel My I feel My I My
It's possible to create multiple Lexical::Persistence objects, each with a unique state.
use Lexical::Persistence;
my $lp_1 = Lexical::Persistence->new(); $lp_1->set_context( _ => { '$foo' => "context 1's foo" } );
my $lp_2 = Lexical::Persistence->new(); $lp_2->set_context( _ => { '$foo' => "the foo in context 2" } );
$lp_1->call(\&display); $lp_2->call(\&display);
sub display { print my $foo, "\n"; }
Gets you this output:
context 1's foo the foo in context 2
You can also compile and execute perl code contained in plain strings in a a lexical environment that already contains the persisted variables.
use Lexical::Persistence;
my $lp = Lexical::Persistence->new();
$lp->do( 'my $message = "Hello, world" );
$lp->do( 'print "$message\n"' );
Which gives the output:
Hello, world
If you come up with other fun uses, let us know.
Create a new lexical persistence object. This object will store one or more persistent contexts. When called by this object, lexical variables will take on the values kept in this object.
This method is called by new() to declare the initial contexts for a new Lexical::Persistence object. The default implementation declares the default \*(L"_\*(R" context.
Override or extend it to create others as needed.
Store a context \s-1HASH\s0 within the persistence object, keyed on a \s-1NAME\s0. Members of the context \s-1HASH\s0 are unprefixed versions of the lexicals they'll persist, including the sigil. For example, this set_context() call declares a \*(L"request\*(R" context with predefined values for three variables: $request_foo, @request_foo, and %request_foo:
$lp->set_context( request => { '$foo' => 'value of $request_foo', '@foo' => [qw( value of @request_foo )], '%foo' => { key => 'value of $request_foo{key}' } } );
See parse_variable() for information about how Lexical::Persistence decides which context a lexical belongs to and how you can change that.
Returns a context hash associated with a particular context name. Autovivifies the context if it doesn't already exist, so be careful there.
Call \s-1CODEREF\s0 with lexical persistence and an optional \s-1ARGUMENT_LIST\s0, consisting of name => value pairs. Unlike with set_context(), however, argument names do not need sigils. This may change in the future, however, as it's easy to access an argument with the wrong variable type.
The \s-1ARGUMENT_LIST\s0 is passed to the called \s-1CODEREF\s0 through @_ in the usual way. They're also available as $arg_name variables for convenience.
See push_arg_context() for information about how $arg_name works, and what you can do to change that behavior.
Invoke \s-1OBJECT-\s0>\s-1METHOD\s0(\s-1ARGUMENT_LIST\s0) while maintaining state for the \s-1METHOD\s0's lexical variables. Written in terms of call(), except that it takes \s-1OBJECT\s0 and \s-1METHOD\s0 rather than \s-1CODEREF\s0. See call() for more details.
May have issues with methods invoked via \s-1AUTOLOAD\s0, as invoke() uses can() to find the method's \s-1CODEREF\s0 for call().
Wrap a function or anonymous \s-1CODEREF\s0 so that it's transparently called via call(). Returns a coderef which can be called directly. Named arguments to the call will automatically become available as $arg_name lexicals within the called \s-1CODEREF\s0.
See call() and push_arg_context() for more details.
Wrap a \s-1CODE\s0 string in a subroutine definition, and prepend declarations for all the variables stored in the Lexical::Persistence default context. This avoids having to declare variables explicitly in the code using 'my'. Returns a new code string ready for Perl's built-in eval(). From there, a program may $lp->call() the code or $lp->wrap() it.
Also see \*(L"compile()\*(R", which is a convenient wrapper for prepare() and Perl's built-in eval().
Also see \*(L"do()\*(R", which is a convenient way to prepare(), eval() and call() in one step.
compile() is a convenience method to prepare() a \s-1CODE\s0 string, eval() it, and then return the resulting coderef. If it fails, it returns false, and $@ will explain why.
do() is a convenience method to compile() a \s-1CODE\s0 string and execute it. It returns the result of \s-1CODE\s0's execution, or it throws an exception on failure.
This example prints the numbers 1 through 10. Note, however, that do() compiles the same code each time.
use Lexical::Persistence;
my $lp = Lexical::Persistence->new(); $lp->do('my $count = 0'); $lp->do('print ++$count, "\\n"') for 1..10;
Lexical declarations are preserved across do() invocations, such as with $count in the surrounding examples. This behavior is part of prepare(), which do() uses via compile().
The previous example may be rewritten in terms of compile() and call() to avoid recompiling code every iteration. Lexical declarations are preserved between do() and compile() as well:
use Lexical::Persistence;
my $lp = Lexical::Persistence->new(); $lp->do('my $count = 0'); my $coderef = $lp->compile('print ++$count, "\\n"'); $lp->call($coderef) for 1..10;
do() inherits some limitations from PadWalker's peek_sub(). For instance, it cannot alias lexicals within sub() definitions in the supplied \s-1CODE\s0 string. However, Lexical::Persistence can do this with careful use of eval() and some custom \s-1CODE\s0 preparation.
This method determines whether \s-1VARIABLE_NAME\s0 should be persistent. If it should, parse_variable() will return three values: the variable's sigil ('$', '@' or '%'), the context name in which the variable persists (see set_context()), and the name of the member within that context where the value is stored. parse_variable() returns nothing if \s-1VARIABLE_NAME\s0 should not be persistent.
parse_variable() also determines whether the member name includes its sigil. By default, the \*(L"arg\*(R" context is the only one with members that have no sigils. This is done to support the unadorned argument names used by call().
This method implements a default behavior. It's intended to be overridden or extended by subclasses.
This method fetches a reference to the named \s-1MEMBER\s0 of a particular named \s-1CONTEXT\s0. The returned value type will be governed by the given \s-1SIGIL\s0.
Scalar values are stored internally as scalars to be consistent with how most people store scalars.
The persistent value is created if it doesn't exist. The initial value is undef or empty, depending on its type.
This method implements a default behavior. It's intended to be overridden or extended by subclasses.
Convert a named \s-1ARGUMENT_LIST\s0 into members of an argument context, and call set_context() to declare that context. This is how $arg_foo variables are supported. This method returns the previous context, fetched by get_context() before the new context is set.
This method implements a default behavior. It's intended to be overridden or extended by subclasses. For example, to redefine the parameters as $param_foo.
See pop_arg_context() for the other side of this coin.
Restores \s-1OLD_ARG_CONTEXT\s0 after a target function has returned. The \s-1OLD_ARG_CONTEXT\s0 is the return value from the push_arg_context() call just prior to the target function's call.
This method implements a default behavior. It's intended to be overridden or extended by subclasses.
POE::Stage, Devel::LexAlias, PadWalker, Catalyst::Controller::BindLex.
https://rt.cpan.org/Dist/Display.html?Status=Active&Queue=Lexical-Persistence
http://github.com/rcaputo/lexical-persistence http://gitorious.org/lexical-persistence
http://search.cpan.org/dist/Lexical-Persistence/
Lexical::Persistence in copyright 2006-2013 by Rocco Caputo. All rights reserved. Lexical::Persistence is free software. It is released under the same terms as Perl itself.
Thanks to Matt Trout and Yuval Kogman for lots of inspiration. They were the demon and the other demon sitting on my shoulders.
Nick Perez convinced me to make this a class rather than persist with the original, functional design. While Higher Order Perl is fun for development, I have to say the move to \s-1OO\s0 was a good one.
Paul \*(L"LeoNerd\*(R" Evans contributed the compile() and eval() methods.
The South Florida Perl Mongers, especially Jeff Bisbee and Marlon Bailey, for documentation feedback.
irc://irc.perl.org/poe for support and feedback.