使用 javautilstream API 进行编码时，请牢记“空洞的真相”

一分耕耘，一分收获！既然都打开这篇《使用 javautilstream API 进行编码时，请牢记“空洞的真相”》，就坚持看下去，学下去吧！本文主要会给大家讲到等等知识点，如果大家对本文有好的建议或者看到有不足之处，非常欢迎大家积极提出！在后续文章我会继续更新文章相关的内容，希望对大家都有所帮助！

• 简介
• 什么是虚空真理？
  • 问题陈述
  • 输入空洞的真理
    • 空洞真理的数学定义
  • 为什么这在编程中很重要？
  • 参考文献

介绍

您在编程中是否遇到过需要检查列表或流中的所有元素是否满足特定条件的场景？这是编码中的常见模式，但是当列表为空时会发生什么？这就是空洞真理的概念发挥作用的地方。

什么是虚空真理？

在深入研究数学定义之前，让我们从代码中的实际示例开始，以了解什么是空洞真理。

问题陈述

想象一下，您的任务是检查列表中的所有元素是否满足特定条件。如果他们这样做，您将执行特定操作。例如，考虑以下 java 代码片段：

  public static void main(string[] args) {
    // example - 1, expected to do something
    if (allnumbersareodd(arrays.aslist(1, 3, 5))) {
      system.out.println("do something 1");
    }
    // example - 2, not expected to do anything because not all numbers are odd
    if (allnumbersareodd(arrays.aslist(1, 2, 3, 4, 5))) {
      system.out.println("do something 2");
    }
    // example - 3, not expected to do anything because list is empty so there is no odd number.
    /* this is the surprising element which is known as "vacuous truth" and it will print "do something".
     * it is applicable to both allmatch(predicate<? super t> predicate) 
     * and nonematch(predicate<? super t> predicate) */
    if (allnumbersareodd(collections.emptylist())) {
      system.out.println("do something 3");
    }
  }

  private static boolean allnumbersareodd(@nonnull list<integer> numbers) {
    return numbers.stream().allmatch(integer -> integer % 2 != 0);
  }

第三个例子特别有趣。为什么列表为空时返回“all numbers ase odd”？

输入空洞的真理

这种行为是空洞真理的一个例子。在数理逻辑中，对空集的所有元素进行断言的陈述被认为是正确的。这是因为集合中没有任何元素与该语句相矛盾。

空洞真理的数学定义

根据维基百科：

“空洞真理是断言空集的所有成员都具有某种属性的陈述。这样的陈述被认为是正确的，因为空集中没有反例。”

换句话说，当我们说“集合 s 的所有元素都具有属性 p”时，如果 s 为空，则该陈述是空的，因为 s 中没有任何元素可能违反属性 p

为什么这在编程中很重要？

理解空洞真理在编程中很重要，因为它会影响代码的逻辑和结果，特别是在处理集合、流或任何输入可能为空的场景时。

结论
下次当您编写一个检查列表或流中的所有元素是否满足条件的函数时，请记住空真值的概念。它解释了为什么当输入为空时您的代码可能会出现意外的行为。意识到这一点可以帮助您编写更健壮且可预测的程序。
如果您要求空列表/流不能被评估为 true，那么您必须考虑对列表/流进行额外检查。

  private static boolean allNumbersAreOdd(@Nonnull List<Integer> numbers) {
    return !numbers.isEmpty() && numbers.stream().allMatch(integer -> integer % 2 != 0);
  }

参考

• 维基百科：空洞的真相
• java 文档中的 api 说明：
  • boolean allmatch(predicate 谓词)
  • boolean nonematch(predicate 谓词)

今天关于《使用 javautilstream API 进行编码时，请牢记“空洞的真相”》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！