c++ - 应用于空范围的标准算法 any_of()、all_of() 和 none_of()

Question

我有一个与 STL 算法相关的问题。

来自 http://www.cplusplus.com/reference/algorithm/我看到 any_of()、all_of() 和 none_of() 在应用于空范围时具有不同的返回值，但似乎只是他们实现的结果。

您认为这些算法的正确返回值是什么？集合论能回答这些问题吗？

Answer 1

您只需解释他们的名字。使用常识。即:

any_of 范围内是否有任何元素满足条件？为此，您至少需要一个匹配元素。

all_of 是否范围内的所有元素都满足条件？如果没有元素，则所有元素都满足条件。

等等

模式非常简单:

• 如果您检查存在 (∃ x: P(x))，您至少需要一个元素。 Existential_quantification_The_empty_set
• 如果检查普适性 (∀ x: P(x))，那么空集就可以了。 Universal_quantification_The_empty_set