在raku中，当不匹配的值时，常规不返回吗？

Question

---

根据 raku documentation ，常规 first 首先返回 nil 当不匹配值时。但是，为什么行不说（$ result === nil）; （下图）打印 true ？

sub MAIN()
  {
  my @myNumberList is Array[Int] = [2, 2, 5, 7] ;
  my $result = @myNumberList.first( {$_ > 10} ) ;
  say '$result' ;
  say $result ;
  say $result.WHAT ;
  say ($result === Nil) ;
  } # end sub MAIN

程序输出是…

$result
(Any)
(Any)
False

---

更新

我的目标是确定列表或数组是否包含满足给定谓词的一个或多个元素。在以下示例程序中， elems 例程返回一个大于0的值，并且仅当给定列表或数组中至少包含一个满足相应调用中给出的谓词> >的谓词GREP 。

sub MAIN()
  {
  my $myList = (2, 2, 5, 7) ;
  say '$myList' ;
  say $myList ;
  say $myList.WHAT ;

  my $grepResult1 = $myList.grep( * > 10, :p ) ;
  say '$grepResult1' ;
  say $grepResult1 ;
  say $grepResult1.WHAT ;
  say ($grepResult1.elems <= 0) ;

  my $grepResult2 = $myList.grep( * > 4, :p ) ;
  say '$grepResult2' ;
  say $grepResult2 ;
  say $grepResult2.WHAT ;
  say ($grepResult2.elems <= 0) ;

  my @myArray = [2, 2, 5, 7] ;
  say '@myArray' ;
  say @myArray ;
  say @myArray.WHAT ;

  my $grepResult3 = @myArray.grep( * > 10, :p ) ;
  say '$grepResult3' ;
  say $grepResult3 ;
  say $grepResult3.WHAT ;
  say ($grepResult3.elems <= 0) ;
  } # end sub MAIN

程序输出是…

$myList
(2 2 5 7)
(List)
$grepResult1
()
(Seq)
True
$grepResult2
(2 => 5 3 => 7)
(Seq)
False
@myArray
[2 2 5 7]
(Array)
$grepResult3
()
(Seq)
True

---

Answer 1

在“避免陷阱以避免” 文档页面上的有趣问题。请参阅特定的小标题：。另外， nil nil nil 的Raku文档页面。

推测的那样 - 是在右侧 上使用连接 使用智能

简短的答案 - 就像我

sub MAIN()
  {
  my @myNumberList is Array[Int] = [2, 2, 5, 7] ;
  my $result = @myNumberList.first( {$_ > 10} ) ;
  say '$result' ;
  say $result ;
  say $result.WHAT ;

"\n".say;

  say  Nil ~~ all($result);  #True
  say  Nil ~~ any($result);  #True
  say  Nil ~~ one($result);  #True
  say  Nil ~~ none($result); #False

"\n".say;

  my $result2 = @myNumberList.first( {$_ < 10} ) ;
  say  Nil ~~ all($result2);  #False
  say  Nil ~~ any($result2);  #False
  say  Nil ~~ one($result2);  #False
  say  Nil ~~ none($result2); #True

  } # end sub MAIN

可以

$result
(Any)
(Any)


True
True
True
False


False
False
False
True

匹配 可以简化上述代码（并清理输出）。

1. 可以使用 .Defined ：

   for 结果上面的（其中没有匹配值） SAD SAD SADE $结果， ：

   如果$ result.defined; 什么都没有返回;

2. 对于 result2 上面（其中第一个匹配值为2） say $ result2如果$ result2.defined; 返回 2 。。。 P>

要进一步阅读以了解上面发布的SmartMatch解决方案是如何产生的，请查看以下github问题：”通常，~~的左侧不应是自动线程” 。

[此外，（（出于混淆读者的危险），请查看以下 raku 代码发布在以下 perl5 文档页面：https：//perldoc.perl。 org/perlsyn＃差异与raku]。

附录：进行有关'do-something-fly-if定义的'习惯的讨论，请参见Damian Conway的演讲“巨人肩上” ，其中包括他的用户定义？= （“分配 - 如果定义”）操作员的代码。

Answer 2

tl; dr 是， first 返回 nil 当不匹配的值时。获得想要的一种方法是绑定结果（使用：= ），而不是分配（ = ）。

一个简单的解决方案

开关从分配运算符（ = ）到（：= ）：

sub MAIN()
  {
  my @myNumberList is Array[Int] = [2, 2, 5, 7] ;
  my $result := @myNumberList.first( {$_ > 10} ) ;     # <-- Add colon
  say '$result' ;
  say $result ;
  say $result.WHAT ;
  say ($result === Nil) ;
  } # end sub MAIN

显示：

$result
Nil
Nil
True

原始代码中发生了什么

在raku中，不例行第一个返回 nil 当不匹配的值时？

是的。那不是问题。

nil 表示“缺乏值...”。。

因此不要将其视为一个值，例如 42 或'string''< /代码>或空列表²。

将 nil 分配变量将变量的值重置为其默认值：

my $foo is default(42) = Nil;
say $foo; # 42

default 变量的默认值是 任何³，所以：

my $bar = Nil;
say $bar; # (Any)

这就是发生的事情在您的原始代码中。

选项

您可以设置 $ result 的默认值为 nil ，因此当您分配 nil 时，您会得到什么您想要：

my $result is default (Nil) = @myNumberList.first( {$_ > 10} ) ;

但这很麻烦。很少需要。

通常，如果要变量到 keep a nil ，则只是 bind 它而不是分配：

my $qux := Nil;      # <-- use `:=` instead of `=`
say $qux; # Nil

只需设置您的心理模型为了匹配Raku的工作，您会发现这都非常简单。

footnotes〜

per 其doc ， nil 是“没有值或良性失败”。如果您调用 first 在与谓词匹配的值列表中找到第一个值，则适用“缺乏值”的方面，但没有这样的值。如果您调用首先，则适用“良性失败”，并且遇到某些错误条件，并且决定其良性，但应该终止其处理，或者抛出一个例外，以使得进一步的评估继续以代码继续，以至于接收由 first 返回的值。

当您阅读此脚注时，您可能会认为这两种情况最好单独处理。但是，如果您想进一步考虑，希望他们能像同一枚硬币的两个方面一样工作。任何称为代码都可以返回 nil ，并且调用代码知道呼叫的结果是没有值。这可能是由于完全正常的处理，该处理无值，或者是由于遇到错误的处理，但是该错误是由所谓的代码考虑到如此良性，以至于不值得通过返回 nil ，或导致抛出的例外，随后处理以清除误差条件 - 从而将处理返回正常状态。 Raku优雅而实用的 nil 是我❤raku的另一个原因。

²空列表仍然是一个值。尽管一个空的。

³任何都是一种类型。当被视为“值”时，它是 type object代码>任何或子类型。它为变量和参数提供了自然的默认值。

⁴我怀疑我写了我的“正义...”句子来冒犯了人们。我想到了删除或编辑它，但是后来人们不会有 @jubilatious1的评论的背景，而我的观点，我认为这是 @jubilatious1被误解的好主意，它会丢失。我现在将此脚注留下来，希望有人认为这是一个问题，并且/或者如果我将其删除是个好主意，或者相反，请与我互动。