Question

Boost.Range的文档（和实现）显示了将const ref作为参数的变异算法的重载。例如Boost.Range's Sort documentation显示：

template<class RandomAccessRange>
RandomAccessRange& sort(RandomAccessRange& rng);

template<class RandomAccessRange>
const RandomAccessRange& sort(const RandomAccessRange& rng);

template<class RandomAccessRange, class BinaryPredicate>
RandomAccessRange& sort(RandomAccessRange& rng, BinaryPredicate pred);

template<class RandomAccessRange, class BinaryPredicate>
const RandomAccessRange& sort(const RandomAccessRange& rng, BinaryPredicate pred);

重载2和4有什么意义？当然能够传递临时工具真的很好，但是const&使这一点变得毫无意义。 Rvalue-references将是最受欢迎的，但我的理解是他们在Boost.Range中的支持太具侵略性，并且被推迟了＃34;采用Range.V3（如果同时它是Boost的一部分会很好）。

Answer 1

template<class T>
struct span_t {
  T* b =0;
  T* e =0;
  T* begin() const { return b; }
  T* end() const { return e; }
  std::size_t size() const { return end()-begin(); }
  bool empty() const { return size()==0; }
  T& operator[](std::size_t i) const { return b[i]; }
  span_t()=default;
  span_t(span_t const&)=default;
  span_t& operator=(span_t const&)=default;
  span_t( T* s, T* f ):b(s),e(f) {}
  span_t( T* s, std::size_t l):span_t(s, s+l) {}
};

这是一个（实用且有用的）随机访问范围。

所有方法（operator=除外）均为const。你可以对它进行排序。

并非所有范围都从范围传播const到范围内的元素。

为什么有变异Boost.Range算法的常量重载？

1 个答案: