Question

我有工作代码，但我想了解为什么它的工作原理。我还试图了解有关Perl 5内部的更多信息（perlbrew，perl-5.26.1，Cygwin x64）。

我知道perlvar和strict use strict 'vars'通过在$^H中设置标记来工作。然后Perl根据这些标志测试对非::变量的访问。不知何故，our和use vars标记变量，以便它们通过测试。他们是怎么做到的？

例如：

perl -E 'package Foo;
    use strict "vars";
    use vars qw($foo);
    say $foo;'

运行正常（虽然它不产生输出）。基于the source for use vars，我尝试了这个，我认为会产生同样的效果：

perl -E 'package Foo;
    use strict "vars";
    my $sym = "Foo::foo";          # <-- These two lines pulled straight
    *$sym = \$$sym;                # <-- from the source for the vars pragma
    say $foo;'

然而，它给了我一个错误：Global symbol "$foo" requires explicit package name。我也在上面尝试了$sym = "::Foo:foo"，结果相同。

我查了一下，$Foo::foo在符号表中：

$ perl -E 'package Foo;
      use Data::Dumper;
      use strict "vars"; 
      my $sym = "Foo::foo";
      *$sym = \$$sym; 
      say Dumper(\%{"Foo::"});'    # <-- Foo's symbol table

Output: 
$VAR1 = {
    'BEGIN'  => *Foo::BEGIN,
    'Dumper' => *Foo::Dumper,
    'foo'    => *Foo::foo          # <-- yep, it's there
};

use vars还做了什么，我失踪了？ our执行相同或不同的操作吗？

更新

这是基于melpomene's answer的A / B：

Fails                         Succeeds
-------------------------     ----------------------------------
package Foo;                  package Foo;
use strict "vars";            use strict "vars";

                              BEGIN {
                                  package Bar;
my $sym="Foo::foo";               my $sym = "Foo::foo";
*$sym = \$$sym;                   *$sym = \$$sym;
                              }
say $foo;                     say $foo;

Answer 1

use strict 'vars'通过在$^H中设置标记来工作。

是的，但这是一个实施细节。 $^H公开了一些内部解释器状态位，但你不应该在普通代码中触摸它。

不知何故，our和use vars标记变量，以便它们通过测试。他们是怎么做到的？

这也被视为实施细节。

然而，我们可以窥探一下。 strict "vars"抱怨未声明的变量（在编译时）。

有一个硬编码的变量列表可以免除此检查;它包含所有标点符号变量（例如$/，$_等，以及$a和$b（由sort使用））。

所有词法（即本地）声明的变量也通过strict;这就是my，our和state的工作方式。（出于我们的目的，local不是声明，也不创建局部变量; local暂时更改现有变量的值。）

第三个例外是从模块导出的变量。使用全局变量作为模块接口的一部分通常被认为是一个坏主意，但一些较旧的模块仍然这样做。 English也会导出变量，因为这是它的重点，因此我们将其用作示例：

use strict;
use English qw($INPUT_RECORD_SEPARATOR);
$INPUT_RECORD_SEPARATOR = "";  # <--
my $paragraph = readline STDIN;

标记为<--的行不会引发错误，因为Perl会记住从模块导入的变量。

＆＃34;导出＆＃34;实际上意味着它只是意味着跨包边界别名：

*main::foo = \$Some::Module::foo;  # now $main::foo is an alias for $Some::Module::foo

奇怪的是，就Perl内部而言，变量是＆＃34;导入＆＃34;如果它在别的包中有别名。到的别名是什么并不重要;重要的是混叠发生的地方。 use vars（ab-）使用此详细信息通过向您导出自己的变量来绕过strict "vars"：

package Some::Package;
use vars qw($foo);

就像

一样

package Some::Package;
BEGIN {
    package vars;
    *Some::Package::foo = \$Some::Package::foo;
}
# now $foo is an alias to ... itself

另一个难题是use在编译时发生，如BEGIN块。您的示例失败，因为您的别名尝试仅在运行时发生，这对于strict来说太晚了，并且因为它没有切换到另一个包来执行别名。

最后vars只是一个用普通Perl编写的模块。 our是不同的：它是一个真正的关键字，也是语言的一部分。它也有不同的行为：它有效地创建了一个别名（包变量），但该别名存在于本地范围内，而不是符号表。

考虑例如以下内容：

my $foo = 2;
{
    our $foo = "hello";
    print "foo = $foo; main::foo = $main::foo\n";
}
print "foo = $foo; main::foo = $main::foo\n";

此输出

foo = hello; main::foo = hello
foo = 2; main::foo = hello

因为内部our $foo声明会遮挡内部块中的外部$foo。在块中，$foo和$main::foo都引用相同的变量;外部$foo指的是词汇my $foo，它不受影响。

use vars的另一个不同之处：

use strict;
package Foo;
our $x = "hello";
package Bar;
print "$x\n";  # hello

此代码工作正常，因为package声明不会创建新范围。此处只有一个作用域单元（整个文件），因此our $x使$x对文件的其余部分引用$Foo::x，无论您切换到哪个包。< / p>

另一方面：

use strict;
package Foo;
use vars qw($x);
$x = "hello";
package Bar;
print "$x\n";

此代码甚至无法编译。无法解析最后一行中对$x的引用：Perl首先检查本地范围，但没有本地声明的$x＆＃39}。然后它会检查当前的包（Bar）并找不到任何内容，如果没有strict "vars"，它会自动为您创建$Bar::x，但启用strict "vars"后，这只是一个错误。 $Foo::x是无关紧要的，从未检查过。

什么魔术在＆＃34;我们的＆＃34;或＆＃34;使用vars＆＃34;满足＆＃34;使用严格的qw（vars）＆＃34;？

更新

1 个答案: