[c++] switch 문에서 변수를 선언 할 수없는 이유는 무엇입니까?

이 질문 은 원래 [C]와 [C ++]로 동시에 태그되었습니다. 원래 코드는 실제로 C와 C ++ 모두에서 유효하지 않지만 완전히 다른 관련이 없습니다.

• C ++에서는 case ANOTHER_VAL:레이블 newVal이 초기화를 무시하고 변수 범위로 이동 하기 때문에이 코드는 유효하지 않습니다 . C ++에서 자동 객체의 초기화를 우회하는 점프는 불법입니다. 이 문제의 측면은 대부분의 답변으로 올바르게 해결됩니다.

• 그러나 C 언어에서 변수 초기화를 우회하는 것은 오류가 아닙니다. 초기화에서 변수의 범위로 뛰어 들어가는 것은 C에서 합법적입니다. 이는 단순히 변수가 초기화되지 않은 상태임을 의미합니다. 원래 코드는 완전히 다른 이유로 C로 컴파일되지 않습니다. case VAL:원래 코드의 레이블 은 variable 선언에 첨부됩니다 newVal. C 언어 선언은 진술이 아닙니다. 라벨을 붙일 수 없습니다. 그리고 이것이이 코드가 C 코드로 해석 될 때 오류를 일으키는 것입니다.

  switch (val)
  {
  case VAL:             /* <- C error is here */
    int newVal = 42;
    break;
  case ANOTHER_VAL:     /* <- C++ error is here */
    ...
    break;
  }

추가 {}블록을 추가하면 이러한 문제가 매우 다르더라도 C ++ 및 C 문제가 해결됩니다. 는 C ++ 측면에서 그것은의 범위를 제한하고 newVal있는지 확인하고, case ANOTHER_VAL:더 이상은 C ++ 문제를 제거하는 범위로 이동합니다. C 측에서는 추가 {}로 복합 문장을 도입하므로 case VAL:레이블을 문장에 적용하여 C 문제를 제거합니다.

• C의 경우에는 문제없이 쉽게 해결할 수 있습니다 {}. case VAL:레이블 뒤에 빈 문장을 추가하면 코드가 유효 해집니다.

  switch (val)
  {
  case VAL:;            /* Now it works in C! */
    int newVal = 42;
    break;
  case ANOTHER_VAL:
    ...
    break;
  }

  이제 C 관점에서는 유효하지만 C ++ 관점에서는 유효하지 않습니다.

• 대칭 적으로 C ++의 경우 {}. 없이 문제를 쉽게 해결할 수 있습니다 . 변수 선언에서 이니셜 라이저를 제거하면 코드가 유효 해집니다.

  switch (val)
  {
  case VAL:
    int newVal;
    newVal = 42;
    break;
  case ANOTHER_VAL:     /* Now it works in C++! */
    ...
    break;
  }

  이제 C ++ 관점에서는 유효하지만 C 관점에서는 유효하지 않습니다.

답변

switch (i)
{
   case 0:
     int j; // 'j' has indeterminate value
     j = 0; // 'j' initialized to 0, but this statement
            // is jumped when 'i == 1'
     break;
   case 1:
     ++j;   // 'j' is in scope here - but it has an indeterminate value
     break;
}

class A {
public:
  A ();
};

switch (i)  // Error - jumping over initialization of 'A'
{
   case 0:
     A j;   // Compiler implicitly calls default constructor
     break;
   case 1:
     break;
}

goto LABEL;    // Error jumping over initialization
int j = 0;
LABEL:
  ;

switch (val)
{
    case VAL:
    {
        // This **will** work
        int newVal = 42;
    }
    break;

    case ANOTHER_VAL:
      ...
    break;
}

Case statements are only 'labels'

labeled-statement:
    identifier : statement
    case constant-expression : statement
    default : statement

case 1: int x=10;
        printf(" x is %d",x);
break;

label can only be a part of statement and declaration is not a statement

  case 1: int x;
          x=10;
            printf(" x is %d",x);
    break;

switch(a)
{
    printf("This will never print"); // This will never executed

    case 1:
        printf(" 1");
        break;

    default:
        break;
}

strcpy(char *to, char *from, size_t count) {
    int n = (count + 7) / 8;
    switch (count % 8) {
    case 0: do { *to = *from++;
    case 7:      *to = *from++;
    case 6:      *to = *from++;
    case 5:      *to = *from++;
    case 4:      *to = *from++;
    case 3:      *to = *from++;
    case 2:      *to = *from++;
    case 1:      *to = *from++;
               } while (--n > 0);
    }
}

switch (...) {
    case FOO: {
        MyObject x(...);
        ...
        break;
    }
    ...
 }

case 1:
    int x; // Works
    int y = 0; // Error, initialization is skipped by case
    break;
case 2:
    ...