Pourquoi std :: span n'a pas d'opérateurs de comparaison?

N'est-ce pas std::spanconçu comme une référence légère aux sous-régions du tableaustd::vector / std::array/ plain et similaires? Ne devrait-il pas également contenir des opérateurs de comparaison dans son API, pour être cohérent avec eux? Quel était le raisonnement derrière l'exclusion?

Note: par les opérateurs de comparaison, je veux dire soit l'ensemble ( <, <=, ...) ou le vaisseau spatial<=>

Comme l'a souligné Daniel Langr , std::spana des opérateurs de comparaison dans sa proposition initiale P0122 . Ces opérateurs sont ensuite supprimés depuis le projet de travail N4791 , et les raisons sont indiquées dans P1085 .

En bref, copy et const for std::spansont "superficiels" (ce qui signifie que la copie d'un std::spanne copie pas ses éléments sous-jacents et qu'un const std::spann'empêche pas la modification de ses éléments sous-jacents), donc les comparaisons, si elles existent, doivent également être "superficielles" pour la cohérence.

Ce document donne les exemples suivants:

Exemple 1:

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

Exemple 2:

void read_only(const T & x);

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

Les assertions de ces exemples peuvent échouer si T = std::span, alors que ce n'est pas le cas pour les types réguliers.

On peut dire que la std::string_viewcopie est superficielle mais que les comparaisons sont profondes. P1085 a également une explication à cela:

Cela correspond string_view, mais string_viewne peut pas modifier les éléments vers lesquels il pointe, et donc la copie superficielle de string_viewpeut être considérée comme similaire à une optimisation de copie sur écriture.