这个Perl 6 CATCH块应该能够更改词法范围中的变量吗？

Question

我在玩可恢复的例外。在本例中，我尝试numify一些不numify的东西。我捕捉到这一点，并尝试为$value变量指定一个值，然后继续执行：

try {
    my $m = 'Hello';
    my $value;
    $value = +$m;
    put "Outside value is ｢{$value.^name}｣";
    CATCH {
        when X::Str::Numeric {
            put "｢$m｣ isn't a number!";
            put "Inside value is ｢{$value.^name}｣";
            $value = 0;
            put "Inside value is now ｢$value.｣";
            .resume;
            }
        default {
            put "Unhandled type ｢{.^name}｣";
            }
        }
    put "End of the block";
    }

put "Got to the end.";

CATCH块可以看到它所处的词法范围，恢复将从它停止的地方开始。我希望我能够更改$value，并让块的其余部分使用该值，但在CATCH之外，该值变为失败：

｢Hello｣ isn't a number!
Inside value is ｢Any｣
Inside value is now ｢0.｣
Outside value is ｢Failure｣
End of the block
Got to the end.

搞什么？

Answer 1

在try块中，use fatal生效，以使从方法或子调用返回的惰性异常立即抛出。在try块的词法范围之外，请注意：

my $value = +$m;

将导致故障分配给$value。try将其转换为类似于：

my $value = force-failure(+$m);

你可以想象它被定义为这样的东西：

sub force-failure(Mu \f) { f.sink if f ~~ Failure; f }

（我在挥手，因为编译器吐出代码来内联并进行一些优化）。

在所考虑的情况下，。sink触发引发的异常。CATCH块运行。。resume表示我们不希望像通常在CATCH块中那样释放调用堆栈，因此在强制失败内部继续执行，然后返回f-失败。这一切都发生在主线代码中分配给$value之前；因此分配了故障，覆盖了CATCH块给出的值。

不幸的是，您不能用//=来逃避这一点，因为它在运行RHS之前进行测试（这是我们通常希望它做的）。但是，可以这样做：

my $numified = +$m;
my $value //= $numified;

当然，这完全是一个人为的例子，因为正常的习惯用法是根本没有一个try块，并将其写成：

my $value = +$m // 0;

从而利用了Failure。一般来说，可恢复的异常需要非常小心，因为在许多情况下，代码不会期望发生恢复。事实证明，为使Failure失效而生成的代码就是这样一段代码。