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]]

Я ооочень запутался!

Разбираем ситуацию в вопросе:

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.

Примечание: вы не ошибетесь, прочитав ответ @raiphs. Тем не менее, я попытаюсь объяснить, что здесь происходит, и предложить возможные решения.

В Раку контекст - это все. Это означает, что разные контексты запускаются в разных контекстах, что подразумевает разные функции упаковки или распаковки структуры данных, с которой вы работаете.

Давайте посмотрим на это

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

Мы знаем, что находимся в «ассоциативном» контексте, потому что проценты отмечают обе стороны знака равенства. Нам даже не понадобится это с правой стороны:

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

потому что, глядя на левый, это все еще ассоциативный, так что мы знаем, что у нас в руках. Тот же самый код rhs в этом контексте:

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

Выдаст список пар. Итак, мы проверяем, что вы упомянули в своем ОП:

Назначение контейнеру списка (список-контекст) всегда запускает назначение списка.

правдиво. Это контейнер «список», мы превращаем rhs в список только по контексту. Здесь нет никакой двусмысленности: правая часть — это список, разделенный запятыми, левая — позиционный. Так вот.

Ситуация немного отличается в вашем коде. Возможно, это станет немного яснее, если мы будем использовать 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], но получил Array ($["Bq", "becquerel", ...)

Это показывает, что массив детализирован, он упакован так, чтобы его можно было вписать в скалярную вещь, такую ​​​​как значение хэш-ключа. По умолчанию значения хэша являются скалярными, и это включено в их определение:

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

Итак, то, что вы упомянули, остается в силе: назначение списка запускается, как в «контексте списка». Однако отдельный элемент можно преобразовать в список только одним способом: сделав его единственным элементом в списке. Если вы внимательно посмотрите на отчет об ошибке, то увидите, что он говорит: эй, ты сказал мне, что собираешься дать мне список Strs. Это не то! Это список (детализированных) массивов! Это работает:

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

Что нам нужно сделать, так это «распаковать» эту штуку, то есть получить массив, который населяет скаляр. Очень просто:

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

Оператор de-cont (который, возможно, следует называть оператором «unbox», «de-Scalarize» или «de-itemize») делает то, что нужно для вас. Однако это, вероятно, не то, что вы хотите. Вы хотите, чтобы ваши массивы были массивами. Однако это оказалось немного сложнее, и мне понадобится еще один вопрос SO, чтобы решить его.