Perl 5.22与更早版本中带*原型的子程序有何差异？

嘿，我来给你拆解一下这个Perl原型的变更细节，让你彻底搞明白前后的差异~

变更的核心背景 #

之前Perl里带*原型的子程序，处理裸字参数的逻辑一直有问题：它允许裸字优先于大多数（但不是全部）子程序名称，这种不一致的行为导致了很多难以排查的bug——有时候你写func(foo)，Perl会把foo当字符串传，有时候又会调用foo()传返回值，完全没规律可言。

Perl团队这次修改的目标，就是把这个逻辑统一，让带*原型的自定义子程序，行为和Perl内置的同类函数（比如close）完全对齐：只要裸字是已定义的子程序，就优先调用它；如果不是，才当作字符串处理。

代码示例的详细解释 #

我们结合你给的例子逐个分析：

自定义子程序的情况 #

sub splat(*) { ... }
sub foo { ... }

• 对于splat(foo)：
  之前的行为是不确定的——在某些场景下Perl会把foo当成字符串'foo'传入，某些场景下又会调用foo()传返回值，完全依赖解析上下文。
  现在无论什么上下文，splat(foo)都会被解析成splat(foo())，也就是先执行foo子程序，把它的返回值传给splat。
• 对于splat(bar)：
  如果当前代码里没有定义bar这个子程序，那逻辑和之前完全一致——Perl会把裸字bar当作字符串'bar'传入splat。

内置函数的对比 #

close(foo); # close(foo())
close(bar); # close('bar')

这其实是Perl内置函数一直以来的标准行为：

• 当foo是已定义的子程序时，close(foo)等价于close(foo())；
• 当bar不存在时，就把它当作文件名（字符串'bar'）传给close。

现在自定义的带*原型的子程序，完全复刻了这个逻辑，再也不会出现之前的不一致问题了。

变更的意义 #

这次修改彻底消除了*原型行为的不确定性，让自定义子程序的行为和内置函数保持统一，不仅减少了代码的意外bug，也让开发者更容易预测代码的执行结果，降低了维护成本。

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