sizeof() 는 type이 size_t입니다. 정확히 말해서 unsigned int입니다.

왼쪽 항(a[0]-a[1]) 은
-1(signed int)가 될 수도 있고
0xFFFFFFFF(unsigned int)가 될 수도 있습니다.

그렇기 때문에 signed int 로 비교를 하느냐, 아니면 unsigned int로 비교를 하느냐에 따라서 결과가 다르게 나옵니다.
그냥 컴파일을 하면 "Comparing signed and unsigned values"이라는 warning이 뜨기 때문에
명시적으로 type casting을 한 이후의 컴파일 모습입니다.

sizeof_test.cpp.11: if((int)(a[0]-a[1]) < sizeof(a))
  mov eax,[ebp-$1c]
  sub eax,[ebp-$18]
  cmp eax,$10
  jnb $0040149b // signed bit 계산

sizeof_test.cpp.12: if(a[0]-a[1] < (int)sizeof(a))
  mov eax,[ebp-$1c]
  sub eax,[ebp-$18]
  cmp eax,$10
  jnl $0040149b // unsigned bit 계산

상기 3개의 어셈 코드는 같고 jnb와 jnl 로 구분이 되어 지는 것을 확인할 수 있습니다.
signed 비교와 unsigned 비교의 차이라고 보시면 됩니다.

더 정확히 말하면 cmp 어셈 코드가 수행이 되고 나서 flag register가 어떻게 변하는지와
jnb, jnl 의 동작 원리를 이해하시면 확실히 이해가 되실 겁니다.



박연규 님이 쓰신 글 :
: int a[4]={1,2,3,4};
:
: 
:
: if(a[0]-a[1] < sizeof(a))
:
:  printf("1");
:
: else
:
:  printf("2");
:
: 
:
: 이렇게했을때 2가출력이되는군요
:
: 
:
: a[0]-a[1]은 signed int 형인 -1이될터이고
:
: 
:
: sizeof(a)는 16이나와서 분명 더커야하는데
:
: 
:
: else의조건으로 가게되는이유는무엇일까요 궁금해미치겠습니다 답변부탁드려요~