unique_ptr <0 OU que fait moins que l'opérateur?

J'ai affaire à du code qui n'a pas été écrit par moi. J'ai cette déclaration:

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

Alors qu'est-ce que cela p < 0signifie dans ce contexte?
Sur la page de documentation , je pense que mon cas est 16) y < nullptr, où 0est nullptr.

Mais qu'est-ce que ça fait?

unique_ptr <0 OU que fait moins que l'opérateur?

Il correspond à la surcharge (11) sur cppreference operator<(const unique_ptr&, nullptr_t);. 0 se convertit implicitement en std::nullptr_t. Selon la documentation, le résultat est std::less<unique_ptr<T,D>::pointer>()(x.get(), nullptr).

Le résultat est défini par l'implémentation, mais inconditionnellement faux sur probablement la plupart des systèmes. Vraisemblablement sur un système exotique où null n'a pas la représentation binaire de 0, le résultat pourrait être vrai.

Je crois que mon cas a 16 ans)

(16) est le même inverse: 0 > unique_ptr. Le résultat est le même.

Vérifiez que ce operator <n'est pas surchargé quelque part dans votre base de code. Cela semble être le seul moyen (p < 0)possible true.

Exemple:

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

Tirages:

1

démo en direct

Sinon, comme d'autres l'ont dit, 0convertit implicitement en std::nullptr_t, ce qui sélectionnerait la bool operator<(const unique_ptr<T, D>& x, nullptr_t)surcharge qui appellerait std::less(p, 0)qui retournerait false(même sur Windows avec une -1valeur de pointeur).

Cette expression correspond à cet opérateur de modèle (0 en cours de conversion nullptr):

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

Cela renvoie std::less<unique_ptr<T,D>::pointer>()(p.get(), nullptr)ce qui est toujours faux (comme std::lessc'est un foncteur d'ordre strict) ( démo ).