Это был довольно неожиданный сюрприз:
scala> Set(1, 2, 3, 4, 5)
res18: scala.collection.immutable.Set[Int] = Set(4, 5, 1, 2, 3)
scala> Set(1, 2, 3, 4, 5).toList
res25: List[Int] = List(5, 1, 2, 3, 4)
Пример сам по себе предлагает "нет" ответ на мой вопрос. Тогда как насчет ListSet?
scala> import scala.collection.immutable.ListSet
scala> ListSet(1, 2, 3, 4, 5)
res21: scala.collection.immutable.ListSet[Int] = Set(1, 2, 3, 4, 5)
Этот, похоже, работает, но я должен полагаться на это поведение? Какая другая структура данных подходит для неизменной коллекции уникальных предметов, где первоначальный порядок должен быть сохранен?
Кстати, я знаю о методе distict в List. Проблема в том, что я хочу обеспечить уникальность элементов (при сохранении порядка) на уровне интерфейса, поэтому использование distinct испортит мой опрятный дизайн.
ИЗМЕНИТЬ
ListSet тоже не очень надежный:
scala> ListSet(1, 2, 3, 4, 5).toList
res28: List[Int] = List(5, 4, 3, 2, 1)
EDIT2
В моем поиске идеального дизайна я пробовал это:
scala> class MyList[A](list: List[A]) { val values = list.distinct }
scala> implicit def toMyList[A](l: List[A]) = new MyList(l)
scala> implicit def fromMyList[A](l: MyList[A]) = l.values
Что на самом деле работает:
scala> val l1: MyList[Int] = List(1, 2, 3)
scala> l1.values
res0: List[Int] = List(1, 2, 3)
scala> val l2: List[Int] = new MyList(List(1, 2, 3))
l2: List[Int] = List(1, 2, 3)
Однако проблема заключается в том, что я не хочу выставлять MyList вне библиотеки. Есть ли способ иметь неявное преобразование при переопределении? Например:
trait T { def l: MyList[_] }
object O extends T { val l: MyList[_] = List(1, 2, 3) }
scala> O.l mkString(" ") // Let test the implicit conversion
res7: String = 1 2 3
Я хотел бы сделать это следующим образом:
object O extends T { val l = List(1, 2, 3) } // Doesn't work
