0

我有以下 std::set_union<...> 算法的自定义专业化示例。我从http://en.cppreference.com/w/cpp/algorithm/set_union改编了实现。

我需要自定义实现的原因是我想从这两个集合中创建元素对。在范围重叠（交集）的情况下，输出将包含 std::pair<*first_iter, *second_iter>

在元素对第一个集合唯一的地方，输出在概念上将是 std::pair<*first_iter, second_type()> 并且最后在元素对第二个集合唯一的地方，输出将是 std::pair .

该代码有效，但是在我的自定义中，我必须对 LoadableFile 类型进行硬编码，以便为 std::pair<> 的任一侧默认构造元素（取决于上述 3 种特殊情况中的 2 种）。是否有某种方法可以从 Merge 模板参数访问类型信息以了解其类型（它是PairMaker < Loadable, Loadable >和默认构造 Loadable()，而无需对专业化进行硬编码？

这是我的自定义：

// customized set_union that merges elements from both sets
// when the elements are unique in InputIt1 - merge constructs
// a pair with a default constructed type of InputIt1
template<typename InputIt1, typename InputIt2,
    typename OutputIt, typename Compare, 
    typename Merge>
OutputIt custom_set_union(
    InputIt1 first1, InputIt1 last1,
    InputIt2 first2, InputIt2 last2,
    OutputIt d_first, Compare comp,
    Merge merge)
{
    // example implementation taken and modified from cppreference.com
    for (; first1 != last1; ++d_first) {
        // empty second set
        if (first2 == last2) {
            // return std::copy(first1, last1, d_first);
            // equivalent of std::copy(...) from cppreference.com
            while (first1 != last1) {
                //*d_first++ = *first++;
                *d_first++ = merge(*first1++, LoadableFile());
            }
            return d_first;
        }
        if (comp(*first2, *first1)) {
            //*d_first = *first2++;
            *d_first = merge(LoadableFile(), *first2++);
        } else {
            //*d_first = *first1;
            // @JC note added *first2 as merge arg2 - overlapping region
            *d_first = merge(*first1, *first2);
            if (!comp(*first1, *first2))
                ++first2;
            ++first1;
        }
    }
    // return std::copy(first2, last2, d_first);
    // equivalent of std::copy(...) from cppreference.com
    while (first2 != last2) {
        //*d_first++ = *first++;
        *d_first++ = merge(LoadableFile(), *first2++);
    }
    return d_first;
};

为了提供所需的框架以使元素适合 OutputIt - 我有一个 Merge 类，它使对适合 OutputIt 如下：

/**
 * PairMaker helper struct to make pairs of objects from
 * 2 different types of sets templated on types A & B
 * must have default constructors - pair types A & B must
 * have default constructors
 */
template<typename A, typename B>
struct PairMaker {
    std::pair<A, B> operator() (const A& a, const B& b) const {
        return std::make_pair(a, b);
    }
};

就我而言，要实际使用专业化，我将其称为如下：

    auto comp = [](const LoadableFile& lhs, const LoadableFile& rhs) {
        return lhs.getRelativePath().filename() < rhs.getRelativePath().filename();
    };

    PairMaker<LoadableFile, LoadableFile> pairMaker;
    std::set<std::pair<LoadableFile,LoadableFile>> resultSet;
    custom_set_union(rLocalFileInfo.cbegin(), rLocalFileInfo.cend(),
        rModuleFileInfo.cbegin(), rModuleFileInfo.cend(), 
        std::inserter(resultSet, resultSet.end()),
        comp, pairMaker);
4

0 回答 0