Qt：为模板构造一个可变迭代器（地图、列表、集合……）

Question

在我的代码中，我经常有函数在不同的可迭代 Qt 容器类型上执行相同的操作，例如：

void removeX(QMap<qint64, QString> & map)
{
    QMutableMapIterator<qint64, QString> it(map);
    while (it.hasNext()) {
        it.next();
        if (it.value() == "X") it.remove();
    }
}

void removeX(QList<QString> & list)
{
    QMutableListIterator<QString> it(list);
    while (it.hasNext()) {
        it.next();
        if (it.value() == "X") it.remove();
    }
}

（我知道 QList 中已经有一个 removeAll 函数。这只是一个愚蠢的最小示例）

实际代码更复杂，因此会引入大量代码重复。我希望有类似的东西：

template <typename T>
void removeX_(T & container)
{
    typename T::mutable_iterator it(container);
    while (it.hasNext()) {
        it.next();
        if (it.value() == "X") it.remove();
    }
}

当然，这不会编译，因为 Qt 中根本没有 "::mutable_iterator" 类型定义。一个人可以建造一个吗？我没有看到一个简单的方法。在这种情况下，像“template<...> getMyMutableIterator”这样的函数不能工作，因为我们不允许为重载函数返回不同的类型。

但是我还没有真正理解 C++17 中的许多新的“模板魔法”。我可以想象这可能是实现上述代码的一种简单方法。有没有人在这里减少代码重复的解决方案？

Answer 1

您可以定义一个特征模板，并为适当的容器部分专门化

template <typename Container> struct q_container_traits;

template <typename T> struct q_container_traits<QList<T>>
{
    using mutable_iterator = QMutableListIterator<T>;
    using const_iterator = QListIterator<T>;
};

template <typename Key, typename Value> struct q_container_traits<QMap<Key, Value>>
{
    using mutable_iterator = QMutableMapIterator<Key, Value>;
    using const_iterator = QMapIterator<Key, Value>;
};

// etc

然后你在你的函数中使用q_container_traits<T>。

template <typename T>
void removeX(T & container)
{
    typename q_container_traits<T>::mutable_iterator it(container);
    while (it.hasNext()) {
        it.next();
        if (it.value() == "X") it.remove();
    }
}

Answer 2

您可以使用SFINAE 为那些不具有mutable_iterator 类型的参数T 使用std::enable_if_t 和std::is_same 禁用函数模板

template <typename T>
std::enable_if_t
<
    std::is_same_v
    <
        typename T::mutable_iterator, 
        mutable_iterator
    >, 
    void
> 
removeX_(T & container)
{
    typename T::mutable_iterator it(container);
    while (it.hasNext()) {
        it.next();
        if (it.value() == "X") it.remove();
    }
}

这类似于：如果T::mutable_iterator 类型与mutable_iterator 相同，则启用 void 类型作为函数的返回类型。如果 T 没有mutable_iterator，则替换失败。

您可以使用type_traits 使其适应T 或其迭代器（如check if it has the remove() member function）上的其他条件。