unique_ptr <0 O ¿qué hace menos que el operador?

Estoy tratando con un código que no ha sido escrito por mí. Tengo esta afirmación:

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

Entonces, ¿qué p < 0significa en este contexto?
En la página de documentación , creo que mi caso es 16) y < nullptrdónde 0está nullptr.

Pero, ¿qué hace?

unique_ptr <0 O ¿qué hace menos que el operador?

Coincide con la sobrecarga (11) en cppreference operator<(const unique_ptr&, nullptr_t);. 0 se convierte implícitamente en std::nullptr_t. Según la documentación, el resultado es std::less<unique_ptr<T,D>::pointer>()(x.get(), nullptr).

El resultado es una implementación definida, pero incondicionalmente falsa en probablemente la mayoría de los sistemas. Presumiblemente en un sistema exótico donde nulo no tiene la representación binaria de 0, el resultado podría ser cierto.

Creo que mi caso es 16)

(16) es la misma otra alrededor manera: 0 > unique_ptr. El resultado es el mismo.

Verifique que operator <no esté sobrecargado en algún lugar de su base de código. Esa parece ser la única forma en que (p < 0)podría ser true.

Ejemplo:

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

Huellas dactilares:

1

demo en vivo

De lo contrario, como han dicho otros, se 0convierte implícitamente en std::nullptr_t, que seleccionaría la bool operator<(const unique_ptr<T, D>& x, nullptr_t)sobrecarga que llamaría a la std::less(p, 0)que volvería false(incluso en Windows con un -1valor de puntero).

Esta expresión coincide con este operador de plantilla (0 se convierte a nullptr):

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

Esto devuelve lo std::less<unique_ptr<T,D>::pointer>()(p.get(), nullptr)que siempre es falso (como std::lesses un functor de orden estricto) ( demo ).