C++11 STL 独特的功能，但相反

Question

是否有类似std::unique 的函数，但它采用自定义比较谓词，并以等效顺序保留last 元素，而不是第一个？如果 C++14 或 C++17 是一个选项，答案是肯定的；但是我使用的是 C++11。

我从一个大型重物的双端队列开始，按一个轻量级字段排序。一些对象的轻量级字段具有相同的值，这是不可接受的。我需要丢弃除 last 对象以外的所有具有匹配光场的序列。

目前我的代码使用自定义二进制谓词和辅助重对象调用equal_range，然后倒回结束迭代器：

deque<Heavy> heavyDeque(...);

Light helperLight(...);
Heavy helperHeavy(helperLight, );

typedef deque<Heavy>:: iterator HevIt;

pair<HevIt, HevIt> deleteRange = equal_range(
    heavyDeque.begin(), heavyDeque.end(), helperHeavy,
    [](const Heavy & lhs, const Heavy & rhs) {
        return lhs.getLight() < rhs.getLight()})

//I have prior knowledge of at least one match
assert(deleteRange.first != deleteRange.second);
// back up; don't delete the last one
--(deleteRange.second);
heavyDeque.erase(deleteRange.first, deleteRange.second);

我对必须通过 helperHeavy 感到不太满意，而我需要的只是 helperLight。我宁愿我的代码看起来像这样：

pair<HevIt, HevIt> deleteRange = magical_range_search(
    heavyDeque.begin(), heavyDeque.end(),
    [helperLight](const Heavy & heavy) {
        return helperLight == heavy.getLight()})

请注意，我虚构的魔法函数采用 一元 谓词，而不是二元谓词。

Answer 1

大概是这样的吧？

template<typename BidirectionalIterator, typename UnaryPredicate>
pair<BidirectionalIterator,BidirectionalIterator>
magical_range_search(BidirectionalIterator begin,
                     BidirectionalIterator end, UnaryPredicate p)
{
  return {find_if(begin,end,p),
          find_if(make_reverse_iterator(end),make_reverse_iterator(begin),p)};
}

但是，当然，对于整个事情，您可以使用 std::unique 和 reverse_iterator，如 cmets 所示：

heavyContainer.erase(heavyContainer.begin(),
                     unique(make_reverse_iterator(heavyContainer.end()),
                            make_reverse_iterator(heavyContainer.begin()),
                            [](Heavy const&lhs, Heavy const&rhs) {
                                return lhs.getLight() < rhs.getLight();
                            }).base());

这里reverse_iterator<>::base() 返回unique() 返回的reverse_iterator 的底层原始迭代器。当unique() 返回序列的新结尾时，反向操作返回序列的新开始。新范围为{new_begin, orignal_end}，{original_begin, new_begin} 范围内的元素必须为erase()d。