为何PerlCritic将我的子程序原型识别为字符串插值？

问题场景 #

在跨包调用Perl的sort比较函数时，必须给比较函数添加原型才能正常工作——无原型的函数会因$a/$b的包作用域问题报错，带原型的函数则能正确接收参数并执行。但升级到Perl 5.38.2和PerlCritic 1.152后，原本屏蔽了Subroutines::ProhibitSubroutinePrototypes警告的原型声明行，又被提示存在字符串插值问题。

你的测试代码如下：

#!perl
package Foo;

use strict;
use warnings;

sub new {
    my ($class, $value) = @_;
    my $self = bless{}, $class;
    $self->{value} = $value;
    return $self;
}

sub foo_value {
   my ($self) = @_;
   return $self->{value};
}

## no critic(Subroutines::ProhibitSubroutinePrototypes)
sub by_prototype($$) {
## use critic
    my ($a, $b) = @_;
    return $a->foo_value() cmp $b->foo_value();
}

sub by_plain {
    return $a->foo_value() cmp $b->foo_value();   # Can't call method "foo_value" on an undefined value
}

package Bar;

my @values = (Foo->new('foo'), Foo->new('foobarbaz'), Foo->new('bar'));
print join(', ', sort Foo::by_prototype @values), "\n";
print join(', ', sort Foo::by_plain @values), "\n";

误判原因 #

PerlCritic的这次警告属于解析规则误触发：

• 你写的sub by_prototype($$)中的($$)是Perl合法的子程序原型语法，用于声明该函数期望接收2个标量参数。在跨包sort调用时，这个原型会让Perl主动将当前包的$a和$b作为参数传递给比较函数，避免因包作用域导致的变量未定义问题。
• 升级后的PerlCritic可能在语法解析时，错误地将原型的($$)识别为需要字符串插值的表达式，触发了相关的插值检查规则，但实际上这完全是合法的原型声明，不存在插值问题。

是否可以忽略该警告 #

完全可以忽略，甚至可以通过更精确的no critic指令屏蔽这个误判的规则：

1. 如果你能定位到触发警告的具体规则（比如假设是ValuesAndExpressions::ProhibitInterpolationOfLiterals），可以修改屏蔽指令：

   ## no critic(Subroutines::ProhibitSubroutinePrototypes, ValuesAndExpressions::ProhibitInterpolationOfLiterals)
   sub by_prototype($$) {
   ## use critic
   

2. 如果暂时无法定位具体规则，保留原有的屏蔽逻辑也没问题——你的代码符合Perl语法规范，且是跨包sort调用的必要写法，不会有实际运行风险。

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