c++ - 没有元素满足谓词时的 is_partitioned 行为

Question

我很惊讶地看到以下代码返回 true:

bool isSadPancake(char c) { return c == '-'; }

string pancakes = "+++";

bool isParitioned = is_partitioned(pancakes.begin(), pancakes.end(), isSadPancake);

我在网上看到的文档说 is_partitioned 如果范围 [first, last) 中满足谓词的所有元素都出现在所有不满足谓词的元素之前，则返回 true .在这种情况下，没有满足谓词的元素出现，所以我期望返回值为 false。这是预期的行为吗？我可以在标准的哪个位置找到更多详细信息？

Answer 1

另一种看待它的方式是，所有 满足谓词的元素实际上确实出现在不满足谓词的元素之前。全部为零。

一个更好的思考方式是这样的:序列不被分割意味着什么？这意味着您应该能够首先找到不满足谓词的元素，然后找到满足谓词的元素。你在你的序列中找不到这样的反例。