unique_ptr <0 ODER was macht weniger als der Operator?

Ich habe es mit Code zu tun, der nicht von mir geschrieben wurde. Ich habe diese Aussage:

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

Was bedeutet p < 0das in diesem Zusammenhang?
Auf der Dokumentationsseite glaube ich, dass mein Fall ist 16) y < nullptr, wo 0ist nullptr.

Aber was macht es?

unique_ptr <0 ODER was macht weniger als der Operator?

Es entspricht der Überlastung (11) der Referenz operator<(const unique_ptr&, nullptr_t);. 0 konvertiert implizit in std::nullptr_t. Laut Dokumentation ist das Ergebnis std::less<unique_ptr<T,D>::pointer>()(x.get(), nullptr).

Das Ergebnis ist eine definierte Implementierung, die auf den meisten Systemen jedoch unbedingt falsch ist. Vermutlich auf einem exotischen System, auf dem null nicht die binäre Darstellung von 0 hat, könnte das Ergebnis wahr sein.

Ich glaube mein Fall ist 16)

(16) ist umgekehrt umgekehrt : 0 > unique_ptr. Das Ergebnis ist das gleiche.

Stellen Sie sicher, dass operator <irgendwo in Ihrer Codebasis keine Überlastung vorliegt. Das scheint der einzige Weg zu sein, wie es sein (p < 0)könnte true.

Beispiel:

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

Drucke:

1

Live-Demo

Andernfalls wird, wie andere gesagt haben, 0implizit in konvertiert std::nullptr_t, wodurch die bool operator<(const unique_ptr<T, D>& x, nullptr_t)Überladung ausgewählt wird, die aufgerufen wird und std::less(p, 0)die zurückkehrt false(selbst unter Windows mit einem -1Zeigerwert).

Dieser Ausdruck stimmt mit diesem Vorlagenoperator überein (0 wird konvertiert in nullptr):

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

Dies gibt zurück, std::less<unique_ptr<T,D>::pointer>()(p.get(), nullptr)was immer falsch ist (wie std::lesses ein strenger Ordnungsfunktor ist) ( Demo ).