对象签名的文档：“......命名参数的名称与变量名称不同”

Question

“类签名”页面上的示例显示为：

sub named(:official($private)) { "Official business!" if $private }; named :official;

Answer 1

我看到文档示例令人困惑。这是该解释的扩展版本：

sub named(:official($private)) {
   # Inside the function, the argument the caller passed in
   # is bound to the variable $private.  Nothing is bound to official.
   say $private;
}

# Outside the function, the caller doesn't need to care what term the 
# function uses.  All it needs to know is the name of the parameter – :official
named(:official('foo')); # OUTPUT: «foo»

当函数位于不同的模块中时，这特别方便——函数的所有者可以重构他们的 $private 参数的名称，而不会破坏任何外部调用者。而且，如果他们想出一个更好的名称供外部调用者使用，他们甚至可以添加 that 而不会破坏向后兼容性：sub named(:official(:better-name(:$private))) { … } 允许调用者使用 :official 或 :better-name 作为参数名称，对函数内部的变量名没有任何影响。

这样更有意义吗？

哦，还有一个注意事项：

如果 $private=True 则调用 'named' 会打印“Official business!”正如你所料

如果我理解正确，你的意思是写类似的东西

sub named(:official($private)=True) { "Official business!" if $private }

这是你的意思吗？如果是这样，您应该知道该签名中的$private=True 并不是真正设置 $private 任何东西——它只是为变量$private 提供default value。所以你可以得到这个输出：

sub named(:official($private)=True) {
      say $private;
}

named();               # OUTPUT: «True»
named(:official(42));  # OUTPUT: «42»

无论如何，我都会向文档存储库发送一个 PR，并尝试稍微澄清一下命名参数示例。希望你喜欢 Raku！

Answer 2

在这个简短的例子中发生了几件事：

sub named(:official($private)) { "Official business!" if $private }
           -------- --------
               |        |
               |        > '$private' is the name of this var within the sub
               |
               > 'official' is the (sigilless) name of this var outside
           
           ------------------
                   |
                   > ':official($private)' is the 
                            raku Pair 'official => $private'  

named :official
----- ---------
  |       |
  |       > the raku Pair 'official => True' (so $private ~~ True)
  |
  > the same as 'named( official => True );'

所以当你在 repl 中尝试这个时...

> named :official;             #Official business!
> named( official => True )    #Official business! [same thing]
-or-
> named :!official             #()
> named( official => False )   #() [same thing]

第一次遇到，在这个例子中，raku 是相当古怪的。为什么？

• raku Pair literal 语法可以轻松处理常见的函数参数情况，例如 :dothis 但 :!notthat 副词
• :name(value) 公式在此处被重新用于将外部变量名称映射到内部变量名称 - 没有什么特别需要，因为 Pair 语法已经做到了 - 但对于代码封装非常有用
• 与argument aliases 类似的情况...您可以将其视为 Pairs of Pairs ...再次，不需要特殊语法，因为只需使用内置的 Pair 文字语法

所以，恕我直言，raku 非常酷，因为我们只需要学习一些基本的元素语法（在本例中为 Pair 文字），然后就可以以多种方式一致地应用它们，以简明地解决相当棘手的编码场景。

Answer 3

通过pretzel logic 我得出的结论是：

• 你的Q可能是为了欺骗我们而精心编写的，如果我们正确解开谜题，你就会揭开真相。

或者（可能更可能......?）：

• 采用这种心态将帮助我们所有人（您、读者、回答者）玩得开心，因为我们试图解决您真诚 Q 中固有的谜题，即使您不打算这样做有趣...

无论哪种方式，请阅读此答案并让我知道它是否有助于解决谜题。 TIA。 :)

---

我错过了什么不是我，而是什么？

也许这是解开谜题的关键：我们应该问自己“Keith 故意从 Q 中漏掉了什么？”。

当然，如果是这样，那么您首先要忽略的是它是个谜。在这种情况下，主要的荣誉！如果它不是故意的谜语，好吧，它仍然是一个谜，所以无论如何都值得称赞，让我们尝试解决它！

---

@codesection 的答案可能是最有力的线索。虽然您没有编写最小的可重现示例，但您确实编写了 sub 定义代码，并且您确实说您编写了 $private=False。

所以我们假设你字面意思写了sub的定义，而你字面意思写了$private=False。

此外，那个：

$private=False 调用 'named' 仍会打印 'Official business!'而我认为不应该产生任何输出。

表示在所有情况下都有一些输出。

Anyhoo，所有这些事情怎么可能同时为真？

---

这些是编译时错误：

sub named( :official( $private = True ) )   { "Official business!" if $private }
sub named( :official( $private = False ) )  { "Official business!" if $private }

是这样的：

$private = False;

除非之前有my $private...。

还有这个：

sub named( :official( $private ) ) {
  $private = True;
  "Official business!" if $private
}
named;

产生Cannot assign to a readonly variable or a value（当前在运行时），因为默认情况下，例程的参数是只读的。

---

你还说有输出（表面上是Official business!，但有时可能是别的东西，例如()？）。

您没有提到用于显示输出的say 或类似例程。怎么可能？让我们介绍一个say。

---

所以，把这些东西放在一起，应用椒盐卷饼的逻辑，我到了这里：

sub named(:official($private)) { "Official business!" if $private }
my $private;
$private = False;
say named :official;         # Official business!
say named :!official;        # ()
say named official => False; # ()
say named :official(False);  # ()
say named;                   # ()

解谜的解释：

• () 不是“没有输出”。所以这与你的 Q 叙述并不矛盾。

• 我们已经写了$private = False。由于词法作用域，它对代码没有影响，但我们确实编写了它。 :)

---

我暖和吗？

Answer 4

亲爱的善良和慷慨的乐民，

感谢您的回复和讨论。之后我现在明白了我不明白的东西。我误解的根源从这里开始：在撰写本文时，the doc page for class Pair 说：

创建对的语法有很多

并继续举例，其中之一是这一行：

:foo(127) # foo 的缩写 => 127

所以我在 raku 交互环境中想到了这两行：

> :foo(127)
foo => 127
> :foo.kv
(foo True)

最后一行回答(foo 127)。不过很遗憾，不，答案是(foo True)

但是当我去阅读“类签名”页面并与示例陷入困境时，我不知道：

sub named(:official($private));
named :official

现在看来是一个截断的例子。

让我觉得冒号可以做的事情有很多魔力。

不管怎样，希望大家都好好的……鳄鱼们以后见。