Чому в std :: span відсутні оператори порівняння?

Хіба не std::spanрозроблена як легка посилання на субрегіони std::vector/ std::array/ простого масиву тощо? Чи не повинен він також містити операторів порівняння у своєму API, щоб вони відповідали їм? Які міркування за виключенням?

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

Як зазначив Даніель Лангр , std::spanу своїй початковій пропозиції P0122 є оператори порівняння . Потім ці оператори видаляються з робочого проекту N4791 , а причини вказані в P1085 .

Коротше кажучи, копія та const для 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можна вважати подібною оптимізації копіювання під час запису.