使用 Sub::Quote 削弱捕获

Question

我想弱化 Sub::Quote 生成的代码中捕获的变量。例如，这是未引用的替代方案：

use 5.10.0;
use Scalar::Util qw[ weaken ];
{
  my $s = 'foo';
  my $x = sub { say $s };
  weaken( my $y = $x );

  my $bar = sub { &$y };
  &$bar;
  $x = undef;
  &$bar
}

和输出：

foo
Can't use an undefined value as a subroutine reference [...]

这是我的 Sub::Quote 尝试：

use 5.10.0;
use Sub::Quote;
use Scalar::Util qw[ weaken ];
{
  my $s = 'foo';
  my $x = sub { say $s };
  weaken( my $y = $x );

  my $bar = quote_sub( '&$y', { '$y' => $y } );
  &$bar;
  $x = undef;
  &$bar;
}

和输出：

foo
foo

显然被俘的$y并没有被削弱。有没有办法改变生成的代码来削弱捕获的变量？

文档稀少，Sub::Quote实现复杂；我相当确信这在当前代码中是不可能的，但我很乐意被证明是错误的。

Answer 1

my $bar = quote_sub( '&$y', { '$y' => $y } );

与

大致相同

my $bar = eval(q{ my $y = $y; sub { &$y } });

（它做的更多，但那些位与这个问题无关）。如您所见，这创建了对 sub^[1].

的新强引用

作为解决方法，您可以添加一个间接层：

my $bar = eval(q{ my $y_ref = $y; sub { &{ $$y_ref } } });

这可以通过使用来实现：

my $bar = quote_sub( '&{$$y_ref}', { '$y_ref' => \$y } );

如果 Sub::Quote 创建的 $y 是您的 $y 的别名，就不会有任何问题。这可以使用 Data::Alias 或 5.22 中引入的实验性功能来实现。

这可以使用以下内容进行演示：

{
  package Sub::Quote;

  my $sub = sub {
    my ($from, $captures, $indent) = @_;
    join(
      '',
      "use feature qw( refaliasing );\n",
      "no warnings qw( experimental::refaliasing );\n",
      map {
        /^([\@\%$])/
          or croak "capture key should start with \@, \% or $: $_";
        (' ' x $indent).qq{\my ${_} = \{${from}->{${\quotify $_}}};\n};
      } keys %$captures
    )
  };

  no warnings qw( redefine );
  *capture_unroll = $sub;
}


my $bar = quote_sub( '&$y', { '$y' => $y } );

您可以与模块的维护者讨论添加一个会导致使用别名的选项。

当您创建（强或弱）引用的副本时，它就是强引用。

使用 Sub::Quote 削弱捕获

Weakening captures using Sub::Quote

perl

moo