向原型添加可选参数

Question

在一个模块（不是我写的）中，我有一个原型子，它接受一个代码引用并返回 eval 的结果：

sub proto (&) {
    my $code = shift;
    my $r    = eval {&$code};
    return $r;
}

sub foo {
    my $x = 1;
    my $y = proto { $x = $x + 1; };
}

foo();

原型子在许多模块中经常被调用。 现在我需要更改它并想要添加一个可选参数，例如：

sub proto (&) {
    my $code = shift;
    my $OptionalParameter = shift || 0;
    ...
}

sub foo {
    my $x = 1;
    my $OptionalParameter = 1;
    my $y = proto { $x = $x + 1; }, $OptionalParameter;
}

但这会导致 $OptionalParameter 的警告“在无效上下文中无用使用私有变量”。 我还将原型声明更改为 (&;$)，这会导致相同的警告。

如果我删除原型声明 (&)，我会在调用 proto 时出现语法错误：Test.pl 第 47 行的语法错误，靠近“;}”全局符号“$OptionalParameter”需要显式包名称（您是否忘记声明“我的 $OptionalParameter"?) 在 TestQuery.pl 第 47 行。

那么，如何声明一个带有代码引用和可选参数的 sub？

Answer 1

用一个 ';' 在原型声明中分隔强制参数和可选参数。 并且不要在代码块后包含逗号：

sub foo(&;$) { my ($fn, $arg) = @_; ... }
foo { ... };
foo { ... } 1;

但通常最好避免使用原型，除非您试图模拟内置 perl 函数的语法：

sub foo { my ($fn, $arg) = @_; ... }
foo(sub { ... });
foo(sub { ... }, 1);