为什么此代码的两个版本都没有通过 -c Perl 检查？

Question

Parse::RecDescent 的 new 方法有这个原型：

sub new ($$$)
{
   # code goes here
}

如果我创建一个像这样的对象：

my $parser = Parse::RecDescent->new($grammar);

它将创建一个解析器，并且该方法将接收 2 个参数“Parse ::RecDescent" 和 $grammar，对吗？如果我尝试创建一个像这样的对象：

Parse::RecDescent::new("Parse::RecDescent",$grammar)

这将失败，并显示“Parse::RecDescent::new 的参数不足”，并且我理解此消息。我只传递2个参数。但是，我不明白为什么箭头版本有效。

你能解释一下吗？

Answer 1

当您将函数作为 OO 风格的方法调用时，不会检查函数原型。此外，当您使用 & 调用 sub 时，您可以绕过原型检查，如 &sub(arg0, arg1..);

From perldoc perlsub：

不仅是“&”表单使参数列表可选，它还会禁用对您提供的参数进行任何原型检查。这部分是为了
历史原因，部分原因是如果你知道自己在做什么，就可以方便地作弊。请参阅下面的原型。

方法调用也不受原型影响，因为要调用的函数在编译时是不确定的，因为调用的确切代码取决于继承。

虽然 Parse::RecDescent::new("Parse::RecDescent", $grammar) 在语法上是正确的，但这是一种调用构造函数的非常难闻的方式，现在您强制将其定义在那个类（而不是祖先）。如果您确实需要验证您的参数，请在方法内执行此操作：

sub new
{
    my ($class, @args) = @_;
    die "Not enough arguments passed to constructor" if @args < 2;
    # ...
}

另请参阅 这个早期问题关于原型以及为什么它们通常不是一个好主意。