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і функціонер суворого порядку) ( демонстрація ).