在什么情况下“除非”与“如果不是”不同？

Question

我以前认为unless 和if not 是完全等价的，但this Q&A 让我意识到它们在列表上下文中会产生不同的输出：

use strict;
use warnings;
use Data::Printer;
use feature 'say';

my %subs = (
              unless => sub {
                            my ( $value ) = @_ ;

                            return "$value is a multiple of 3"
                              unless $value % 3 ;
                        },
              if_not => sub {
                            my ( $value ) = @_ ;

                            return "$value is a multiple of 3"
                              if not $value % 3 ;
                        },
           );

for my $name ( keys %subs ) {

    my $sub = $subs{$name};
    say $name;
    my @results = map { $sub->($_) } 1 .. 10;
    p @results;
}

输出

if_not
[
    [0] "",
    [1] "",
    [2] "3 is a multiple of 3",
    [3] "",
    [4] "",
    [5] "6 is a multiple of 3",
    [6] "",
    [7] "",
    [8] "9 is a multiple of 3",
    [9] ""
]
unless
[
    [0] 1,
    [1] 2,
    [2] "3 is a multiple of 3",
    [3] 1,
    [4] 2,
    [5] "6 is a multiple of 3",
    [6] 1,
    [7] 2,
    [8] "9 is a multiple of 3",
    [9] 1
]

上面的代码 sn-p 表明 unless 和 if not 导致子例程看到最后一个求值表达式的不同值。

这似乎是因为if not 认为not 是EXPR 的一部分，而unless 不认为它是EXPR 的一部分。

问题

是否还有其他代码使用示例，而这两者并不完全是同义词？

Answer 1

不同之处在于，对于您的 unless 案例，最后评估的表达式是 $value % 3 而对于您的 if not 案例，最后评估的表达式是 not $value % 3

not 表现为一个简单的运算符，而 if 和 unless 是像 while 和 for 这样的语言结构，它们不涉及表达式的值

在任何情况下，依赖子例程的返回值都是不好的做法，除非每个路径都有一个return，或者它以表达式结尾。 perldoc perlsub 这么说

如果没有找到return，并且最后一条语句是表达式，则返回其值。如果最后一条语句是循环控制结构，例如 foreach 或 while，则返回值未指定。

所以仅仅因为你认为你知道没有return 的子例程也会计算什么，它实际上并不可靠，除非你结束你的子例程用一个表达式，并且很可能在以后的版本中改变Perl。

只需为您的其他情况写一个return，您的代码就会立即变得更清晰。或者您可以使用 条件表达式 指定要为 both 条件返回的值

cond_exp => sub {
    my ( $value ) = @_;

    $value % 3 ? "" : "$value is a multiple of 3";
}