阶乘递归达到零时出错

Question

为什么以下递归阶乘在 Perl 中会失败，即使它适用于 C++ 和 Java？

Java：

public static long factorial(int n) {
  if (n == 0) {
    return 1;
  } else {
    return factorial(n-1) * n;
  }
}

C++：

long factorial(int n) {
  if (n == 0)
    return 1;
  else
    return n * factorial(n-1);
}

但是这个在 Perl 中失败了（use Carp;）：

sub factorial {
    my $n = shift || croak "null value for argument";
    return 1 if $n == 0;  # base case
    return  $n * factorial($n-1);
}

错误信息（第 10 行是在 main() 中调用函数的位置，第 16 行是第二个 return 语句）：

 null value for argument at ./fact1.pl line 14.
        main::factorial(0) called at ./fact1.pl line 16
        main::factorial(1) called at ./fact1.pl line 10

（以下内容已被编辑，感谢 Matt Jacob 指出我在原始版本中的遗漏。）

原来的版本，没有鲤鱼，但有|| return，错误信息是：

Use of uninitialized value in multiplication (*) at ./fact1.pl line 16.

这是在没有命令行参数时尝试使脚本静默的结果。 （没有投诉uninitialized value。）

对基本情况的小修改使其也可以在 Perl 中工作：

sub factorial {
    my $n = shift || croak "null value for argument";
    return 1 if $n == 1;  # base case
    return $n * factorial($n-1);
}

（当然，以取消处理0（零）输入为代价。）

---

经验教训

1. 问题出在我认为的不同位置
   • Perl 代码的错误在于它试图比 C++ 或 Java 代码 sn-ps 做更多的事情（一种非常粗略的方法）
   • 不同的错误信息应该给了我提示
2. 以下内容可以帮助我定位问题：
   • 删除shift;之后的所有内容
   • 记住0（零）表示false
3. Logical Defined-Or 从 Perl 5.10 开始就存在
4. 至于正确的错误处理，this page 提供了很好的概述。

Answer 1

Perl 有一些相当非正统的规则来判断什么是正确的。

特别是，数字 0 在用于布尔表达式时被认为是假的。所以当你这么说的时候

my $n = shift || croak "null value for argument";

如果shift 将 0 作为参数，则它被视为 false，这意味着 || 运算符需要计算其第二个操作数。

幸运的是，Perl 的作者预见到了这种用例，因此他们定义了一个替代的或运算符。 || 检查第一个值是否为真，// 检查第一个值是否已定义。

my $n = shift // croak "null value for argument";

这将按照您的意图进行，除非$n 可能是文字值undef。在这种情况下，您将需要一些更复杂的自省来检查参数是否存在，但对于这个阶乘函数，这应该足够了。