c++ - std::unique 没有等价关系的例子(去掉连续的空格)

Question

cppreference 上有一个例子关于如何使用 std::unique 从字符串中删除连续空格:

std::string s = "wanna go    to      space?";
auto end = std::unique(s.begin(), s.end(), [](char l, char r){
    return std::isspace(l) && std::isspace(r) && l == r;
});
// s now holds "wanna go to space?xxxxxxxx", where 'x' is indeterminate
std::cout << std::string(s.begin(), end) << '\n';

但是，在唯一性的要求部分中指出

Elements are compared using the given binary predicate p. The behavior is undefined if it is not an equivalence relation.

所以我的问题是:给定的例子有效吗？ 谓词显然不是自反的(两个 'n' 字符比较不相等)，因此不是等价关系。

Answer 1

谓词确实不尊重Equivalence_relation ，特别是反身性:

a ~ a

您指出的示例可能是有效的，第一个 'n' 可以与第二个 'n' 不同。 问题在于 self 比较是错误的(空格字符除外)。

修复谓词的一种方法是考虑地址:

[](const char& l, const char& r)
{
    return (&l == &r)
        || (l == r && std::is_space(l));
}

事实是，与自身比较对于该算法几乎没有用，因此此处的 UB 符合作者在大多数实现中所期望的。

有效的实现可能会检查谓词的自反性，如果错误则执行任何操作(如 UB)。