c++ - SFINAE : class member cannot be redeclared

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 这行我得到了错误:无法重新声明类成员。

我对模板不是“好”，但我认为使用 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;