Scala: Почему mapValues ​​создает представление и есть ли стабильные альтернативы?

Question

Сейчас я с удивлением узнаю, что mapValues создает вид. Последствие показано в следующем примере:

case class thing(id: Int) 
val rand = new java.util.Random 
val distribution = Map(thing(0) -> 0.5, thing(1) -> 0.5) 
val perturbed = distribution mapValues { _ + 0.1 * rand.nextGaussian } 
val sumProbs = perturbed.map{_._2}.sum 
val newDistribution = perturbed mapValues { _/sumProbs } 

Идея заключается в том, что у меня есть распределение, которое возмущается с некоторой хаотичностью тогда я перенормировать его. Код на самом деле не выполняется изначально: поскольку mapValues производит view, _ + 0.1 * rand.nextGaussian всегда переоценивается всякий раз, когда используется perturbed.

Теперь я делаю что-то вроде distribution map { case (s, p) => (s, p + 0.1 * rand.nextGaussian) }, но это всего лишь немного подробный. Таким образом, цель этого вопроса:

1. Напомните людям, которые не знают об этом факте.
2. Ищите причины, по которым они делают mapValuesview s.
3. Существует ли альтернативный метод, который дает бетон Map.
4. Есть ли другие широко используемые методы сбора, которые имеют эту ловушку.

Спасибо.

Answer 1

Существует билет об этом, SI-4776 (по YT).

коммит, который вводит его это сказать:

В соответствии с предложением jrudolph, сделал filterKeys и mapValues превратить абстрактные карты и дублируются функциональность для неизменных карт. Перемещено transform и filterNot от неизменяемых до общих карт. Обзор от phaller.

Я не смог найти оригинальное предложение от jrudolph, но я предполагаю, что это было сделано, чтобы сделать mapValues более эффективным. Дайте вопрос, который может стать неожиданностью, но mapValuesявляется более эффективным, если вы не можете перебирать значения более одного раза.

В качестве рабочего можно сделать mapValues(...).view.force для производства нового Map.

Answer 2

Ла Скала док сказать:

вид карты, которая отображает каждый key этой карты в f(this(key)). Полученная карта обертывает исходную карту без копирования каких-либо элементов.

Так что этого следовало ожидать, но это меня очень пугает, мне придется рассмотреть кучу кода завтра. Я не ожидал, что поведение как то :-(

Просто другой обходной путь:

Вы можете позвонить toSeq, чтобы получить копию, и если вам это нужно вернуться к карте toMap, но в этом нет необходимости создавать объекты, и имеют последствия производительности по сравнению с использованием map

можно относительно легко писать, mapValues, который не создает вид, я сделаю это завтра и разместить код здесь, если никто не сделать это до меня;)

EDIT:

Я нашел легкий путь к «силе» мнению, не использовать «.map (идентичность)» после mapValues ​​(поэтому нет необходимости реализации конкретной функции):

scala> val xs = Map("a" -> 1, "b" -> 2) 
xs: scala.collection.immutable.Map[java.lang.String,Int] = Map(a -> 1, b -> 2) 

scala> val ys = xs.mapValues(_ + Random.nextInt).map(identity) 
ys: scala.collection.immutable.Map[java.lang.String,Int] = Map(a -> 1315230132, b -> 1614948101) 

scala> ys 
res7: scala.collection.immutable.Map[java.lang.String,Int] = Map(a -> 1315230132, b -> 1614948101) 

Это позор типа возврат не на самом деле вид! в противном случае можно было бы назвать «силой» ...