标签:05 scala list dateStream 日期 2021 LocalDate fromDt
可以通过scala中的流处理,生成指定范围内的日期list
import java.time.LocalDate
def dateStream(fromDt:LocalDate):Stream[LocalDate]={
fromDt #::dateStream(fromDt.plusDays(1))
}
dateStream(LocalDate.of(2021,5,1))
.takeWhile(_.isBefore(LocalDate.of(2021,5,16)))
.toList.map(_.toString)
res0: List[String] = List(2021-05-01, 2021-05-02, 2021-05-03, 2021-05-04, 2021-05-05, 2021-05-06, 2021-05-07, 2021-05-08, 2021-05-09, 2021-05-10, 2021-05-11, 2021-05-12, 2021-05-13, 2021-05-14, 2021-05-15)
Stream(流)是Scala的一个特性,是一个惰性的列表,列表中的元素只有其在被需要的时候才经过计算,流计算能提高程序的性能。Python中的生成器(yield关键词)也是采用的惰性计算。
scala中使用“#::”操作符来构造一个流。
标签:05,scala,list,dateStream,日期,2021,LocalDate,fromDt 来源: https://www.cnblogs.com/zhouyc/p/15022969.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。