[c] 스위치 문 : 마지막 경우가 기본값이어야합니까?

어떤 경우에는 유효하고 매우 유용합니다.

다음 코드를 고려하십시오.

switch(poll(fds, 1, 1000000)){
   default:
    // here goes the normal case : some events occured
   break;
   case 0:
    // here goes the timeout case
   break;
   case -1:
     // some error occurred, you have to check errno
}

요점은 위 코드가 계단식 코드보다 읽기 쉽고 효율적이라는 것 if입니다. default마지막에 넣을 수는 있지만 일반적인 경우 (여기있는 default경우) 대신 오류 사례에주의를 기울이기 때문에 의미가 없습니다 .

실제로, 그것은 좋은 예가 아닙니다 poll. 최대 몇 개의 이벤트가 발생할 수 있는지 알고 있습니다. 나의 진짜 요점은 ‘예외’와 일반적인 경우가있는 정의 된 입력 값 세트 가 있는 경우 가 있다는 것 입니다. 예외 또는 정상적인 경우를 앞에 두는 것이 더 나은 선택입니다.

소프트웨어 분야에서 나는 매우 일반적인 또 다른 경우를 생각합니다. 일부 터미널 값을 사용한 재귀. 스위치를 사용하여 표현할 수있는 경우 default재귀 호출과 구별 요소 (개별 사례)가 포함 된 일반적인 값이 터미널 값이됩니다. 일반적으로 터미널 값에 초점을 맞출 필요가 없습니다.

또 다른 이유는 사례의 순서가 컴파일 된 코드 동작을 변경할 수 있으며 이는 성능에 중요합니다. 대부분의 컴파일러는 코드가 스위치에 나타나는 순서대로 컴파일 된 어셈블리 코드를 생성합니다. 첫 번째 경우는 다른 경우와 매우 다릅니다. 첫 번째 경우를 제외한 모든 경우에는 점프가 발생하고 프로세서 파이프 라인이 비게됩니다. 기본적으로 스위치에서 첫 번째로 나타나는 사례를 실행하는 분기 예측기처럼 이해할 수 있습니다. 다른 경우보다 훨씬 일반적인 경우 첫 번째 사례로 두어야 할 이유가 있습니다.

주석을 읽는 것이 코드 최적화에 대한 인텔 컴파일러 Branch Loop 재구성 을 읽은 후에 원래 포스터가 그 질문을 한 구체적인 이유 입니다.

그러면 코드 가독성과 코드 성능간에 중재가됩니다. 아마도 사건이 먼저 나타나는 이유를 미래 독자에게 설명하기 위해 의견을 작성하는 것이 좋습니다.

답변

send(to, from, count)
register short *to, *from;
register count;
{
  register 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);
  }
}

스위치 (widget_state)
{
  기본값 : / * 레일에서 떨어짐-재설정하고 계속 * /
    widget_state = WIDGET_START;
    /* 실패로 끝나다 */
  사례 WIDGET_START :
    ...
    단절;
  사례 WIDGET_WHATEVER :
    ...
    단절;
}

스위치 (widget_state)
{
  사례 WIDGET_IDLE :
    widget_ready = 0;
    widget_hardware_off ();
    단절;
  사례 WIDGET_START :
    ...
    단절;
  사례 WIDGET_WHATEVER :
    ...
    단절;
  기본:
    widget_state = WIDGET_INVALID_STATE;
    /* 실패로 끝나다 */
  사례 WIDGET_INVALID_STATE :
    widget_ready = 0;
    widget_hardware_off ();
    ... "안전한"조건을 설정하기 위해 필요한 다른 조치를 취하십시오.
}

  switch (style)
  {
  default:
    MSPUB_DEBUG_MSG(("Couldn't match dash style, using solid line.\n"));
  case SOLID:
    return Dash(0, RECT_DOT);
  case DASH_SYS:
  {
    Dash ret(shapeLineWidth, dotStyle);
    ret.m_dots.push_back(Dot(1, 3 * shapeLineWidth));
    return ret;
  }
  // more cases follow
  }