使用zip迭代器调用boost :: compute :: sort（）会产生构建错误

Question

我在构建一个使用Boost.Compute库的程序时遇到了问题。 我使用两个zip_iterator由两个float迭代器组成，每个浮点迭代zip_iterator boost::compute::sort()函数对两个float-vector进行boost::compute::sort() 。 我的代码（ compute::vector s之前都填充了浮点值）：

typedef compute::vector<float>::iterator Float_Iterator;
typedef boost::tuple<Float_Iterator, Float_Iterator> Sort_Tuple;
typedef compute::zip_iterator<Sort_Tuple> Sort_Iterator;

Sort_Iterator first_sort = compute::make_zip_iterator
(boost::make_tuple(d_x.begin(), d_y.begin()));
Sort_Iterator last_sort = compute::make_zip_iterator
(boost::make_tuple(d_x.end(), d_y.end()));

BOOST_COMPUTE_FUNCTION(bool, compare, (const boost::tuple<float, float> p1, const boost::tuple<float, float> p2),
{
    return boost_tuple_get(p1, 0) < boost_tuple_get(p2, 0);
}
);

compute::sort(first_sort, last_sort, compare, queue);

编译时，我收到：

error C2782: 'void   boost::compute::detail::dispatch_merge_blocks(Iterator,Iterator,Compare,size_t,c onst size_t,const size_t,const size_t,boost::compute::command_queue &)' :   **template parameter 'Iterator' is ambiguous**
          c:\local\boost_1_62_0\boost\compute\algorithm\detail\merge_sort_on_cpu.hpp(129)     : see declaration of 'boost::compute::detail::dispatch_merge_blocks'
          could be **'Sort_Iterator'
 or       'boost::compute::buffer_iterator<T>'**
          with
          [
              T=value_type
          ]

正如您在我的代码中看到的那样，我使用之前声明过的两个Sort_Iterator调用该函数。 两个参数都有相同的类型，那么编译器为什么要假设任何歧义呢？ 我不懂。

但是，如果我尝试显式地键入强制转换函数参数，比如

compute::sort((Sort_Iterator)first_sort, (Sort_Iterator)last_sort, compare,    queue);

错误消息的后半部分更改为：

could be **'boost::compute::zip_iterator<Sort_Tuple>'
or       'boost::compute::buffer_iterator<T>'**
with
[
     T=value_type
]

Answer 1

即使您的代码已编译，您也无法对zip迭代器进行排序：它们是只读的。 您必须改为排序元组向量。

关于Iterator歧义，编译器不是指你传递的类型，而是指代调用链中更深层次函数的Iterator ：

template<class Iterator, class Compare>
inline void dispatch_merge_blocks(Iterator first, Iterator result, /* ... /);

它被称为这样：

dispatch_merge_blocks(first, temp.begin(), /* ... */);
dispatch_merge_blocks(temp.begin(), first, /* ... */);

这里， first是你传入的Iterator ，类型为：

zip_iterator<tuple<buffer_iterator<float>, buffer_iterator<float>>>

而temp.begin()是......

typedef typename std::iterator_traits<Iterator>::value_type value_type;

// temporary buffer for merge result
vector<value_type> temp(count, context);

vector<tuple<float, float>>::iterator ^（1） 。 编译器为同一模板参数看到两种不同的类型，因此演绎失败。

此外，在调用链中还会出现以下功能：

template<class Iterator, class Compare>
inline void merge_blocks(Iterator first, Iterator result, /* ... */)
{
    // dummy iterator as it's not sort by key
    Iterator dummy;
    merge_blocks(first, dummy, result, dummy, /* ... */);
}

注意这一行： Iterator dummy; 。 由于zip_iterator没有默认构造函数，因此无法编译，因此模板实例化失败并且整个程序无法编译。

（1） ：我不完全确定value_type最终被推断为tuple<float, float> ，并且通过无休止的模板层给我一个轻微的头痛，但这正是发生的事情，本质上。