"我们的"或"使用变量"中的什么魔法满足"使用严格的qw(vars)"？

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;'

运行正常(虽然它不产生输出).根据来源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答案的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会记住从模块导入的变量.

"出口"究竟意味着什么？它只是意味着跨包边界使用符号别名:

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

奇怪的是,就Perl内部而言,如果变量在某些其他包中已被别名化,则该变量将被"导入".它的别名是什么并不重要; 重要的是混叠发生的地方.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对文件的其余部分,不管你切换到哪个包.

另一方面:

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

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