删除哪个元素是由std :: unique定义的？

Question

基于这里的示例代码,我写了这个小例子(ideone Link):

#include <iostream>
#include <algorithm>
#include <string>

int main() 
{
    std::string s = "foo123bar456wibble";
    auto end = std::unique(s.begin(), s.end(), [](char l, char r){
        return std::isdigit(l) && std::isdigit(r);
    });
    // What does s hold?
    std::cout << std::string(s.begin(), end) << '\n';
}

我的输出是:

foo1bar4wibble

标准是否保证了这种行为,还是可以接受？

foo2bar6wibble

链接的cppreference页面显示:

通过移动范围中的元素以使得要擦除的元素被覆盖来完成移除.

但这是规范性文本还是仅仅是建议的实施？

此外,cplusplus.com说:

从[first,last]范围内的每个连续的等效元素组中删除除第一个元素之外的所有元素.

但这又是规范性的吗？

Answer 1

25.3.9 [alg.unique]/1

效果:对于非空范围,除去以下条件所持i有的范围内迭代器引用的每个连续等效元素组中的第一个元素[first + 1,last):*(i - 1) == *i或pred(*(i - 1), *i) != false.