SFINAE：班级成员不能重新声明[重复]

Question

我正在尝试创建自己的“智能迭代器”，并且我想使用 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

。

我对模板不太“擅长”，但我认为对于 SFINAE，只会“声明”两者之一。我错过了什么吗？还可以做别的吗？

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;