unique_ptr <0 VEYA operatörden daha az ne yapar?

Benim tarafımdan yazılmamış kodla uğraşıyorum. Bu ifade var:

// p is type of std::unique_ptr<uint8_t[]>
if (p < 0) { /* throw an exception */ }

Peki p < 0bu bağlamda ne anlama geliyor?
Açık doküman sayfasına , benim dava olduğuna inanıyoruz 16) y < nullptrnerede, 0olduğu nullptr.

Ama ne yapar?

unique_ptr <0 VEYA operatörden daha az ne yapar?

Cppreference'deki aşırı yük (11) ile eşleşir operator<(const unique_ptr&, nullptr_t);. 0 dolaylı olarak dönüştürür std::nullptr_t. Belgelere göre sonuç std::less<unique_ptr<T,D>::pointer>()(x.get(), nullptr).

Sonuç, uygulama tanımlıdır, ancak muhtemelen çoğu sistemde koşulsuz olarak yanlıştır. Muhtemelen null değerinin 0 ikili gösterimine sahip olmadığı egzotik bir sistemde sonuç doğru olabilir.

Davamın 16 olduğuna inanıyorum)

(16), aynı başka bir yol ise: 0 > unique_ptr. Sonuç aynı.

operator <Kod tabanınızda bir yerde aşırı yüklenmediğini kontrol edin . Nasıl (p < 0)olabileceğinin tek yolu bu gibi görünüyor true.

Misal:

bool operator< (const std::unique_ptr<uint8_t[]>&, int) { return true; }

int main() {
    std::unique_ptr<uint8_t[]> p;
    std::cout << (p < 0) << std::endl;
}

Baskılar:

1

canlı demo

Aksi takdirde, diğerlerinin söylediği gibi, 0dolaylı olarak dönüşür std::nullptr_t, bu da dönecek olan bool operator<(const unique_ptr<T, D>& x, nullptr_t)aşırı yükü seçer (bir işaretçi değerine sahip Windows'da bile ).std::less(p, 0)false-1

Bu ifade, bu şablon operatörü ile eşleşiyor (0 dönüştürülüyor nullptr):

template <class T, class D>
bool operator<(const unique_ptr<T, D>& x, nullptr_t);

Bu std::less<unique_ptr<T,D>::pointer>()(p.get(), nullptr)her zaman yanlış olanı döndürür ( std::lesskatı bir sipariş işlevi gibi ) ( demo ).