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)입니다.

결과는 구현이 정의되었지만 대부분의 시스템에서 무조건 거짓입니다. 아마도 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선택합니다 ( 포인터 값 이있는 Windows에서도 ).bool operator<(const unique_ptr<T, D>& x, nullptr_t)std::less(p, 0)false-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 )를 반환합니다 .