Question

当eval语句在词法变量的范围内时，该变量应该在被评估块的词法上下文中。此外，词汇变量应该在subs的词汇上下文中可用。

然而这不起作用：

use warnings;

{
    package VLE;

    my $ln10 = 2.302585092994045684017991454684;

    sub reval {
        say eval $_[0] if @_;
    }
}

package VLE;

reval( q($ln10) );

结果是：

Variable "$ln10" is not available at (eval 1) line 1.

但如果我（无用）在块中的任何地方使用词法变量，它就会在eval中突然出现：

use warnings;

{
    package VLE;

    my $ln10 = 2.302585092994045684017991454684;

    sub reval {
        say eval $_[0] if @_;
        my (undef) = $ln10;
        return 0
    }
}

package VLE;

reval( q($ln10) );

打印

2.30258509299405

为什么会这样？

编辑：

引用的破坏不是问题，因为此代码（维护对$ln10的引用）也会失败：

use warnings;

{
    package VLE;

    my $ln10 = 2.302585092994045684017991454684;

    sub reval2 {
        say eval $_[0] if @_;
        my (undef) = $ln10;
        return 0
    }

    sub reval {
        say eval $_[0] if @_;
        return 0
    }
}

package VLE;

reval( q($ln10) ); # still fails
reval2( q($ln10) ); # works

Answer 1

子程序不会关闭（捕获）所有可见的词法变量，而只会关闭子程序体中引用的那些变量。这是参考计数正常工作的一个非常不可或缺的部分。捕获哪些变量是在编译时确定的，并且在执行子例程定义时捕获变量（命名subs的编译时间，匿名subs的运行时间）。

此处您的第一个reval未捕获$ln10变量。因此，它在eval中不可用。因为eval字符串是运行时值，所以在确定应捕获哪些变量时不能将其考虑在内。

更确切地说，当剩下封闭块时，$ln10变量将被销毁，因为不存在对它的进一步引用。所以这段代码可以工作，因为在执行eval时$ln10变量仍然存在：

use warnings;
{
    package VLE;
    my $ln10 = 2.302585092994045684017991454684;

    sub reval {
        say eval $_[0] if @_;
    }

    reval(q($ln10));
    # $ln10 variable exists until here
}

第二个eval会捕获变量，因此它的生命周期会延长到执行eval的时间点，并且一切都按预期工作。

在eval中警告词汇变量“不可用”的原因是什么

编辑：

1 个答案: