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

Question

Boost.Range的文档(和实现)显示了将const ref作为参数的变异算法的重载.例如Boost.Range的Sort文档显示:

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的支持太具侵略性,并且"延迟"采用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从范围传播到范围内的元素.