std :: spanに比較演算子がないのはなぜですか？

/ / プレーン配列などのstd::spanサブ領域への軽量リファレンスとして設計されていませんか？それらとの一貫性を保つために、APIに比較演算子も含めるべきではありませんか？除外の理由は何でしたか？std::vectorstd::array

注：比較演算子で、私はどちらかのフルセットを意味する（<、<=、...）、または宇宙船<=>

Daniel Langrが指摘したように、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は、通常のタイプの場合は失敗しますが、ifが失敗する場合があります。

std::string_viewコピーは浅いが比較は深いと主張する人もいるかもしれません。P1085にもこの説明があります。

これはに一致しますがstring_view、string_viewポイントする要素を変更することはできません。したがって、の浅いコピーはstring_view、コピーオンライト最適化に似ていると考えることができます。