时间戳

首页 > 解决方案 > 为左值和右值实现 C++ range-for 包装器

c++ - 为左值和右值实现 C++ range-for 包装器

问题描述

我已经为 range-for 循环实现了一个小助手包装器，它允许迭代关联 Qt 容器的键和值，例如QMapand QHash，将每一对提取为结构化绑定，例如：

const QMap<int, QString> digitMap = { {1, "one"}, {2, "two"}, {3, "three"} };
for (auto [intKey, strVal] : make_keyval(digitMap)) {
    qDebug() << intKey << "->" << strVal;
}

Qt 容器不支持开箱即用，因为它们需要使用一对特定的constKeyValueBegin()andconstKeyValueEnd()方法（假设只有非变异迭代）。所以我的想法是编写一个简单的包装器类型，它提供了一对简单地调用容器上的 keyValue 的常规方法begin()和方法。end()

这很容易，但作为一个延伸目标，我还想让包装器与临时文件一起使用，比如make_keyval(sometype.toMap()). 那里的主要挑战是通过迭代结束来延长临时的生命周期，因为我正在通过一个代理对象。这是我想出的解决方案：

template<typename C>
struct key_value_range_iterator {
    key_value_range_iterator(const C& container) : m_rvalueContainer(nullptr), m_containerRef(container) {}
    key_value_range_iterator(const C&& container) : m_rvalueContainer(std::make_unique<C>(std::move(container))), m_containerRef(*m_rvalueContainer) {}

    typename C::const_key_value_iterator begin() const { return m_containerRef.constKeyValueBegin(); }
    typename C::const_key_value_iterator end() const { return m_containerRef.constKeyValueEnd(); }

private:
    const std::unique_ptr<C> m_rvalueContainer;
    const C& m_containerRef;
};

template<typename C>
auto make_keyval(C&& container) { return key_value_range_iterator(std::forward<C>(container)); }

这似乎对常规变量和临时变量都有效。对于临时对象，m_rvalueContainer用于在迭代期间存储移动的临时对象，然后由m_containerRef. 在常规变量的情况下，我们只是将左值引用存储在m_containerRef直接保持未设置状态m_rvalueContainer。我验证了在每种情况下都调用了正确的构造函数，并且临时构造函数仅在 range-for 循环完成后被销毁。

所以我的问题很简单：这是我的包装器的正确实现，还是我错过了什么？或者也许有一个我没有想到的角落案例？

请注意，在我的初始版本中，我有m_rvalueContainer一个常规值，但我认为这最终会在左值情况下实例化一个空容器（尽管这对于 Qt 容器来说是一个便宜的操作），所以我将其替换unique_ptr为确保有在这种情况下没有开销。是的，它仍然最终将其初始化为 nullptr，但这可以忽略不计。

还有其他意见或建议吗？

标签： c++qtfor-loopc++17rvalue-reference

解决方案

因为make_keyval知道传入的对象是左值还是右值，您可以将该参数传递给您的包装器。

#include <type_traits>

template<typename C>
struct key_value_range_iterator {
    key_value_range_iterator(const C container) : m_containerRef(container) {}

    using iterator = typename std::remove_reference_t<C>::const_key_value_iterator;

    iterator begin() const { return m_containerRef.constKeyValueBegin(); }
    iterator end() const { return m_containerRef.constKeyValueEnd(); }

private:
    const C m_containerRef;
};

template<typename C>
auto make_keyval(C&& container) { return key_value_range_iterator<C>(std::forward<C>(container)); }

当传递一个左值时C，推断为QMap&使包装器持有一个引用。当传递一个右值时C，推断为QMap使包装器将右值移动到它的成员中。

因为C我们QMap&需要使用它std::remove_reference来成功获取左值情况下的迭代器类型。

推荐阅读