xml - 如何在 scala 中创建有序的 xml 元素？

Question

这对我来说似乎是错误的 - 为什么元素的顺序与它们的构建顺序不同？

scala> var list = collection.immutable.TreeSet(1, 3, 2, 5, 0)
list: scala.collection.immutable.TreeSet[Int] = TreeSet(0, 1, 2, 3, 5)

scala> var xml = <list>{ list.map(number => { <number>{number}</number> }) }</list>
xml: scala.xml.Elem = <list><number>3</number><number>1</number><number>2</number><number>5</number><number>0</number></list>

scala> var xml = <list>{ list.map(number => { println(number); <number>{number}</number> }) }</list>
0
1
2
3
5
xml: scala.xml.Elem = <list><number>3</number><number>1</number><number>2</number><number>5</number><number>0</number></list>

Answer 1

当您在 TreeSet 上进行映射时，它会创建一个新集。当然，新 Set 不使用整数的自然排序，因为它的元素不是整数。实际上，由于 没有自然排序Elem，因此新集合是无序的。您可以通过以下方式实现所需的排序：

var xml = <list>{ list.toSeq map (n => <number>{n}</number>) }</list>