unique_ptr <0 หรือผู้ปฏิบัติงานทำอะไรน้อยกว่า

ฉันกำลังจัดการกับรหัสที่ฉันไม่ได้เขียน ฉันมีคำสั่งนี้:

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

ดังนั้นp < 0ในบริบทนี้หมายความว่าอย่างไร
บนหน้าเอกสารผมเชื่อว่ากรณีของฉันเป็น16) y < nullptrที่เป็น0nullptr

แต่มันจะทำอะไร?

unique_ptr <0 หรือผู้ปฏิบัติงานทำอะไรน้อยกว่า

มันตรงกับการโอเวอร์โหลด (11) ใน operator<(const unique_ptr&, nullptr_t);cppreference 0 std::nullptr_tแปลงโดยปริยาย std::less<unique_ptr<T,D>::pointer>()(x.get(), nullptr)ตามเอกสารผลที่ได้คือ

ผลที่ได้คือการดำเนินการที่กำหนดไว้ แต่ไม่มีเงื่อนไขเท็จในระบบส่วนใหญ่ สันนิษฐานได้ว่าในระบบที่แปลกใหม่ที่เป็นโมฆะไม่มีการเป็นตัวแทนไบนารีของ 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::lessfunctor คำสั่งที่เข้มงวด) ( สาธิต )