c++ - 通用删除功能

Question

我需要通过迭代器删除不同 STL 和 boost 容器的元素。有时我还需要使用 reverse_iterator 来做到这一点，所以我想将其包装到一个通用函数(集合)中。

据此: Iterator invalidation rules应该很有可能。

到目前为止我得到的是:

    template<class T, bool T_IterReturned = helpers::EraseReturnsIterator<T>::value>
    struct EraseImpl
    {
        typedef typename T::iterator iterator;
        typedef typename T::const_iterator const_iterator;
        static iterator erase(list& container, iterator it) {
            return container.erase(it);
        }
        static const_iterator erase(list& container, const_iterator it) {
            return container.erase(it);
        }
    };
    template<class T>
    struct EraseImpl<T, false>
    {
        // This one gets used for e.g. std::set whos erase does not return
        // an iterator until C++11
        typedef typename T::iterator iterator;
        typedef typename T::const_iterator const_iterator;
        static iterator erase(list& container, iterator it) {
            container.erase(it++);
            return it;
        }
        static const_iterator erase(list& container, const_iterator it) {
            container.erase(it++);
            return it;
        }
    };

template<typename T>
inline typename T::iterator erase(T& container, typename T::iterator it)
{
    return detail::EraseImpl<T>::erase(container, it);
}

template<typename T>
inline typename T::reverse_iterator erase(T& container, typename T::reverse_iterator it)
{
    typename T::reverse_iterator tmp = it;
    return typename T::reverse_iterator(erase(container, (++tmp).base()));
}

这应该适用于大多数情况，但例如不返回迭代器的类似 vector 的容器会破坏它。集合不会使任何其他迭代器无效 -> 可以使用下一个迭代器。对于 vector ，我需要存储前一个迭代器(如果有的话)并返回它。对于没有迭代器返回的双端队列(和类似的)，这根本不起作用。我不想为所有已知容器实现 EraseImpl，例如这将要求我包含所有我想避免的 header 。

我能做些什么来避免针对所有类型专门化它吗？当然，我可以用 {Use_Next, Use_Prev} 之类的枚举创建一个特征，并让它不专门用于使所有迭代器无效的容器。但同样:我不想包含所有可能的 header 。

Answer 1

我目前使用的解决方案是使用可以专用于每个容器类的特征类。

默认为“Not-Allowed”，但也为具有删除功能的容器提供特化，返回一个迭代器。这是以通用方式完成的，因此仅检查此类函数的存在。如果找到，generic_erase 将使用它。如果不是，特征会询问用户专门的一个删除器对迭代器(next_iterator_valid、prev_iterator_valid、all_invalid)做了什么，然后 generic_erase 相应地进行操作。

这对这项任务很有帮助:Check for function signature also for inherited functions