Question

我正在尝试使用tbb::parallel_sort同时对2个数组进行排序。英特尔的文档说明https://software.intel.com/en-us/node/506167 The requirements on the iterator and sequence are the same as for std::sort.。这似乎并非如此。我的自定义迭代器与std::sort完全正常，但与tbb::parallel_sort产生编译错误。请参阅下面的代码：

int main()//needs boost and tbb to compile
{
    int values_size = 6;
    int nums1[] = {5, 8, 7, 89, 56, 4};
    int nums2[] = {2, 1, 1, 4, 9, 2};

    //WORKS!
    std::sort(do_dual_sort.make_iter(nums1, nums2), 
    do_dual_sort.make_iter(nums1+values_size, nums2+values_size),
    do_dual_sort.make_comp_desc(nums1, nums2));

    //DOESN'T COMPILE
    tbb::parallel_sort(do_dual_sort.make_iter(nums1, nums2), 
    do_dual_sort.make_iter(nums1+values_size, nums2+values_size),
    do_dual_sort.make_comp_desc(nums1, nums2));

    for(unsigned int i = 0; i < values_size; i++) cout << "nums1[" << i << "] " << nums1[i] << " | nums2[" << i << "] "  << nums2[i] << "\n";
    return 0;
}

class dual_sort
{
public:
    template <class T, class T2>
    struct helper_type {
        public:
            typedef boost::tuple<typename iterator_traits<T>::value_type, typename iterator_traits<T2>::value_type> value_type;
            typedef boost::tuple<typename iterator_traits<T>::value_type&, typename iterator_traits<T2>::value_type&> ref_type;
    };

    template <typename T1, typename T2>
    class dual_iterator : public boost::iterator_facade<dual_iterator<T1, T2>,
                                                        typename helper_type<T1, T2>::value_type,
                                                        boost::random_access_traversal_tag,
                                                        typename helper_type<T1, T2>::ref_type> {
    public:
        explicit dual_iterator(T1 iter1, T2 iter2) : mIter1(iter1), mIter2(iter2) {}
        typedef typename iterator_traits<T1>::difference_type difference_type;
    private:
        void increment() { ++mIter1; ++mIter2; }
        void decrement() { --mIter1; --mIter2; }
        bool equal(dual_iterator const& other) const { return mIter1 == other.mIter1; }
        typename helper_type<T1, T2>::ref_type dereference() const { return (typename helper_type<T1, T2>::ref_type(*mIter1, *mIter2)); }
        difference_type distance_to(dual_iterator const& other) const { return other.mIter1 - mIter1; }
        void advance(difference_type n) { mIter1 += n; mIter2 += n; }

        T1 mIter1;
        T2 mIter2;
        friend class boost::iterator_core_access;
    };

    template <typename T1, typename T2>
    dual_iterator<T1, T2> make_iter(T1 t1, T2 t2) { return dual_iterator<T1, T2>(t1, t2); }

    template <class T1, class T2> struct iter_comp_desc {
        typedef typename helper_type<T1, T2>::value_type T;
        bool operator()(const T& t1, const T& t2) const { return get<0>(t1) > get<0>(t2); }
        bool operator()(const char*& t1, const char*& t2) const { return strcmp(get<0>(t1), get<0>(t2)) == 1; }
    };

    template <class T1, class T2> iter_comp_desc<T1, T2> make_comp_desc(T1 t1, T2 t2) { return iter_comp_desc<T1, T2>(); }

} do_dual_sort;

我得到的编译错误是：

error C2512: 'dual_sort::dual_iterator<T1,T2>' : no appropriate default constructor available
with
[
    T1=int *,
    T2=int *
]
tbb44_20150728oss\include\tbb/parallel_sort.h(201) : see reference to function template instantiation 'void tbb::internal::parallel_quick_sort<RandomAccessIterator,Compare>(RandomAccessIterator,RandomAccessIterator,const Compare &)' being compiled
with
[
    RandomAccessIterator=dual_sort::dual_iterator<int *,int *>,
    Compare=dual_sort::iter_comp_desc<int *,int *>
]
main.cpp(1125) : see reference to function template instantiation 'void tbb::parallel_sort<dual_sort::dual_iterator<T1,T2>,dual_sort::iter_comp_desc<T1,T2>>(RandomAccessIterator,RandomAccessIterator,const Compare &)' being compiled
with
[
    T1=int *,
    T2=int *,
    RandomAccessIterator=dual_sort::dual_iterator<int *,int *>,
    Compare=dual_sort::iter_comp_desc<int *,int *>
]

编辑：我使用的编译器是Visual Studio 2012。您可以尝试使用std替换某些增强功能，以使其在g++上运行。

Answer 1

class quick_sort_range中的tbb/parallel_sort.h包含RandomAccessIterator begin;成员，该成员在其构造函数中进行了初始化并默认初始化，然后在其他构造函数中进行了分配。因此，它需要默认和可复制构造且可分配的迭代器。

因此，TBB文档声称与std::sort具有相同的要求是正确的，因为后者只需要随机访问迭代器are not required可分配，而TBB实现需要版本＆lt; = 4.4

可以修复默认可构造和可分配的需求，但可能会保留移动或可复制构造（使文档中的声明正确）。您可以在TBB Forum上报告此问题。

您可以安全地将默认和复制构造函数和赋值运算符添加到您的代码中，以便我可以使用tbb::parallel_sort进行编译。

以下是使用您的代码段的在线编译器：http://coliru.stacked-crooked.com/a/47dafd091d36a9c4

Answer 2

对于RandomAccessIterator，reference必须是对value_type的引用。它不能成为参考文献的元组。

因此，您的双迭代器不是有效的RandomAccessIterator。

许多算法仍然有效，但这并不能使您的代码有效。

要求相同并不意味着任何适用于std::sort的给定实现的内容也适用于tbb::parallel_sort：std::sort的给定实现不必强制执行标准中的要求。

无论文档如何，如果实现不适用于您的代码，它将无法使用您的代码。

最简单的方法可能是在原始数组中创建一对伪索引（或迭代器）数组，然后对其进行排序。您只需要正确覆盖<。

Answer 3

我无法编译基本用例（即使用std::sort）。因此，代码适合在一个特定的编译器情况下成功编译。

BTW，RandomAccessIterator也满足ForwardIterator要求。如果我们查看ForwardIterator的要求，我们会发现它应该是DefaultConstructible。（参见§24.2.5转发迭代器，最新C++ standard's working draft之一的第（1.2）节）

Answer 4

第一个错误读取＆＃34;没有合适的默认构造函数。＆＃34;，但是 Iterators must be default constructible

默认构造是在一种算法中使用还是在另一种算法中使用并不重要，但要求仍然有效。因此，使用std::sort编译成功并使用tbb::parallel_sort失败并不意味着The requirements on the iterator and sequence are the same as for std::sort不是真的;它只是意味着你正在使用的std::sort的实现并不依赖于这个先决条件。

如果您实现迭代器以符合两种算法所依赖的标准子集，那么根据文档它应该可以工作。

自定义迭代器与std :: sort一起使用但不与tbb :: parallel_sort一起使用？

4 个答案: