unique_ptr <0 OU o que faz menos que o operador?

Estou lidando com código que não foi escrito por mim. Eu tenho esta afirmação:

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

Então, o que p < 0significa nesse contexto?
Na página de documentação , acredito que meu caso é 16) y < nullptr, onde 0está nullptr.

mas o que isso faz?

unique_ptr <0 OU o que faz menos que o operador?

Corresponde à sobrecarga (11) na preferência operator<(const unique_ptr&, nullptr_t);. 0 converte implicitamente em std::nullptr_t. Conforme a documentação, o resultado é std::less<unique_ptr<T,D>::pointer>()(x.get(), nullptr).

O resultado é uma implementação definida, mas incondicionalmente falsa provavelmente na maioria dos sistemas. Presumivelmente, em um sistema exótico em que null não tem a representação binária de 0, o resultado pode ser verdadeiro.

Eu acredito que meu caso é 16)

(16) é o mesmo em torno de outra maneira: 0 > unique_ptr. O resultado é o mesmo.

Verifique operator <se não está sobrecarregado em algum lugar da sua base de código. Essa parece ser a única maneira de como (p < 0)poderia ser true.

Exemplo:

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

Impressões:

1

demonstração ao vivo

Caso contrário, como outros já disseram, 0converte implicitamente em std::nullptr_t, o que selecionaria a bool operator<(const unique_ptr<T, D>& x, nullptr_t)sobrecarga que chamaria std::less(p, 0)que retornaria false(mesmo no Windows com um -1valor de ponteiro).

Essa expressão corresponde ao operador do modelo (0 sendo convertido em nullptr):

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

Retorna o std::less<unique_ptr<T,D>::pointer>()(p.get(), nullptr)que é sempre falso (como std::lessé um functor de ordem estrita) ( demo ).