为何Perl函数原型"(&;+)"仍需使用'sub'关键字？

需求背景 #

学习Perl子例程原型，希望实现一个包装函数，使用裸块作为代码引用，同时传递额外参数。根据perlsub文档：

• 裸块特性旨在让子例程像内置函数一样省略括号
• &原型要求第一个参数为匿名子例程，可省略sub关键字和后续逗号

问题代码与预期 #

编写如下代码，预期{ shift(@ARGV) => 10 }哈希引用作为with_some_context的第二个参数$context：

#!/usr/bin/env perl

use strict;
use warnings;

use 5.014;

sub with_some_context (&;+)
{
    my($coderef, $context) = @_;

    {
        local %ENV = %ENV;
        foreach my $key (keys %$context) {
            $ENV{$key} = $context->{$key};
        }

        $coderef->();
    }
}

with_some_context {
    foreach my $key (@ARGV) {
        say("$key: ", (defined $ENV{$key} ? $ENV{$key} : "<undef>"));
    }
} => { shift(@ARGV) => 10 };

报错情况 #

运行后编译器报错，哈希引用未被识别为第二个参数：

$ /tmp/foo SHLVL TERM SHLVL LANG
Useless use of anonymous hash ({}) in void context at /tmp/foo line 26.
SHLVL: 1
TERM: xterm-256color
SHLVL: 1
LANG: en_US.UTF-8

不同尝试的结果 #

1. 添加sub关键字：编译器正确识别意图，运行结果符合预期

with_some_context sub {
    foreach my $key (@ARGV) {
        say("$key: ", (defined $ENV{$key} ? $ENV{$key} : "<undef>"));
    }
} => { shift(@ARGV) => 10 };

运行结果：

$ /tmp/foo SHLVL TERM SHLVL LANG
TERM: xterm-256color
SHLVL: 10
LANG: en_US.UTF-8

2. 省略sub加显式括号：出现大量语法错误

with_some_context({
    foreach my $key (@ARGV) {
        say("$key: ", (defined $ENV{$key} ? $ENV{$key} : "<undef>"));
    }
}, { shift(@ARGV) => 10 });

报错信息：

$ /tmp/foo SHLVL TERM SHLVL LANG
"my" variable $key masks earlier declaration in same statement at /tmp/foo line 24.
"my" variable %ENV masks earlier declaration in same statement at /tmp/foo line 24.
"my" variable $key masks earlier declaration in same statement at /tmp/foo line 24.
"my" variable @ARGV masks earlier declaration in same statement at /tmp/foo line 26.
syntax error at /tmp/foo line 23, near "foreach "
Execution of /tmp/foo aborted due to compilation errors.

3. 重新加sub或只为哈希引用加括号：代码正常运行
   第一种写法：

with_some_context(sub {
    foreach my $key (@ARGV) {
        say("$key: ", (defined $ENV{$key} ? $ENV{$key} : "<undef>"));
    }
}, { shift(@ARGV) => 10 });

第二种写法：

with_some_context {
    foreach my $key (@ARGV) {
        say("$key: ", (defined $ENV{$key} ? $ENV{$key} : "<undef>"));
    }
} ({ shift(@ARGV) => 10 });

运行结果均符合预期：

$ /tmp/foo SHLVL TERM SHLVL LANG
TERM: xterm-256color
SHLVL: 10
LANG: en_US.UTF-8

4. 仅用裸块不传哈希引用：无报错但未达预期

with_some_context {
    foreach my $key (@ARGV) {
        say("$key: ", (defined $ENV{$key} ? $ENV{$key} : "<undef>"));
    }
};

运行结果：

$ /tmp/foo SHLVL TERM SHLVL LANG
SHLVL: 1
TERM: xterm-256color
SHLVL: 1
LANG: en_US.UTF-8

核心原因解析 #

1. 裸块与=>的解析歧义
   当写with_some_context { ... } => { ... }时，Perl会将{...} => {...}解析为哈希字面量（代码引用作为键，哈希引用作为值），而非两个独立参数。因此with_some_context仅收到一个哈希参数，$context变量为undef，后续哈希引用被留在void上下文，触发警告。

2. 显式括号的作用

   • 为第二个哈希引用添加括号({...})时，Perl会将其识别为独立表达式参数，避免与前面的裸块合并解析为哈希。
   • 使用sub { ... }显式声明代码引用时，sub关键字明确告知Perl这是代码引用，后面的=>会被正确解析为参数分隔符。

3. 括号内的语句语法错误
   当使用with_some_context({ ... }, ...)时，括号内内容会被当作表达式上下文处理，而foreach是语句，不能出现在表达式中，因此触发语法错误。裸块作为代码引用的特性仅适用于函数调用的第一个参数位置且无外层括号的场景。

4. 不传哈希引用的行为
   此时$context为undef，代码中keys %$context会跳过循环，%ENV未被修改，因此输出原始环境变量值，不符合预期。

解决方案 #

要保持裸块语法同时传递第二个参数，有两种可靠写法：

• 为第二个参数添加括号：

with_some_context {
    foreach my $key (@ARGV) {
        say("$key: ", (defined $ENV{$key} ? $ENV{$key} : "<undef>"));
    }
} ({ shift(@ARGV) => 10 });

• 使用逗号代替=>（避免哈希解析歧义）：

with_some_context {
    foreach my $key (@ARGV) {
        say("$key: ", (defined $ENV{$key} ? $ENV{$key} : "<undef>"));
    }
}, { shift(@ARGV) => 10 };

内容的提问来源于stack exchange，提问作者Joe Casadonte