使用 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 -&gt; integer % 2 != 0);
  }
</integer>

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

输入空洞的真理

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

立即学习“Java免费学习笔记(深入)；

空洞真理的数学定义

根据维基百科：

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

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

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

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

结论 下次，当您编写检查列表或流中的所有元素是否符合条件函数时，请记住空真值的概念。它解释了为什么当输入空时，您的代码可能会发生意外。意识到这一点可以帮助您编写更强大和可预测的程序。 如果要求空列表/流量不能评估 true，然后你必须考虑额外检查列表/流量。

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

参考

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

以上就是使用 javautilstream API 编码时，请记住“空洞真相”的细节，请多关注图灵教育的其他相关文章！