小编Sla*_*how的帖子

在 Java Streams API 中我可以做这样的事情：

someStream.stream()
          .filter(someCondition)
          .findFirst()
          .map(someMappingStatement)
          .orElse(null)

我不想对序列执行相同的代码：

someSequence.asSequence()
            .filter{ someCondition }
            .map{ someMappingStatement }
            .firstOrNull()

我有些担心findFirst()。因为在这里的序列中我过滤，然后映射所有元素，但不是第一个元素。我怎样才能更好地按顺序重写它？

我有带有TIMESTAMP字段的 postgresql，其中有带有日期和时间的 Instant。例如：2021-10-13T15:04:24.944921Z。

可以看到，逗号-后面有 6 位数字944921。但是如果我有更多数字怎么办，例如：2021-10-13T07:14:47.791616921Z. 我怎样才能正确地舍入这样Instant的2021-10-13T07:14:47.791617Z？