Std :: ssize () neden C ++ 20'de tanıtıldı?

C ++ 20std::ssize() , aşağıdaki gibi ücretsiz işlevi tanıttı :

template <class C>
    constexpr auto ssize(const C& c)
        -> std::common_type_t<std::ptrdiff_t,
                              std::make_signed_t<decltype(c.size())>>;

Cl ass C üye fonksiyonunun static_castdönüş değerini dönüştürmek için olası bir uygulama kullanıyor gibi görünüyorsize() imzalı karşılığına .

Yana size()C üyesi fonksiyonu daima negatif olmayan değerleri döndürür, neden kimse Talep imzalı değişkenler bunları saklamak için mi? Birinin gerçekten istemesi durumunda, bu bir basit meseledir static_cast.

Neden std::ssize()C ++ 20'de tanıtıldı?

Gerekçe bu yazıda açıklanmıştır . Alıntı:

Span C ++ 17'ye uyarlandığında, hem dizin hem de boyut olarak işaretli bir tamsayı kullandı. Kısmen bu, derleme zamanında boyutu bilinmeyen bir türü belirtmek için "-1" in bir sentinel değer olarak kullanımına izin vermekti. Ancak size () işlevi işaretli bir değer döndüren bir STL kapsayıcısına sahip olmak sorunluydu, bu nedenle sorunu "çözmek" için P1089 tanıtıldı. Çoğunluk desteği aldı, ancak fikir birliği için gereken 2'ye 1'lik marjı almadı.

Bu makale, P1227, üye olmayan std :: ssize ve üye ssize () fonksiyonlarını eklemek için bir öneriydi. Bunların dahil edilmesi, belirli kodu çok daha basit hale getirecek ve boyut hesaplamalarında istenmeyen işaretsizliğin önlenmesine izin verecektir. Buradaki fikir, ssize () hem std :: ssize () aracılığıyla hem de üye işlevleri olarak tüm kapsayıcılar için kullanılabilir hale getirilirse P1089 direncinin azalacağıydı.

Eric Niebler'den karşılıksız olarak çalındı :

'Unsigned types signal that a negative index/size is not sane'STL ilk tasarlandığında hakim olan bilgelikti. Ancak mantıksal olarak, pek çok şeyin olumlu olması gerekmez. Bir koleksiyona eklenen veya koleksiyondan kaldırılan öğelerin sayısını belirtmek için işaretli bir tamsayıda bir sayı tutmak isteyebilirim. O zaman bunu koleksiyonun büyüklüğü ile birleştirmek isterim. Koleksiyonun boyutu işaretsiz ise, şimdi imzalı ve işaretsiz aritmetiği karıştırmak zorunda kalıyorum, bu bir böcek çiftliği. Derleyiciler bu konuda uyarıyor, ancak STL'nin tasarımı programcıları bu duruma çok fazla zorladığından, uyarı o kadar yaygındır ki çoğu insan onu kapatır. Bu utanç verici çünkü bu gerçek böcekleri gizler.

Arayüzlerde imzasız girişlerin kullanılması pek çok insanın sandığı gibi bir nimet değildir. Bir kullanıcı yanlışlıkla API'ye biraz negatif bir sayı iletirse, aniden çok büyük bir pozitif sayı olur. API, numarayı işaretli olarak almış olsaydı, sayının sıfırdan büyük veya sıfıra eşit olduğunu iddia ederek durumu tespit edebilir.

İmzalanmamış girişleri kullanımımızı biraz oynamayla (örneğin, maskeler) sınırlar ve başka her yerde imzalı girişler kullanırsak, hataların oluşma olasılığı daha düşüktür ve meydana geldiklerinde tespit edilmesi daha kolaydır.