函数声明“sub function($$)”的作用是什么？意思是？

Question

我已经使用 Perl 一段时间了，但今天我遇到了这段代码：

sub function1($$)
{
   //snip
}

这在 Perl 中意味着什么？

Answer 1

它是一个具有带有两个标量参数的 原型 的函数。

---

对于一般情况下不实际使用 Perl 原型有强有力的论据 - 正如下面的评论所述。最有力的论据可能是：

• 远超您想了解的关于原型的一切Perl

2008 年 StackOverflow 上有一个讨论：

• SO 297034

有MooseX::Method::Signatures 模块中可能的替代品。

Answer 2

正如另一个答案提到的， $$ 声明了一个原型。另一个答案没有说明原型的用途。它们不是用于输入验证，而是用于解析器的提示。

想象一下，您有两个函数声明如下：

sub foo($)  { ... }
sub bar($) { ... }

现在，当您编写一些不明确的内容时，例如：

foo bar 1, 2

Perl 知道将括号放在哪里； bar 需要两个参数，因此它会消耗最接近的两个参数。 foo 接受一个参数，因此它接受 bar 的结果和两个参数：

foo(bar(1,2))

另一个例子：

bar foo 2, 3

同理； foo 需要一个参数，所以它得到 2。 bar 需要两个参数，所以它得到 foo(2) 和 3：

bar(foo(2),3)

这是 Perl 的一个非常重要的部分，所以将其视为“从不使用”对你不利。几乎每个内部函数都使用原型，因此通过了解它们在您自己的代码中如何工作，您可以更好地了解内置函数如何使用它们。这样您就可以避免不必要的括号，从而使代码看起来更美观。

最后，我将警告您注意一种反模式：

package Class;
sub new ($) { bless $_[1] }
sub method ($) { $_[0]->{whatever} }

当您将代码作为方法调用时（Class->method 或 $instance->method），原型检查完全没有意义。如果你的代码只能作为方法调用，那么添加原型是错误的。我见过一些流行的模块可以做到这一点（你好，XML::Compile），但这是错误的，所以不要这样做。如果您想记录要传递多少个参数，可以这样：

sub foo {
    my ($self, $a, $b) = @_; # $a and $b are the bars to fooify
    ....

或

use MooseX::Method::Signatures;

method foo(Bar $a, Bar $b) { # fooify the bars
    ....

与 foo($$) 不同，这些是有意义且可读的。