Warum fehlen std :: span die Vergleichsoperatoren?

War das nicht std::spanals leichte Referenz für Unterregionen von std::vector/ std::array/ plain array und ähnlich konzipiert? Sollte es nicht auch Vergleichsoperatoren in seiner API enthalten, um mit ihnen konsistent zu sein? Was war der Grund für den Ausschluss?

Hinweis: von Vergleichsoperatoren, ich meine , entweder den vollen Satz ( <, <=, ...) oder das Raumschiff<=>

Wie Daniel Langr betonte , std::spanhat Vergleichsoperatoren in seinem ursprünglichen Vorschlag P0122 . Diese Operatoren werden dann seit dem Arbeitsentwurf N4791 entfernt , und die Gründe sind in P1085 angegeben .

Kurz gesagt, copy und const for std::spansind "flach" (was bedeutet, dass beim Kopieren von a std::spandie zugrunde liegenden Elemente nicht kopiert werden und eine const std::spannicht verhindert, dass die zugrunde liegenden Elemente geändert werden). Daher sollten Vergleiche, falls vorhanden, auch "flach" sein. für die Konsistenz.

Dieses Papier enthält die folgenden Beispiele:

Beispiel 1:

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

Beispiel 2:

void read_only(const T & x);

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

Die Aussagen in diesen Beispielen können fehlschlagen, wenn T = std::spandies nicht für reguläre Typen gilt.

Man kann argumentieren, dass std::string_viewes flache Kopien, aber tiefe Vergleiche gibt. P1085 hat auch eine Erklärung dafür:

Dies stimmt überein string_view, string_viewkann jedoch die Elemente, auf die es zeigt, nicht ändern, und daher kann die flache Kopie string_viewvon als einer Copy-on-Write-Optimierung ähnlich angesehen werden.