switch vs if 어떤 때 어느게 효율적인가요?

저도 평소에 궁금해 하던 부분이어서

int main()
{
	int x=0;
	int y;

	if(x==0)  y = 0;
	else if(x==1) y = 1;
	else if(x==2) y = 2;
	else if(x==5) y = 5;
	else if(x==6) y = 6;


	switch(x)
	{
	case 0 : y = 0; break;
	case 1 : y = 1; break;
	case 4 : y = 4; break;
	case 5 : y = 5; break;
	case 6 : y = 6; break;
		
	}

	return 0;
}

이런 소스를 짜놓고 vc 로 역어셈블 해봤습니다.

7:        if(x==0)  y = 0;
0040D4BF   cmp         dword ptr [ebp-4],0
0040D4C3   jne         main+2Eh (0040d4ce)
0040D4C5   mov         dword ptr [ebp-8],0
8:        else if(x==1) y = 1;
0040D4CC   jmp         main+68h (0040d508)
0040D4CE   cmp         dword ptr [ebp-4],1
0040D4D2   jne         main+3Dh (0040d4dd)
0040D4D4   mov         dword ptr [ebp-8],1
9:        else if(x==2) y = 2;
0040D4DB   jmp         main+68h (0040d508)
0040D4DD   cmp         dword ptr [ebp-4],2
0040D4E1   jne         main+4Ch (0040d4ec)
0040D4E3   mov         dword ptr [ebp-8],2
10:       else if(x==5) y = 5;
0040D4EA   jmp         main+68h (0040d508)
0040D4EC   cmp         dword ptr [ebp-4],5
0040D4F0   jne         main+5Bh (0040d4fb)
0040D4F2   mov         dword ptr [ebp-8],5
11:       else if(x==6) y = 6;
0040D4F9   jmp         main+68h (0040d508)
0040D4FB   cmp         dword ptr [ebp-4],6
0040D4FF   jne         main+68h (0040d508)
0040D501   mov         dword ptr [ebp-8],6
12:
13:
14:       switch(x)
15:       {
0040D508   mov         eax,dword ptr [ebp-4]
0040D50B   mov         dword ptr [ebp-0Ch],eax
0040D50E   cmp         dword ptr [ebp-0Ch],6
0040D512   ja          $L286+7 (0040d549)
0040D514   mov         ecx,dword ptr [ebp-0Ch]
0040D517   jmp         dword ptr [ecx*4+40D552h]
16:       case 0 : y = 0; break;
0040D51E   mov         dword ptr [ebp-8],0
0040D525   jmp         $L286+7 (0040d549)
17:       case 1 : y = 1; break;
0040D527   mov         dword ptr [ebp-8],1
0040D52E   jmp         $L286+7 (0040d549)
18:       case 4 : y = 4; break;
0040D530   mov         dword ptr [ebp-8],4
0040D537   jmp         $L286+7 (0040d549)
19:       case 5 : y = 5; break;
0040D539   mov         dword ptr [ebp-8],5
0040D540   jmp         $L286+7 (0040d549)
20:       case 6 : y = 6; break;
0040D542   mov         dword ptr [ebp-8],6
21:
22:       }

막연히 switch 가 if 문과 동일하지 않을까 생각했었는데 그게 아니었군요..

많은 구현체들이 switch 문을 jump table로 구현하기 때문에 switch 문이 더 좋은
성능을 나타낼 때가 많습니다. 이 경우 레이블은 goto와 비슷한 성격을 갖게 되고요.
Duff's device는 이런 특성을 이용해서 최적화를 한 유명한 예입니다.

wiki:ZeroAsNull 처럼 정리할만한 내용이라고 생각합니다. 상당히 자주 거론되는 건데도 매번 이런저런 얘기만 듣고 뚜렷하게 정리해서 이해하지를 못하고 있네요.

효율에 신경이 쓰여서 if/switch를 선택한다는 것은 너무 극단적인 것 같습니다. 비록 if/switch가 메인 이벤트 루프에서 사용되더라도 if/switch의 차이보다는 다른 문제가 비효율의 주범일 가능성이 높다고 생각합니다.

대게 if문을 쓰게 되고, 3개 이상의 분기가 있을때 switch문을 보통 씁니다만,
저도 tokigun님처럼 가독성에 중점을 둡니다.

if을 쓰게 되느냐 switch문을 쓰게되느냐에 따라 나타나는 성능차이는 전체 프로그래밍 성능에 1%영향 미만일것이라 생각되는군요.

컴파일러 specific한 부분을 논외로 한다고 하면, 위에서 언급된것처럼 switch는 jump문인 것이고, if문보다 일반적으로 효율이 떨어집니다.

if문은 그 판단식이 복잡한 경우에 유용하고, switch문은 판단식이 단순할 경우 유용하고요.

판단식을 최대한 단순하게, if문을 줄이는 방향으로, 판단식이 매우 단순하고 if문을 줄이기 힘든 경우는 switch문으로

switch보다 if else를 선호하지만 switch문이 종종 유용하게
사용되는 경우가 있습니다.

예를 들어 어떤 사건(이벤트)에 따라 상태(플래그)값이 변경되고
그 상태값에따라 수행해야 할 로직이 다르다면 보통은 if문을 쓰게 될겁니다.

/* 일반적인 코딩 방식 */
int flag = 0;
...
flag = get_current_status(stdin);

if(flag == 0)
    printf("%s", "stop");
else if(flag == 1)
    printf("%s", "play");
else if(flag == 2)
    printf("%s", "pause");
else
    ;

그런데 만약 상태값이 0일때 1, 2 상태의 로직도 수행해야 하고
상태값이 1 일때는 2 상태의 로직이 수행되어야 할 경우가 있습니다.

이런 비슷한 상황때문에 패턴이란게 있긴하지만 트릭을 쓰자면
switch문의 제어특성을 사용합니다.

switch(flag)
{
    case 0:
        printf("%s", "stop");
    case 1:
        printf("%s", "play");
    case 2:
        printf("%s", "pause");
        break;
    default:
        break;
}