如何根据多个变量的定义编写条件?

Question

我时不时地发现自己需要编写带有两个或三个分支的条件：至少，一个用于定义所有两个或多个变量时，另一个用于定义任何变量或未定义变量时。有时，最后一个分支需要是两个单独的分支。写这篇文章有哪些简短而甜蜜的方式？

Answer 1

with、without和orwith是条件，其工作原理与if、unless和elsif类似，只是它们检查的是参数的定义性而不是真实性。当与这些连接结合使用时，联结会被线程化，因此这样的条件可以这样写

：

my Str $foo = '' if 2.rand.floor;
my Str $bar = '' if 2.rand.floor;
with $foo & $bar {
say 'yes';
} orwith $foo | $bar {
say 'maybe';
} else {
say 'no';
}

或者对于任意数量的变量：

my Str @strings = do 2.rand.floor ?? '' !! Nil for ^3;
with all @strings {
say 'yes';
} orwith any @strings {
say 'maybe';
} else {
say 'no';
}

Answer 2

with等人都很棒，我可能会写一个链式的with语句，特别是如果特定变量组合的匹配是临时的，或者我认为在代码的预期演变下可能会如此。

但是考虑到你的字面问题，以及你在答案中的场景，我更有可能选择given/when：

my ($foo, $bar, $baz) = (Mu, 42).pick xx Inf;
given $foo, $bar, $baz {
when .all.defined { say 'yes'   }
when .any.defined { say 'maybe' }
default           { say 'no'    }
}

Answer 3

您可以创建一个组合值并使用签名作为when条件。

(:(…)是签名文本的语法。

given ($foo,$bar,$baz) {
when :( Any:D, Any:D, Any:D ) { 'all defined' }
when :( Any:D, Any:D, Any:U ) { '$baz undefined' }
when :( Any:D, Any:_, Any:D ) { '$bar not checked' }
default { … }
}

您可以创建词法常量以使其更短。

my constant D = Any:D; # defined
my constant U = Any:U; # undefined
my constant _ = Any:_; # either
given ($foo,$bar,$baz) {
when :(D,D,D) { 'all defined' }
when :(D,D,U) { '$baz undefined' }
when :(D,_,D) { '$bar not checked' }
default { … }
}

或者，如果您希望它更直观：

my constant term:<▣> = Any:D; # defined
my constant term:<□> = Any:U; # undefined
my constant term:<▨> = Any:_; # either
given ($foo,$bar,$baz) {
when :(▣,▣,▣) { 'all defined' }
when :(▣,▣,□) { '$baz undefined' }
when :(▣,▨,▣) { '$bar not checked' }
default { … }
}

您可以创建一个子例程，以代替使用签名。

## something like this should work
## but something is weird with the returns constraint
#sub prefix:<d> ( $_ ) {
#  my constant %lookup = (
#    '▣' => Parameter.new( type => Any:D ),
#    '□' => Parameter.new( type => Any:U ),
#    '▨' => Parameter.new( type => Any:_ ),
#  );
#  Signature.new: params => %lookup{.comb}
#}
sub prefix:<d> ( $_ ) {
my constant %lookup = (
'▣' => 'Any:D',
'□' => 'Any:U',
'▨' => 'Any:_',
);
use MONKEY-SEE-NO-EVAL;
EVAL ":(%lookup{.comb}.join(","))"
}
given ($foo,$bar,$baz) {
when d'▣▣▣' { 'all defined' }
when d'▣▣□' { '$baz undefined' }
when d'▣▨▣' { '$bar not checked' }
default { … }
}