分配给列表容器混淆

Question

我可能患有脑衰退，但根据有关项目和列表分配的文档 (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.

Answer 1

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.

Answer 2

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

在 Raku，context 就是一切。这意味着不同的上下文会在不同的上下文中触发，这意味着您正在使用的数据结构具有不同的 boxing 或 unboxing 功能。

让我们看看这个

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，还是一个Associative，所以我们知道我们手里拿的是什么。此上下文中的相同 rhs 代码：

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

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

Assignment to a List container (list-context) always triggers list assignment.

是真实的。这是一个“列表”容器，我们只是通过上下文将 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", ...)

第一眼可能看不出区别，所以我在这里强调一下：

Type check failed in binding; expected Positional[Str] but got Array ($["Bq", "becquerel", ...)

这表明该数组是 itemized，它已被装箱以便它可以适合类似标量的事物，例如哈希键的值。默认情况下，哈希值是标量的，在它们的定义中组成：

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

所以你提到的仍然成立：列表赋值被触发，就像在“列表上下文”中一样。但是，单个项目只能通过一种方式转换为列表：通过使其成为列表中的单个元素。如果您仔细查看错误报告，它就是这样说的：嘿，您告诉我您要给我一个 Strs 列表。这不是那个！这是一个（逐项列出的）数组列表！这有效：

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

我们需要做的是对这个东西进行«unbox»，即取回寄居在Scalar中的Array。简单易行：

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

de-cont operator (which maybe should be called "unbox" or "de-Scalarize" or "de-itemize" operator) 为您做正确的事。但是，这可能不是您想要的。你希望你的数组是数组。然而，事实证明这有点棘手，我将需要另一个 SO 问题来解决它。

分配给列表容器混淆

Assignment to a List Container Confusion

raku

一点头绪

“列表分配”

我很困惑！

脚注