Inflearn Community Q&A

안녕하세요 대기업님 ㅎㅎ

이유는 다음과 같습니다.

해당 부분은 제가 교안내에도 보강을 하도록 하겠습니다.

vector의 size()는 배열의 크기를 반환하며 size_t (unsigned)의 값을 반환합니다.  이는 size_t는 보통 unsigned int 혹은 unsigned long long으로 정의되며, 음수가 될 수 없습니다.

이 때문에 주의할 점이 있는데 max(-1, v.size())과 같이 음수와 비교를 할 때 (int)로 명시적 형변환을 해서 max(-1, (int)v.size())로 바꿔주어야 합니다. 

왜냐면 max(-1, v.size())에서 size_t와 int를 비교하면 size_t가 unsigned이므로 암시적 형변환이 발생하기 때문입니다.

암시적 형변환 문제 

max(-1, v.size())일 때 size_t v.size()와 -1(int)은 비교될 때 -1이 size_t로 변환되면서 매우 큰 양수 값(UINT_MAX)이 됩니다. 그 결과, max(-1, v.size())는 UINT_MAX로 잘못 계산될 수 있습니다. 예를 들어, size_t가 64비트 시스템에서 unsigned long long으로 형변환이 되며 -1은 아주 큰 양수가 되어버립니다.

int ret = -1;
cout << max(ret, (size_t)3); // 결과: 18446744073709551615 (Underflow 발생)

* v.size()가 3이라고 가정

사실 이 경우에 컴파일러가 에러를 발생시키기 때문에 이러한 함수를 실행시켰을 때 충분히 어떤 부분에서 문제가 발생하는지 알 수 있습니다. 

그러나 코딩테스트 환경에서는 알 수 없을 수도 있기 때문에 이를 대비해야 합니다. 

다음과 같이 명시적 형변환인 (int)v.size() 캐스팅을 해주면 됩니다. 

#include <bits/stdc++.h>
using namespace std;
int main(){
    vector<int> a = {1, 2, 3};
    int ret = -1;
    cout << max(ret, (int)a.size()) << "\n"; // 3
    return 0;
} 

또 질문 있으시면 언제든지 질문 부탁드립니다.

좋은 수강평과 별점 5점은 제게 큰 힘이 됩니다. :)

감사합니다.

강사 큰돌 올림.