2017-01-14 101 views
0

我试图创建自己的“智能迭代”,我想用SFINAE有根据迭代器的标签有些运营商: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只有一个将被“宣布”。我错过了什么吗?否则可以做到?

+0

我使用class tag = Tag和使用“无用函数”得到一个修复。但是,如果我为该功能使用“同名”,我仍然遇到同样的错误... –

回答

3

好的,当我使用返回类型参数,而不是模板参数,它的工作原理。

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;