3

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

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之前声明的两个 s 调用该函数。两个参数具有相同的类型，那么编译器为什么要假设任何歧义呢？我不明白这个。

但是，如果我尝试显式类型转换函数参数，例如

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
]
4

1 回答 1

3

即使您的代码已编译，您也无法对 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>，并且通过无尽的模板层让我有点头疼，但这就是正在发生的事情，本质上。

于 2016-11-18T03:50:22.923 回答