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または演算子よりも少ないことは何ですか？

cppreferenceのオーバーロード（11）と一致しoperator<(const unique_ptr&, nullptr_t);ます。0は暗黙的にに変換されstd::nullptr_tます。ドキュメントに従って、結果はstd::less<unique_ptr<T,D>::pointer>()(x.get(), nullptr)です。

その結果、実装が定義されますが、ほとんどのシステムでは無条件にfalseになります。おそらく、nullに0のバイナリ表現がないエキゾチックなシステムでは、結果はtrueになる可能性があります。

私のケースは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)は常にfalseを返します（std::less厳密な順序関数と同様）（demo）。