in reply to Re^11: Accessing lexicals in other scopes dynamically by name
in thread Accessing lexicals in other scopes dynamically by name

I am still not sure we talk about the same things (and hey - it's really not all that important), but here is what I don't understand:

What happens in the interpreter when a statement such as "my $a=1;" is encountered?

I suppose the "binding" of the name "$a" to the value "1" is recorded in some data-structure (whatever that data-structure is called in the internals of Perl).

Then whenever $a is referenced this data-structure is examined.

When another statement "my $b=2" is encountered I suppose this new binding of the name "$b" to the value "2" is also recorded in a data-structure - and I would expect it to be the same data-structure - the data-structure that holds all lexial variables for a given lexial scope.

Now when a closure is created it needs to "remember" the lexial variables in scope and this could easily achieved by giving the data-structure that describes a closure simply a pointer (or a reference or whatever) to the data-strcuture that holds the variable-bindinds (and holding all of them).

This is what I had expected (from 10.000 feet) the Perl-interpreter to do.

But - as you pointed out it - that is not how it works.

So how does it actually work?

Can anyone explain at a very high level how lexical variables and closures are implemented in the Perl-internals?

  • Comment on Re^12: Accessing lexicals in other scopes dynamically by name

Replies are listed 'Best First'.
Re^13: Accessing lexicals in other scopes dynamically by name
by ikegami (Patriarch) on Aug 01, 2010 at 06:34 UTC

    I suppose the "binding" of the name "$a" to the value "1" is recorded in some data-structure (whatever that data-structure is called in the internals of Perl).

    You're mixing compile-time events with run-time events.

    The slot is added to the pad ("the data structure") at compile time (i.e. once per "my" in the code).

    The assignment of "1" to the scalar occurs at run-time (i.e. once every time "my" is evaluated).

    Under your model, the following code would add 8 entries to "the data structure" over time. 

    for (1..4) {
   my $a = 1;
   my $b = 2;
}

    [download]

    Perl only does that twice, at compile time.

    (Independently, there's an optimisation in place that makes it so only two scalars are created in total. They are cleared and reused rather than freed.)

    What happens in the interpreter when a statement such as "my $a=1;" is encountered?

    At compile time, it declares the variable, i.e. adds a slot to the function's pad for $b.

    At run-time, it assigns 1 to the variable after placing an instruction on the stack to clear (or replace) the variable on scope exit (the aformentioned optimisation).

[reply]
[d/l]
[select]
      Ok, thanks for the elaboration.

      But why does a closure not simply have a pointer to the pad (thereby gaining access to all lexcials)?

[reply]
        Because it would be bad for this code to print "b" twice.
[reply]

In Section Meditations