Почему в std :: span отсутствуют операторы сравнения?

Разве это не было std::spanразработано как облегченная ссылка на подобласти массиваstd::vector / std::array/ plain ? Разве он не должен содержать операторы сравнения в своем API, чтобы соответствовать им? Что было причиной исключения?

Примечание: операторы сравнения, я имею в виду либо полный набор ( <, <=, ...) или космический корабль<=>

Как отметил Даниэль Лангр , std::spanоператоры сравнения в своем первоначальном предложении P0122 . Эти операторы затем удаляются с рабочего проекта N4791 , а причины указываются в P1085 .

Короче говоря, copy и const for std::spanявляются «мелкими» (это означает, что копирование a std::spanне копирует свои базовые элементы, а const std::spanне препятствует изменению его базовых элементов), поэтому сравнения, если они существуют, также должны быть «мелкими» для согласованности.

В этой статье приводятся следующие примеры:

Пример 1:

T oldx = x;
change(x);
assert(oldx != x);
return oldx;

Пример 2:

void read_only(const T & x);

void f()
{
  T tmp = x;
  read_only(x);
  assert(tmp == x);
}

Утверждения в этих примерах могут потерпеть неудачу, если T = std::spanэто не так для обычных типов.

Можно утверждать, что std::string_viewимеет мелкую копию, но глубокие сравнения. У P1085 также есть объяснение этому:

Это соответствует string_view, однако string_viewне может изменить элементы, на которые оно указывает, и, таким образом, мелкая копия string_viewможет рассматриваться как подобная оптимизации копирования при записи.