当我在 std::find() 中传递用户定义的迭代器参数时，GCC 5.2.1。编译器(在 Ubuntu 15.10 上)给出两条错误消息:

(1)

/usr/include/c++/5/bits/stl_algo.h:162:34: error: no matching function for call to ‘__iterator_category(Text_iterator&)’
std::__iterator_category(__first));

(2)

/usr/include/c++/5/bits/stl_iterator_base_types.h:204:5: error: no type named ‘iterator_category’ in ‘struct std::iterator_traits’

错误是由 auto p = find(first, last, first_char); 行引起的，它位于 find_txt() 函数内。注释掉该行后，代码将无缝编译。以下是导致错误的代码摘录:

#include "std_lib_facilities.h"//from B. Stroustrup's site

using Line = vector<char>;

class Text_iterator {

    list<Line>::iterator ln; //points to lines
    Line::iterator pos; //points to characters

    public: 
    Text_iterator(list<Line>::iterator ll, Line::iterator pp)
        :ln{ll}, pos{pp} { }
    char& operator*() { return *pos; }
    Text_iterator& operator++();
    bool operator==(const Text_iterator& other) const
        { return ln==other.ln && pos==other.pos; }
    bool operator!=(const Text_iterator& other) const
        { return !(*this==other); }
};

Text_iterator& Text_iterator::operator++()
{
    ++pos;
    if (pos==(*ln).end()) {
    ++ln;
    pos = (*ln).begin();
}
    return *this;
}

Text_iterator find_txt(Text_iterator first, Text_iterator last, const string& s)
{
    if (s.size()==0) return last;// can’t find an empty stringchar first_char = s[0];
    char first_char = s[0];
    while (true) {
        auto p = find(first, last, first_char); //<------------the PROBLEM!!!!!!
        //if (p==last || match(p,last,s)) return p;
        //first = ++p;// look at the next character
    }
}

void ex6()
{
    ;
}


int main()
{
    ex6();
}

我引用了错误消息中提到的文件:

template<typename _Iterator, typename _Predicate>
    inline _Iterator
    __find_if(_Iterator __first, _Iterator __last, _Predicate __pred)
    {
        return __find_if(__first, __last, __pred,
        std::__iterator_category(__first)); //this is line #162 in stl_algo.h
    }

和

template<typename _Iter>
    inline typename iterator_traits<_Iter>::iterator_category
    __iterator_category(const _Iter&)//this is line #204 in stl_iterator_base_types.h
    { return typename iterator_traits<_Iter>::iterator_category(); }

问题出在 auto p = find(first, last, first_char); 还是出在这两个 GCC 库文件——即 STL_algo.h 和 STL_iterator_base_types.h？可能的处理方法是什么？

我正在为 Stroustrup 的编程:使用 C++ 的原理和实践，第 2 版第 20 章的练习 6 准备代码。并被困在这里。在网上搜索std::find()的问题一直没有结果。所有问题均未提及此函数的迭代器参数。

最佳答案

标准算法(包括std::find)要求使用的迭代器满足Iterator的要求概念。这些要求包括

std::iterator_traits<It> has member typedefs value_type, difference_type, reference, pointer, and iterator_category

根据报错信息，

no type named ‘iterator_category’ in ‘struct std::iterator_traits’

这可能是指 std::iterator_traits<Text_iterator> .因此，显然自定义迭代器不是迭代器，因为它不符合要求。

解决方案:特化std::iterator_traits自定义迭代器类型的模板并定义所需的成员类型。还要确保满足 Iterator 的其他要求以及 InputIterator，因为这就是 std::find。需要。

特化示例:

namespace std {
    template<>
    struct iterator_traits<Text_iterator> {
        typedef ptrdiff_t          difference_type;
        typedef char               value_type;
        typedef char*              pointer;
        typedef char&              reference;
        typedef input_iterator_tag iterator_category;
    };
}

关于c++ - C++ STL 函数 find() 不接受用户定义类的迭代器参数，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/41044165/