让 perl 向前看子原型

Question

Perl 有点太宽容了：如果你将额外的参数传递给subs，它们就会被忽略。

为避免这种情况，我想使用原型来确保每个sub 都被赋予了正确数量的参数。

只要我在使用原型之前声明它就可以了：

sub mysub($);
sub mysub2($);

mysub(8);
mysub(8,2); # Complain here                                                            

sub mysub($) {
    mysub2($@);
}

sub mysub2($) {
    if($_[0] == 1) {
        mysub(2);
    }
    print $@;
}

但我真的很讨厌把它分开。我宁愿 Perl 阅读完整的文件，看看是否有进一步的声明。所以我想写这样的东西：

use prototypes_further_down; # This does not work

mysub(8);
mysub(8,2); # Complain here                                                            

sub mysub($) {
    mysub2($@);
}

sub mysub2($) {
    if($_[0] == 1) {
        mysub(2);
    }
    print $@;
}

我能以某种方式让 Perl 这样做吗？

Answer 1

为避免这种情况，我想使用原型来确保每个sub 都被赋予了正确数量的参数。

不，你不会。尽管名称相似，Perl 原型不是你父亲的函数原型。引用The Problem with Prototypes（强调我的），

Perl 5 的原型有两个用途。首先，它们提示解析器更改解析子例程及其参数的方式。其次，它们改变了 Perl 5 在执行这些子例程时处理这些子例程的参数的方式。 一个常见的新手错误是假设它们与其他语言中的子例程签名具有相同的语言目的。这不是真的。

除了它们没有相同的预期目的之外，绕过原型是微不足道的，因此它们无法为故意以（您认为的）“错误”方式调用您的代码的人提供实际保护。正如perldoc perlsub 告诉我们的那样，

函数声明必须在编译时可见。原型仅影响对函数的新式调用的解释，其中新式被定义为不使用& 字符。换句话说，如果你把它当作一个内置函数来调用，那么它的行为就像一个内置函数。如果您将其称为老式子例程，那么它的行为就像一个老式子例程。很自然地，原型对子程序引用（如\&foo）或间接子程序调用（如&{$subref} 或$subref->()）没有影响。

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

即使你可以让它抱怨mysub(8,2)、&mysub(8,2) 或$subref = \&mysub; $subref->(8,2) 或（如果mysub 是package MyModule 中的对象方法）$o = MyModule->new; $o->mysub(8,2) 也不会抱怨。

如果您想验证如何使用核心 Perl（5.20 之前）调用您的子程序，那么您需要自己在子程序的主体中执行验证。 Perl 5.20 和更新版本有一个（在撰写本文时为“实验性”）Signatures 子声明扩展，它可能适用于您的目的，但我自己从未使用过它，所以我无法谈论它的有效性或限制。还有许多CPAN 模块可用于处理此类事情，您可以通过搜索“签名”或“原型”等内容来找到它们。

无论您选择哪种方法，除非您在使用这些签名之前定义它们，否则您将无法获得有关不正确函数签名的编译时错误。在您的示例中，两个子相互调用，这可以通过使用前向声明提前建立其签名来完成：

sub mysub($foo);                               # Forward declaration
sub mysub2 { mysub(8) }
sub mysub  { mysub2('infinite loops ftw!') }   # Complete version of the code