Как создать гетерогенный массив в Scala?

Question

В JavaScript, мы можем сделать:

["a string", 10, {x : 1}, function() {}].push("another value"); 

Что является эквивалентом Scala?

Answer 1

Массивы в Скале очень однородны. Это связано с тем, что Scala является статически типизированным языком. Если вам действительно нужны псевдогетерогенные функции, вам нужно использовать неизменяемую структуру данных, которая ковариационно параметризована (наиболее непреложные структуры данных). List - это канонический пример, но Vector также является опцией. Затем вы можете сделать что-то вроде этого:

Vector("a string", 10, Map("x" -> 1),()=>()) + "another value" 

Результат будет типа Vector[Any]. Не очень полезно с точки зрения статической типизации, но все будет там, как и было обещано.

Кстати, "буквальный синтаксис" для массивов в Scala выглядит следующим образом:

Array(1, 2, 3, 4)  // => Array[Int] containing [1, 2, 3, 4] 

Смотрите также: More info on persistent vectors

Answer 2

Scala может получить способность к "гетерогенный" список в ближайшее время : HList in Scala

Answer 3

Scala выберет наиболее подходящий тип элемента Array, который может содержать все значения, в этом случае необходим самый общий тип Any который является супертипом любого другого типа:

Array("a string", 10, new { val x = 1 },() =>()) :+ "another value" 

Полученный массив будет иметь тип Array[Any].

Answer 4

Лично я, вероятно, использовал бы кортежи, как упоминает хром в комментарии.

scala> ("a string", 10, (1),() => {}) 
res1: (java.lang.String, Int, Int,() => Unit) = (a string,10,1,<function0>) 

Но вы не можете легко добавлять такие конструкции.

HList, упомянутый ePharaoh, «сделан для этого», но я, вероятно, остался бы в стороне от него сам. Это тяжелое программирование по типу и, следовательно, может нести с собой удивительные нагрузки (т. Е. Создавать множество классов при компиляции). Просто будь осторожен. HList вышеперечисленное (требуется библиотека MetaScala) будет (не доказано, так как я не использую MetaScala):

scala> "a string" :: 10 :: (1) ::() => {} :: HNil 

Вы можете добавить и т.д. (ну, по крайней мере, перед именем) в такой список, и будут знать типы. Prepending создает новый тип, который имеет старый тип как хвост.

Тогда есть еще один подход, который не упоминается. Классы (особенно тематические классы) очень легкие на Scala, и вы можете сделать их как остроты:

scala> case class MyThing(str: String, int: Int, x: Int, f:() => Unit) 
defined class MyThing 

scala> MyThing("a string", 10, 1,()=>{}) 
res2: MyThing = MyThing(a string,10,1,<function0>) 

Конечно, это не будет обрабатывать добавление либо.