unique_ptr <0 HOẶC ít hơn toán tử làm gì?

Tôi đang xử lý mã đã được viết không phải bởi tôi. Tôi có tuyên bố này:

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

Vậy p < 0trong bối cảnh này có nghĩa là gì?
Trên trang tài liệu , tôi tin rằng trường hợp của tôi là 16) y < nullptr, nơi 0là nullptr.

Nhưng nó làm gì?

unique_ptr <0 HOẶC ít hơn toán tử làm gì?

Nó phù hợp với tình trạng quá tải (11) trên cppreference operator<(const unique_ptr&, nullptr_t);. 0 ngầm chuyển thành std::nullptr_t. Theo tài liệu, kết quả là std::less<unique_ptr<T,D>::pointer>()(x.get(), nullptr).

Kết quả là việc thực hiện được xác định, nhưng sai vô điều kiện trên hầu hết các hệ thống. Có lẽ trên một hệ thống kỳ lạ nơi null không có biểu diễn nhị phân bằng 0, kết quả có thể đúng.

Tôi tin rằng trường hợp của tôi là 16)

(16) là cách tương tự khác xung quanh : 0 > unique_ptr. Kết quả là như nhau.

Kiểm tra xem operator <không bị quá tải ở đâu đó trong cơ sở mã của bạn. Đó dường như là cách duy nhất (p < 0)có thể true.

Thí dụ:

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

Bản in:

1

bản thử trực tiếp

Mặt khác, như những người khác đã nói, 0hoàn toàn chuyển đổi thành std::nullptr_t, sẽ chọn bool operator<(const unique_ptr<T, D>& x, nullptr_t)quá tải sẽ gọi std::less(p, 0)lại false(ngay cả trên Windows với -1giá trị con trỏ).

Biểu thức này khớp với toán tử mẫu này (0 đang được chuyển đổi thành nullptr):

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

Điều này trả về std::less<unique_ptr<T,D>::pointer>()(p.get(), nullptr)luôn luôn là sai (như std::lesslà một functor thứ tự nghiêm ngặt) ( bản demo ).