【问题标题】:How to pass a smart iterator to a function that accepts a classic iterator?如何将智能迭代器传递给接受经典迭代器的函数?
【发布时间】:2019-12-10 03:23:28
【问题描述】:

我正在尝试熟悉 ranges-v3 库,它将成为 C++20 标准的一部分。为此,我试图通过用新的可用构造替换(在合适的情况下)经典迭代器和算法来重构一些玩具代码。在这个特定的示例中,我无法弄清楚如何将返回的对 ranges::min_element 的调用(它取代了对 std::min_element 的调用)的调用传递给我的另一个函数,该函数接受经​​典的 iterator 作为参数。

我在 documentation of the library 中搜索了一些类似 smartIt2classicIt 的函数,但没有成功。

这是一个最小的例子

void f(std::vector<int>& v, std::vector<int>::iterator it); // old function that I want to reuse
auto predicate = [](int i){ return true; }; // check function

std::vector<int> v;
// auto min_el = std::min_element(...); // old code
auto filtered_range = v | ranges::view::filter(predicate); // to avoid a dangling iterator
auto min_el = ranges::min_element(filtered_range);

f(v, min_el); // pass min_el to f: doesn't compile with the new code

起初我以为ranges::min_element 的结果可以隐式转换为经典迭代器,但我错了:编译器返回一个长错误,说cannot convert a ranges::basic_iterator bla bla bla to a std::vector bla bla bla iterator。鉴于此错误,我推断ranges::min_element 确实返回了某种迭代器,但是如何以旧方式使用它?

我看到了三种可能的解决方案:

  1. 更改min_el 传递给f 的方式
  2. 更改f 的第二个参数的类型(可能以向后兼容的方式)
  3. 改变这两件事

但我不知道如何实现它们。也许还有另一种解决方案?我还看到了另一个可能的麻烦来源,因为返回的迭代器可能指的是filtered_range而不是v...欢迎任何帮助!

【问题讨论】:

  • "这将成为 C++20 标准的一部分" 它不会。不是全部。你应该注意what is actually in C++20
  • @NicolBolas 你的措辞很不友好......
  • 想象一下你做了类似min_el = v | takeEverySecondElement()的事情。递增min_el 当然应该在向量内推进两个元素,但f 大概期望传递的迭代器只推进一个元素。也许您真正想要的是向量的索引?基本上,试着在心理上改变问题的各个部分,看看你会期望什么以及它暴露了哪些要求/冲突(例如,如果你有一个 std::map 而不是一个向量怎么办?)
  • 请注意,f 获取v 的副本(您通过值传递它)。这是故意的吗?这意味着您传递给f 的迭代器指向的向量与f 内部的向量不同。
  • @sebrockm 这是一个错字,我正在编辑问题。谢谢你的来信!

标签: c++ c++20 range-v3


【解决方案1】:

您可以通过base() 成员函数将适配的迭代器转换为其基迭代器。

例如:

std::vector<int>::const_iterator foo(std::vector<int> const& v) {
    auto filtered = v | ranges::view::filter([](int i){return i > 5;});
    auto min_el = ranges::min_element(filtered);
    return min_el.base();
}

请注意,这只去除了一层包装,它不会掉到底部。因此,如果您有 另一个 适配器,那么您需要另一个 base():

std::vector<int>::const_iterator foo(std::vector<int> const& v) {
    auto filtered = v | ranges::view::filter([](int i){return i > 5;})
                      | ranges::view::transform([](int i){ return i * i; });
    auto min_el = ranges::min_element(filtered);
    return min_el.base().base();
}

【讨论】:

  • 太棒了!有没有办法在一行中做到这一点?我试过直接做return ranges::min_element(v | ...).base();,但是现在ranges::min_element的返回值是ranges::dangling类型并且没有base()成员。有什么可能的解决方法吗?
  • @Rackbox 这是为了使悬空迭代器的可能性更加明显而设计的(这种特定情况是安全的,但是该语言没有区分安全和不安全的好方法使用)。
猜你喜欢
  • 1970-01-01
  • 2015-04-15
  • 2016-12-08
  • 2013-06-03
  • 2014-06-26
  • 2013-09-02
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多