switch 문에서 변수 선언 및 초기화

Question

이 프로그램이 출력되지 않는 이유는 무엇입니까?

#include<stdio.h> 

int main() { 
    int a = 1; 
    switch (a) { 
      int b = 20; 
     case 1: 
     { 
      printf("b is %d\n", b); 
      break; 
     } 
     default: 
     { 
      printf("b is %d\n", b); 
      break; 
     } 
    } 
    return 0; 
} 

Answer 1

라인 int b = 20이 실행되지 않습니다 있도록 스위치 문, 관련 케이스로 이동하기 때문에. 스위치를 입력하기 전에

Answer 2

라인

int b=20;

이 실행되지 않습니다. 20 개의 출력을 얻으려면 switch 문 위로 이동해야합니다.

Answer 3

컴파일러에서 경고해야합니다. 'b'의 초기화는 switch 문의 시작 부분에 있으며, 실행되지 않습니다. 실행은 항상 switch 문 헤더에서 일치하는 case 레이블로 직접 이동합니다.

Answer 4

b가 switch 문 내부에 설정되어 있고이 명령이 실행되지 않으므로 "b = 20"을 출력하지 않습니다. 당신이 원하는 것은 이것이다 :

int b = 20; 
switch (a) { 
    case 1: 
    { 
     printf("b is %d\n", b); 
     break; 
    } 
    default: 
    { 
     printf("b is %d\n", b); 
     break; 
    } 
} 

Answer 5

GCC는 당신이 스위치를하기 전에 "INT B = 20"를 이동해야하는의 printf()

를 호출 할 때 B를 말하는 경고가 초기화되지 던졌습니다()

Answer 6

스위치 내부는 숨겨진 goto 문입니다. 그러니까 기본적으로 무슨 일이 일어나고 있는지 정말

int a=1; 
if(a==1){ //case 1 
    goto case1; 
}else{ //default 
    goto default; 
} 
int b=20; 
case1:.... 

Answer 7

switch 문의 case 레이블이 이유 "레이블"라고 기억 : 그들은 단지 것과 같은, 거의 보통의 라벨 (label) 할 수 있습니다 goto합니다. 이것은 실제로 switch의 작동 방식입니다. 의 구조화 된 버전으로 switch에서 점진적으로 해당 레이블로 이동하고 거기에서 실행을 계속합니다. 당신의 코드에서는 항상 b의 초기화를 뛰어 넘습니다. 따라서 b은 결코 초기화되지 않습니다.

int b 

및

b = 20 

이 프로그램을 컴파일 할 때 컴파일러는 B라는 변수를 설정 :

Answer 8

코드

int b = 20 

실제로 두 가지 일을하고있다. 이것은 automatic 변수이며 스택에 저장됩니다. 그러나 프로그램 실행이 그 시점에 도달 할 때까지 값을 할당하지 않습니다.

이 시점 이전에는 변수에 어떤 값이 있는지 알 수 없습니다.

전역 변수 또는 static 변수는 프로그램 실행을 시작할 때 초기화됩니다.

Answer 9

Compiling with gcc (Using cygwin on Windows) gives a warning message -

warning: unreachable code at beginning of switch statement

and the output is undefined or garbage which clearly says that initialization portion of b is never executed and hence the undefined value.

Note: Question can be raised that if the code or line is unreachable, then why does not we get the error: 'b' undeclared.

The compiler checks for the syntax of the program (above checks if b is declared) and finds it correct (b is declared), although semantically/logically it is incorrect.

Probably in future the compilers may become even more smarter and will be able to detect these kind of errors