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

Question

Boost.Range 的文档(和实现)显示了以常量引用作为参数的变异算法的重载。例如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 的支持过于侵入性，并且“推迟”到 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 从范围传播到范围中的元素。