简单地将 play getIntList 转换为 scala List[Int]

convert play getIntList to scala List[Int] simply

我有一个 Play 应用程序,我想在其中读取整数列表。配置对象 returns Option[java.util.List[java.lang.Integer]] 但我想 return scala 类型 Option[List[Int]]。 我已经使用 JavaConversions 到 return scala List mylist.map(_.toList).

但我不确定如何在不使用任何其他库的情况下以简洁的方式将基础元素类型从 java.lang.Integer 转换为 Int

有什么想法吗?

只是map列表:

import scala.collection.JavaConverters._

mylist.map(_.asScala.toList.map(_.intValue))

(一般推荐JavaConverters,在JavaConversions基础上增加了toJavatoScala方法。