在scala中过滤Elem的子节点？

import scala.xml._

// 创建一个XML元素
val xml = <root>
  <child1>value1</child1>
  <child2>value2</child2>
  <child3>value3</child3>
</root>

// 过滤子节点
val filteredChildren = xml.child.filter {
  case _: Elem => true  // 保留Elem类型的子节点
  case _ => false       // 过滤其他类型的子节点
}

// 打印过滤后的子节点
filteredChildren.foreach(println)

<child1>value1</child1>
<child2>value2</child2>
<child3>value3</child3>