分配给列表容器混淆

  • 本文关键字:列表 分配 raku
  • 更新时间 :
  • 英文 :


我可能患有大脑褪色,但根据有关项目和列表分配的文档(https://docs.raku.org/language/variables#Item_and_list_assignment),

对列表容器(列表上下文)的分配始终会触发列表分配。

但是,这似乎与我从代码中得到的内容相冲突(此处在 raku repl 中重现)。

> my %syns-by-name = %(Bq => ["Bq", "becquerel", "becquerels"], C => ["C", "coulomb", "coulombs"],)
{Bq => [Bq becquerel becquerels], C => [C coulomb coulombs]}
> my Str @res = %syns-by-name{'Bq'};
Type check failed in assignment to @res; expected Str but got Array (["Bq", "becquerel", ...) in block <unit> at <unknown file> line 1
> my Str @res = [|%syns-by-name{'Bq'}];
[Bq becquerel becquerels]

这是一个错误,还是我误解了意图是什么...?

Welcome to             ™ v2020.10.
Implementing the         ™ programming language v6.d.
Built on MoarVM version 2020.10.

TL;DR如果非本机项可通过分配可变,则它是Scalar。列表分配不会平展Scalar项目。[1]

端倪

请考虑以下代码:

my %map = :a;
%map<a> = 42;
say %map<a>; # 42

作业之所以有效,是因为:

say %map<a>.VAR.WHAT; # (Scalar)

"列表分配">

请考虑以下代码:

my $scalar = 1,2;       # Useless use of constant integer 2
say $scalar;            # 1
my @list1 = 1,2;        # "list assignment", so RHS is iterated
say @list1;             # [1 2]

所以这是项目和列表分配之间的一个区别。

my @list3 = [1,2];      # Again, RHS is iterated
say @list3;             # [1 2]
my @list2 = (1,2);      # Again, RHS is iterated
say @list2;             # [1 2]
my @list4 = 1,(2,3);    # Again, RHS is iterated. Second element stays as a `List`.
say @list4;             # [1 (2 3)]
my @list5 = 1,[2,3];    # Again, RHS is iterated. Second element stays as an `Array`.
say @list5;             # [1 [2 3]]

如果 RHS 上只列出了一个项目,并且它不是Scalar,则列表分配会将其展平。但在所有其他方案中,列表分配不会平展项目。

my @list6 = $[1,2];     # RHS is a `Scalar`. So it doesn't get flattened.
say @list6;             # [[1 2]]

我好糊涂!

高尔夫在Q的情况:

my Str @res = %( :a[42,99] )<a>;

这会产生相同类型的错误。

因为:

say .VAR.WHAT given :a[42,99]<a>;       # (Array)
say .VAR.WHAT given (% = :a[42,99])<a>; # (Scalar)

脚注

[1]当猜测产生惊喜,并且您将其转化为学习时,您就会意识到并理想化您对 ERNing 的投资。

注意:阅读@raiph的答案不会出错。但是,我将尝试解释这里发生的事情并提出可能的解决方案。

在Raku中,上下文就是一切。这意味着不同的上下文在不同的上下文中触发,这意味着您正在使用的数据结构的不同装箱或拆箱功能。

我们来看看这个

my %syns-by-name = %(Bq => ["Bq", "becquerel", "becquerels"], C => ["C", "coulomb", "coulombs"],)

我们确实知道我们处于"关联"上下文中,因为等号两侧都有百分比标记。我们甚至不需要它在右侧:

my %syns-by-name = Bq => ["Bq", "becquerel", "becquerels"], C => ["C", "coulomb", "coulombs"]

因为,看看LHS,它仍然是一个关联,所以我们知道我们手中有什么。在这个同文中自相同的 rhs 代码:

my @list-of-signs = Bq => ["Bq", "becquerel", "becquerels"], C => ["C", "coulomb", "coulombs"] # [Bq => [Bq becquerel becquerels] C => [C coulomb coulombs]]

将生成一个对列表。因此,我们检查您在OP中提到的内容:

对列表容器(列表上下文)的分配始终会触发列表分配。

是真心话。这是一个"列表"容器,我们仅通过上下文将 rhs 转换为列表。这里发生的事情没有歧义:rhs 是一个逗号分隔的列表,lhs 是一个位置。所以你来了。

代码中的情况略有不同。如果我们使用 2020.12,可能会澄清更多

my %syns-by-name = Bq => ["Bq", "becquerel", "becquerels"], C => ["C", "coulomb", "coulombs"]
my Str @res = %syns-by-name{'Bq'};
# Type check failed in assignment; expected Positional[Str] but got Array ($["Bq", "becquerel", ...)

乍一看可能看不出区别,所以我在这里强调一下:

类型检查在绑定中失败;预期的 Positional[Str],但得到数组 ($["Bq", "becquerel", ...)

这表明数组是逐项列出的,它已被装箱,以便它可以适应类似标量的东西,例如哈希键的值。默认情况下,哈希值是标量值,这组成到它们的定义中:

role Associative[::TValue = Mu, ::TKey = Str(Any)] { }

所以你提到的仍然成立:列表分配被触发,就像在"列表上下文"中一样。但是,单个项目只能以某种方式转换为列表:使其成为列表中的单个元素。如果你仔细看一下错误报告,它就是这样说的:嘿,你告诉我你要给我一个 Str 列表。这不是那个!这是一个(逐项)数组的列表!这有效:

my List @res = %syns-by-name{'Bq'};
# [(Bq becquerel becquerels)]

我们需要做的是"拆箱"这个东西,即检索驻留在标量中的数组。简单易用:

my Str @res = %syns-by-name{'Bq'}<>;
# [Bq becquerel becquerels]

de-cont 运算符(可能应该称为"un-box"或"de-Scalarize"或"de-itemize"运算符)为您做正确的事情。但是,这可能不是您想要的。您希望数组是数组。然而,事实证明这有点棘手,我需要另一个 SO 问题来解决它。

最新更新