Question

我正在尝试创建自己的＆＃34;智能迭代器＆＃34;并且我想根据迭代器的标记使用SFINAE来创建一些运算符：

这是我的代码：

template<class Iterator, class Predicat, class Tag>
class RangeFilterIterator {
public:
    RangeFilterIterator(Iterator begin, Iterator end, Predicat predicat) :
        mBegin(begin), mEnd(end), mPredicat(predicat) {}

    bool operator !=(RangeFilterIterator const &r) {
        return mBegin != r.mBegin;
    }

    typename Iterator::value_type &operator*() {return *mBegin;}

    RangeFilterIterator &operator++() {
        while(mBegin != mEnd && mPredicat(*mBegin++));
        return *this;
    }

    template<class = std::enable_if_t<std::is_base_of<std::random_access_iterator_tag, Tag>::value>>
    RangeFilterIterator &operator+(std::size_t n) {
        while(n--)
            ++(*this);
        return *this;
    }

    template<class = std::enable_if_t<!std::is_base_of<std::random_access_iterator_tag, Tag>::value>>
    RangeFilterIterator &operator+(std::size_t n) = delete;

private:
    Iterator mBegin, mEnd;
    Predicat mPredicat;
};

template<typename Container, typename Predicate>
auto RangeFilter(Container const &c, Predicate p) {
    using Iterator = RangeFilterIterator<typename Container::iterator,
                                         Predicate,
                                         typename Container::iterator::iterator_category>;
    Iterator begin(const_cast<Container&>(c).begin(), const_cast<Container&>(c).end(), p);
    Iterator end(const_cast<Container&>(c).end(), const_cast<Container&>(c).end(), p);
    return Range(begin, end);
}

并在第RangeFilterIterator &operator+(std::size_t n) = delete行我收到了错误：class member cannot be redeclared。

我不是＆＃34;好＆＃34;与模板，但我认为与SFINAE只有两个中的一个将被宣布＆＃34;。我错过了什么吗？可以这样做吗？

Answer 1

好的，当我使用返回类型参数而不是模板参数时，它可以工作。

template<class tag = Tag>
std::enable_if_t<std::is_base_of<std::random_access_iterator_tag, tag>::value, RangeFilterIterator>
&operator+(std::size_t n) {
    while(n--)
        ++(*this);
    return *this;
}

template<class tag = Tag>
std::enable_if_t<!std::is_base_of<std::random_access_iterator_tag, tag>::value, RangeFilterIterator>
&operator+(std::size_t n) = delete;

SFINAE：班级成员无法重新申报

1 个答案: