perl - 如何在错误点准确地向上移动调用堆栈？

Question

我知道这个成语:

eval {
    ...
};

$DB::single = 1 if $@;

...但是，据我所知，如果调试器在 eval 之后停止，那么检查堆栈中的帧已经太迟了，因为它们正好在错误发生的那一刻.

有没有办法在错误发生的那一刻停止调试器，并检查调用堆栈中的帧？

Answer 1

注意 这是针对原始问题编写的，在更改之前。它在抛出 die 时检索调用堆栈中每个帧的所有词法变量，无需调试器。

---

用于调试，Carp::Always很有帮助。

此外，对于您似乎在寻找的错误，您可以覆盖 die 以获取 Carp 的回溯

eval { 
    local $SIG{__DIE__} = \&Carp::confess;
    # ... code ...
};
if ($@) { print $@ }

这有需要注意的局限性和复杂性，请参阅 eval和 %SIG in perlvar , 和 die ，但鉴于缺乏触发错误的详细信息，应该值得一试。

---

由于 __DIE__ 钩子(Hook)在 die 被触发时运行，我们可以在其中“实时”检查调用堆栈。

下面的代码使用了caller遍历堆栈并获取基本信息，以及 PadWalker获取每一帧的词法变量。我在 subs 中放置了一些变量，以便更轻松地跟踪输出。

use warnings;
use strict;
use PadWalker qw(peek_my);

my $ondie = sub {
    my $sf = 0;
    while ( my @call = caller($sf) ) {        # go through stack frames
        say "At $sf frame, |@call[0..3]|";
        my $vars = peek_my($sf);              # lexicals for this frame
        for (keys %$vars) {
            if (ref($vars->{$_}) eq 'SCALAR') {
                print "\t$_ => ${$vars->{$_}}\n";
            } elsif (not /^\$vars$/) {
                print "\t$_ => $vars->{$_}\n";
            }
        }
        ++$sf;
    }
};

eval { 
    local $SIG{__DIE__} = $ondie;
    top_level(25); 
}; 
if ($@) { print "eval: $@" }

sub top_level {
    my ($top_x,  $sub_name) = (12.1, (caller(0))[3]);
    next_level($_[0]);
};    
sub next_level { 
    my ($next_x, $sub_name) = (7, (caller(0))[3]);
    $_[0] / 0;
};

输出

At 0 frame, |main debug_stack.pl 51 main::__ANON__|        $sf => 0        @call => ARRAY(0x15464c8)At 1 frame, |main debug_stack.pl 59 main::next_level|        $next_x => 7        $ondie => REF(0x1587938)        $sub_name => main::next_levelAt 2 frame, |main debug_stack.pl 38 main::top_level|        $top_x => 12.1        $ondie => REF(0x1587938)        $sub_name => main::top_levelAt 3 frame, |main debug_stack.pl 36 (eval)|        $ondie => REF(0x1587938)eval: Illegal division by zero at debug_stack.pl line 51.

PadWalker 的 peek_my 返回一个 hashref，其中每个值都是一个引用。为了演示，我只取消引用标量，并且还从打印中排除了 $vars，其中存储了 PadWalker 的发现。要省略处理程序本身，请从 my $sf = 1 开始。