unique_ptr <0 LUB co robi mniej niż operator?

Mam do czynienia z kodem, który nie został napisany przeze mnie. Mam to oświadczenie:

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

Co więc p < 0oznacza w tym kontekście?
Na stronie z dokumentacją uważam, że mój przypadek dotyczy tego 16) y < nullptr, gdzie 0jest nullptr.

Ale co to robi?

unique_ptr <0 LUB co robi mniej niż operator?

Odpowiada przeciążeniu (11) na preferencjach cp operator<(const unique_ptr&, nullptr_t);. 0 domyślnie konwertuje na std::nullptr_t. Zgodnie z dokumentacją wynik jest następujący std::less<unique_ptr<T,D>::pointer>()(x.get(), nullptr).

Wynikiem jest implementacja zdefiniowana, ale bezwarunkowo fałszywa w prawdopodobnie większości systemów. Prawdopodobnie w egzotycznym systemie, w którym null nie ma binarnej reprezentacji 0, wynik może być prawdziwy.

Myślę, że moja sprawa to 16)

(16) jest taka sama odwrót: 0 > unique_ptr. Wynik jest taki sam.

Sprawdź, operator <czy nie jest przeciążony gdzieś w bazie kodu. To chyba jedyny sposób, w jaki (p < 0)może być true.

Przykład:

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;
}

Wydruki:

1

demo na żywo

W przeciwnym razie, jak powiedzieli inni, 0niejawnie konwertuje na std::nullptr_t, który wybierze bool operator<(const unique_ptr<T, D>& x, nullptr_t)przeciążenie, które wywoła, std::less(p, 0)które zwróci false(nawet w systemie Windows z -1wartością wskaźnika).

To wyrażenie pasuje do tego operatora szablonu (0 jest konwertowane na nullptr):

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

Zwraca std::less<unique_ptr<T,D>::pointer>()(p.get(), nullptr)to zawsze fałsz (podobnie jak std::lessfunktor ścisłego rzędu) ( demo ).