在 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(*)
最佳答案
当然。编写一个函数,它接受一对可解引用的事物并返回解引用它们的结果:
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;
关于c++ - 自动解包一对迭代器,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61661658/