我有接受std::vector
迭代器的函数,如
typedef std::vector<Point> Points;
Points ConvexHull(Points::const_iterator first, Points::const_iterator last);
我通常将std
迭代器传递给它们,但偶尔我需要使用boost
迭代器,例如boost::join
的范围迭代器。我应该如何更改函数的参数化,理想情况下不使用模板,以便它们接受两个迭代器?此外,我如何在每种类型中指出我需要哪些迭代器概念?
我试着查看boost::range
文档,但它对我来说非常混乱,我不知道从哪里开始。
例如,我找不到boost::range_details::any_forward_iterator_interface
和boost::range_details::any_forward_iterator_wrapper
之间的区别,以及我是否应该使用其中任何一个来指定我需要一个前向迭代器。
编辑:
如果我使用boost::any_range
,我如何传递非const左值引用?
例如:
template<typename T>
using Range = boost::any_range<T, boost::random_access_traversal_tag,
T, std::ptrdiff_t>;
f(Range<Point> &points); // defined elsewhere
// -------------
vector<Point> vec;
f(vec); // error; cannot bind non-const lvalue reference to unrelated type
您应该强烈考虑使用模板。这样做让编译器保留有关实际发生的操作的有用信息,这极大地帮助它生成优化的输出。 std::
约定是为所需概念命名类型参数。例如。
template< class BidirIt, class UnaryPredicate > // anything bidirectional (which includes random access)
BidirIt std::partition( BidirIt first, BidirIt last, UnaryPredicate p );
如果你真的不想要一个模板,你仍然不应该在detail
命名空间中命名任何东西。就像是
#include <boost/range/any_range.hpp>
using PointRange = boost::any_range<Point, boost::random_access_traversal_tag>; // or another traversal tag.
using PointIterator = PointRange::iterator;
你可能需要比PointRange &
更少地通过int *&
。几乎总是通过值传递是正确的行为。复制起来很便宜,因为它拥有来自它构建的Range的begin
和end
迭代器,仅此而已。
boost-range为此目的有any_range
,它适合你的情况。
https://www.boost.org/doc/libs/1_60_0/libs/range/doc/html/range/reference/ranges/any_range.html
从您的示例中看起来像这样:
#include <boost/range/any_range.hpp>
typedef boost::any_range<Point,
boost::bidirectional_traversal_tag,
Point,
std::ptrdiff_t
> PointRange;