c++ - 自动解包一对迭代器

Question

在 C++ 中，如果函数返回 std::pair<int, int> ，我们可以按如下方式自动接收它:

auto pr = some_function();
std::cout << pr.first << ' ' << pr.second;

现在，C++17 标准提供了一种将这对直接解包为单独变量的漂亮方法，如下所示:

auto [x, y] = some_function();
std::cout << x << ' ' << y;

然后是 std::minmax_element()库函数，返回 一对迭代器 .所以如果我通过 vector<int>对于这个函数，它给了我一对指向 vector 中最小和最大元素的迭代器。

现在我可以像往常一样接受这些迭代器的一种方法，然后按如下方式取消引用它们。

std::vector<int> v = {4,1,3,2,5};
auto [x, y] = std::minmax_element(v.begin(), v.end());
std::cout << (*x) << ' ' << (*y);   // notice the asterisk(*)

现在我的问题是: 有没有办法在解包时取消引用它们？ 或者更准确地说，给定以下代码，我可以替换 var1和 var2使用有效的 C++ 并打印那些迭代器指向的值？

std::vector<int> v = {4,1,3,2,5};
auto [var1, var2] = std::minmax_element(v.begin(), v.end());
std::cout << var1 << ' ' << var2;   // notice there is NO asterisk(*)

Answer 1

当然。编写一个函数，它接受一对可解引用的事物并返回解引用它们的结果:

template <typename Iterator,
    typename R = typename std::iterator_traits<Iterator>::reference>
auto deref(std::pair<Iterator, Iterator> p)
    -> std::pair<R, R>
{
    return {*p.first, *p.second};
}

然后使用该功能:

auto [var1, var2] = deref(std::minmax_element(v.begin(), v.end()));

请注意，如果范围为空，则这是 UB，因为您要取消引用结束迭代器两次。

或者，为了更好:

struct deref_t {
    template <typename It,
        typename R = typename std::iterator_traits<Iterator>::reference>
    friend auto operator|(std::pair<It, It> p, deref_t)
        -> std::pair<R, R>
    {
        return { *p.first, *p.second };
    }
};
inline constexpr deref_t deref{};

这使得:

auto [var1, var2] = std::minmax_element(v.begin(), v.end()) | deref;