Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Why subroutine needs to be written after the declaration of variables used in it?

Let's assume we have this code, why it fails with the explicit package name error since the function is called only after the declaration of the $value?

use strict;
use warnings;

sub print_value{
    print "\n$value";
}

my $value = 2;
print_value();

This fails at compile time with :

Global symbol "$value" requires explicit package name at file.pl line 5.
Execution of file.pl aborted due to compilation errors.

And this code works perfectly fine:

use strict;
use warnings;

my $value = 2;
print_value();

sub print_value{
    print "\n$value";
}

Ignore the unutility of this programming style or the deprecated coding style, just focus on the context.

like image 751
John Doe Avatar asked Oct 06 '16 13:10

John Doe


People also ask

Why parameters are used with subroutines?

Parameters define the data that must be passed to a subroutine when it is called. The parameters are treated as local variables inside the subroutine. Parameters should be used to share data between different parts of a program, in preference to using global variables.

Which variables can be used in more than one subroutine?

Any time the variable is used in an expression, the value is fetched from that same memory, no matter where the expression is located in the program. This means that the value of a static member variable can be set in one subroutine and used in another subroutine.

How does a subroutine work?

Subroutines are small blocks of code in a modular program designed to perform a particular task. Since a subroutine is in itself a small program, it can contain any of the sequence , selection and iteration constructs.


1 Answers

It's because of scope. That's where in your program your variable is visible. Your $value is a lexical variable because you have declared it with my. That means, it exists inside a certain scope (and all the ones below that). In both of your examples that scope is the entire file (which can also be called the global scope).

Perl looks at your code in two stages. The first is compile time, where it checks the syntax and loads dependencies (like use statements). At this point, it will look for the availability of $value inside the function.

Perl will look in these places:

  1. Lexical (my and our) variables currently in scope.

    A variable is in scope (i.e. a variable is visible) if the code that references it follows the declaration, and if it's in the same block as the declaration, or block nested within that block. The file itself is a block, and curlies form the others.

    If there are multiple lexical variables with the same name in scope, the most recently declared obscure the others. That means that a variable declared in the function itself will be used before one outside the function.

    my $i;          # +--------- $i is in scope (visible) here
    my $x;          # | +------- $x is in scope (visible) here
    while (...) {   # | |
        my $j;      # | |  +---- $j is in scope (visible) here
        my $x;      # |    | +-- This different $x is in scope (visible) here 
        ...         # |    v v
    }               # | |
    sub foo {       # | |
        my $j;      # | |  +---- This different $j is in scope (visible) here
        my $x;      # |    | +-- This third $x is in scope (visible) here
        ...         # |    v v
    }               # | |
    ...             # v v
    
  2. Package variables

    These are globally variables (undeclared, or declared with use vars).

    Perl will look in the namespace declared by the latest "package" in scope (defaulting to main), except for "super-global" variables. This refers to the symbolic variables (like $_, $$, etc) for which Perl looks in main rather than the current package.

Since $value hasn't been declared, Perl takes it to mean package variable $main::value (since the main is the default package).

use strict;            # | Code here will use package var $main::value
use warnings;          # |
                       # |
sub print_value{       # |
    print "\n$value";  # |
}                      # |
                       # v
my $value = 2;         # | Code here will use this lexical var $value
print_value();         # v

None of this comes because you have strict turned on. Only the fact that you have to declare variables, either with my, or our or by using a fully qualified name is because of use strict.

If you did not have strict and did not declare the variable with my, your program would work. $value would be a package variable in that case.

In your second example you have declared $value before the subroutine, so Perl knows at compile time that there will be a $value available in that scope, so it doesn't complain.

use strict;            # | Code here will use package var $main::value
use warnings;          # |
                       # v
my $value = 2;         # | Code here will use this lexical var $value
print_value();         # |
                       # |
sub print_value{       # |
    print "\n$value";  # |
}                      # v

However, a better approach would be to pass the variable as an argument to print_value.

use strict;
use warnings;

sub print_value{
    my $arg = shift;
    print "\n$arg";
}

my $value = 2;
print_value($value);

Now Perl sees that there is a $arg inside of the small scope. It doesn't know its value, but it doesn't have to. And $value is also already declared before using it.

Never use variables from the global scope (the entire file) inside of functions. Always pass them as arguments1.


Here are some relevant links:

  • Tutorial on scope on perlmaven
  • order of execution in perlmod

1) unless you want to build a singleton or some other type of closure

like image 192
simbabque Avatar answered Sep 22 '22 07:09

simbabque