简单地将 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
基础上增加了toJava
和toScala
方法。
我有一个 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
基础上增加了toJava
和toScala
方法。