Question

我有一个自定义容器，它使用STL列表容器作为其内部结构。我要添加到此容器的其中一项是equal_range。

我的equal_range的代码在这里：

template <typename T> typename square_list<T>::iterator_pair square_list<T>::equal_range(key_type const& key) {
    auto range = std::equal_range(data_.begin(), data_.end(), key);
    for (square_list<T>::iterator it = range.first; it != range.second;) {
         if (range.first == data_.end() && range.second == data_.end())
            return std::make_pair(data_.end(), data_.end());
    ++it;
}

    return range;
}

我有一些单元测试我正在针对此实现运行，一切正常，除非键值不在数据结构中。它导致问题，而.first和.second不会返回等于数据的结尾_。

如果键值不在列表中，我需要更改以使range.first和range.second等于std::list<T> data_的结尾？

以下是单元测试的代码：

BOOST_AUTO_TEST_CASE(ut_equal_range) {
    vector<int> v{ 1, 1, 2, 2, 3, 4, 5, 6, 7, 8, 8, 8 };
    square_list<char> sql(v.begin(), v.end());

    auto res = sql.equal_range(0);
    BOOST_CHECK(res.first == sql.cend());
    BOOST_CHECK(res.second == sql.cend());
}

Answer 1

std::equal_range将返回大小为0的范围，如果key不在data_，则会data_.end()。因此，如果您希望在这种情况下将一对迭代器返回range.first == range.second，则应检查是否std::equal_range，并相应地返回结束迭代器对。

值得注意的是对equal_range输入的限制：http://en.cppreference.com/w/cpp/algorithm/equal_range

简而言之，{{1}}的输入必须根据键进行分区，这意味着必须存在两个子范围，其中一个子范围由所有小于被搜索的键的值组成，一个由价值更高。已排序的范围已经具有此保证。

equal_range表示列表容器

1 个答案: