如何简化Option[Seq[LocalDate]]的安全日期提取逻辑？

我持有一个Option[Seq[LocalDate]]类型的日期序列，需要安全提取给定日期之后的首个日期；若不存在符合条件的日期，则返回该给定日期。当前实现代码较为冗余，请问针对该场景的最简惯用写法是什么？

原代码示例：

val dates: Option[Seq[LocalDate]] = ???
val postDates = dates.getOrElse(Seq[LocalDate]()).filter(_.isAfter(inputdate)).headOption
val firstDateOpt = Option(postDates).getOrElse(Seq[LocalDate]()).sorted.headOption
firstDateOpt.getOrElse(inputdate)

原代码存在两处明显冗余与逻辑瑕疵：

1. 将headOption返回的Option[LocalDate]再次用Option()包裹，后续又转成空序列排序，完全是无意义的操作；
2. 先过滤再取原序列第一个符合条件的日期，若原序列未排序，得到的并非最早的符合条件日期（即用户需求的“首个日期”），逻辑不符合预期。

针对该场景，Scala惯用的最简写法有两种：

写法一：基于集合操作链式调用 #

dates
  .getOrElse(Seq.empty[LocalDate])
  .filter(_.isAfter(inputdate))
  .sorted  // 升序排序，确保第一个是最早的符合条件日期
  .headOption
  .getOrElse(inputdate)

写法二：基于Option的flatMap简化（更紧凑） #

dates
  .flatMap(ds => ds.filter(_.isAfter(inputdate)).sorted.headOption)
  .getOrElse(inputdate)

说明 #

• flatMap直接处理Option[Seq[LocalDate]]内部的序列：过滤出所有晚于inputdate的日期，排序后取首个元素的Option，若序列为空或无符合条件的日期，flatMap会返回None；
• 最后通过getOrElse兜底，返回给定的inputdate。

内容的提问来源于stack exchange，提问作者IUnknown