Question

我正在尝试开发智能迭代器，但即使我创建了一个天真的迭代器，当我使用它时也会崩溃。

循环的范围运行良好，但std :: sort没有。

#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;

template<typename I>
class it {
public:
    it(I i) : i(i){}
    using iterator_category = std::random_access_iterator_tag;
    using value_type = typename I::value_type;
    using difference_type = std::ptrdiff_t;
    using pointer = typename I::pointer;
    using reference = typename I::reference;
    value_type &operator*() {
        return *i;
    }

    it &operator++() {
        ++i;
        return *this;
    }

    it &operator--() {
        --i;
        return *this;
    }

    bool operator!=(it a) {
        return a.i != i;
    }

    it &operator+(std::size_t n) {
        i += n;
        return *this;
    }

    it &operator-(std::size_t n) {
        i -= n;
        return *this;
    }

    std::ptrdiff_t operator-(it a) {
        return i - a.i;
    }

    bool operator==(it a) {
        return a.i == i;
    }

    bool operator<(it a) {
        return i < a.i;
    }

private:
    I i;
};

int main()
{
    std::vector<int> v = {10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0};

    for(auto e : v)
        std::cout << e << " ";
    std::cout << std::endl;

    std::sort(it<decltype(v.begin())>(v.begin()), it<decltype(v.end())>(v.end()));

    for(auto e : v)
        std::cout << e << " ";
    std::cout << std::endl;

    return 0;
}

崩溃发生在这里的“clang-code”（gdb告诉我）：

struct _Iter_less_iter
  {
    template<typename _Iterator1, typename _Iterator2>
      _GLIBCXX14_CONSTEXPR
      bool
      operator()(_Iterator1 __it1, _Iterator2 __it2) const
      { return *__it1 < *__it2; }
  };

当它推迟它时发生了。你有什么想法吗？

Answer 1

不确定底层问题是什么，但这绝对是错误的：

it &operator+(std::size_t n) {
        i += n;
        return *this;
    }

该运算符应返回 new 迭代器，而不是修改它所调用的迭代器。像这样：

it operator+(std::size_t n) {
        it temp = *this;
        temp.i += n;
        return temp;
    }

请注意，这会返回迭代器按值，而不是按引用返回。

operator-也是如此。

Answer 2

您的operator+的语义为operator+=，而您的operator-的语义为operator-=。它们不应该修改迭代器，而是使用修改后的值创建一个新的迭代器并返回它。此外，他们都应该接受签名的价值观。事实上，一个适当的随机访问迭代器应该有两组运算符，所以只需按原样保留函数，但更改签名。

it& operator+=(difference_type n) {
    i += n;
    return *this;
}

it &operator-=(difference_type n) {
    i -= n;
    return *this;
}

然后，您可以根据这些实施operator+和operator-。（注意，这些按值返回，而不是引用，并标记为const）

it operator+(difference_type n) const {
    it result = *this;
    result += n;
    return result;
}

it operator-(difference_type n) const {
    it result = *this;
    result -= n;
    return result;
}

自己的迭代器与std :: sort崩溃

2 个答案: