unique_ptr <0 ИЛИ что делает меньше, чем оператор?

Я имею дело с кодом, который был написан не мной. У меня есть это утверждение:

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

Так что же p < 0значит в этом контексте?
На странице документации , я считаю, что мой случай 16) y < nullptr, где0 находится nullptr.

Но что это делает?

unique_ptr <0 ИЛИ что делает меньше, чем оператор?

Это соответствует перегрузке (11) на cppreference operator<(const unique_ptr&, nullptr_t);. 0 неявно преобразуется в std::nullptr_t. Согласно документации, результат есть std::less<unique_ptr<T,D>::pointer>()(x.get(), nullptr).

Результат определяется реализацией, но безусловно ложен на большинстве систем. Предположительно в экзотической системе, где null не имеет двоичного представления 0, результат может быть истинным.

Я считаю, что мой случай 16)

(16) такой же , наоборот: 0 > unique_ptr. Результат тот же.

Убедитесь, что operator <не перегружен где-то в вашей кодовой базе. Это , кажется, единственный способ , как (p < 0)может бытьtrue .

Пример:

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

Печать:

1

живое демо

В противном случае, как уже говорили другие, 0неявно преобразуется в std::nullptr_t, что выберет bool operator<(const unique_ptr<T, D>& x, nullptr_t)перегрузку, которая вызовет, std::less(p, 0)который будет возвращаться false(даже в Windows со -1значением указателя).

Это выражение совпадает с этим оператором шаблона (0 преобразуется в nullptr):

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

Это возвращает, std::less<unique_ptr<T,D>::pointer>()(p.get(), nullptr)что всегда ложно (как std::lessфунктор строгого порядка) ( демо ).