Neden std :: span karşılaştırma işleçlerinden yoksundur?

Değil miydi std::spanalt bölgelere hafif referans olarak tasarlanmış std::vector/ std::array/ düz diziye ve benzeri? Ayrıca, API'larında tutarlı olmaları için karşılaştırma operatörleri içermemeli midir? Dışlamanın ardındaki neden neydi?

Not: Karşılaştırma operatörleri tarafından, ben de tamamı anlamında ( <, <=, ...) ya da uzay gemisi<=>

Daniel Langr belirttiği gibi , std::spanilk öneri karşılaştırma operatörlerini vardır P0122 . Bu operatörler daha sonra çalışma taslağı N4791'den beri kaldırılır ve nedenleri P1085'te belirtilir .

Kısacası, kopyalama ve const std::span"sığ" (yani kopyalama a std::spantemel öğelerini kopyalamaz ve bir const std::spantemel öğelerinin değiştirilmesini engellemez), bu nedenle varsa karşılaştırmalar da "sığ" olmalıdır tutarlılık için.

Bu makale aşağıdaki örnekleri vermektedir:

Örnek 1:

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

Örnek 2:

void read_only(const T & x);

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

Bu örneklerdeki iddialar, T = std::spannormal türler için geçerli değilse başarısız olabilir .

std::string_viewSığ kopyası olan ancak derin karşılaştırmalar olduğu iddia edilebilir . P1085'in bunun için bir açıklaması var:

string_viewBununla birlikte string_view, bu eşleşmeler işaret ettiği öğeleri değiştiremez ve bu nedenle sığ kopyasının string_viewyazma-kopyalama optimizasyonuna benzer olduğu düşünülebilir.