Switchステートメント：デフォルトは最後のケースでなければなりませんか？

次のswitchステートメントを検討してください。

switch( value )
{
  case 1:
    return 1;
  default:
    value++;
    // fall-through
  case 2:
    return value * 2;
}

このコードはコンパイルされますが、C90 / C99に対して有効（=定義済みの動作）ですか？デフォルトのケースが最後のケースではないコードを見たことがありません。

編集：
として、ジョン・ケージとKillianDS書き込み：これは本当に醜いと混乱のコードであり、私はそれをよく知っています。一般的な構文（定義されているか？）と期待される出力に興味があります。

C99標準はこれについて明確ではありませんが、すべての事実をまとめると、完全に有効です。

A caseとdefaultlabelはlabelと同等gotoです。6.8.1ラベル付きステートメントを参照してください。特に興味深いのは6.8.1.4であり、これはすでに述べたダフのデバイスを有効にします。

ステートメントの前には、識別子をラベル名として宣言する接頭辞を付けることができます。ラベル自体は、制御の流れを変更することはありません。制御の流れは妨げられずに継続します。

編集：スイッチ内のコードは特別なものではありません。これは、if-statementのような通常のコードブロックであり、ジャンプラベルが追加されています。これは、フォールスルー動作とそのbreak必要性を説明しています。

6.8.4.2.7も例を示します：

switch (expr) 
{ 
    int i = 4; 
    f(i); 
case 0: 
    i=17; 
    /*falls through into default code */ 
default: 
    printf("%d\n", i); 
} 

人工プログラムフラグメントでは、識別子がiであるオ​​ブジェクトは自動ストレージ期間（ブロック内）で存在しますが、初期化されることはないため、制御式にゼロ以外の値がある場合、printf関数の呼び出しは不確定値にアクセスします。同様に、関数fの呼び出しにも到達できません。

ケース定数は、switchステートメント内で一意である必要があります。

6.8.4.2.3各ケースラベルの式は整数定数式である必要があり、同じスイッチステートメント内の2つのケース定数式が変換後に同じ値を持つことはできません。switchステートメントには、最大で1つのデフォルトラベルを含めることができます。

すべてのケースが評価され、指定されている場合はデフォルトのラベルにジャンプします。

6.8.4.2.5整数昇格は制御式で実行されます。各ケースラベルの定数式は、制御式の昇格された型に変換されます。変換された値が昇格された制御式の値と一致する場合、制御は一致したcaseラベルに続くステートメントにジャンプします。それ以外の場合で、デフォルトのラベルがある場合、制御はラベル付きステートメントにジャンプします。変換された大文字と小文字の定数式が一致せず、デフォルトのラベルがない場合、スイッチ本体のどの部分も実行されません。

caseステートメントとdefaultステートメントは、switchステートメント内で任意の順序で出現できます。default句は、caseステートメントのどの定数も一致しない場合に一致するオプションの句です。

良い例え ：-

switch(5) {
  case 1:
    echo "1";
    break;
  case 2:
  default:
    echo "2, default";
    break;
  case 3;
    echo "3";
    break;
}


Outputs '2,default'

ケースをコード内で論理的な順序で提示したい場合（ケース1、ケース3、ケース2 /デフォルトではないなど）、ケースが非常に長く、ケース全体を繰り返したくない場合に非常に便利です。デフォルトの下部にあるコード

これは有効で、場合によっては非常に便利です。

次のコードを検討してください。

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再帰呼び出しと識別された要素（個々のケース）の端末値を含む通常の値になります。通常、最終的な値に焦点を合わせる必要はありません。

別の理由は、ケースの順序がコンパイルされたコードの動作を変更する可能性があり、それがパフォーマンスにとって重要であることです。ほとんどのコンパイラは、コードがスイッチに表示されるのと同じ順序でコンパイル済みアセンブリコードを生成します。これにより、最初のケースが他のケースと大きく異なります。最初のケースを除くすべてのケースでジャンプが発生し、プロセッサパイプラインが空になります。ブランチプレディクタがデフォルトでスイッチに最初に現れるケースを実行するようにそれを理解しているかもしれません。他のケースよりもはるかに一般的なケースの場合は、それを最初のケースとするのに十分な理由があります。

コメントを読むのは、コードの最適化に関するインテルコンパイラーブランチループの再編成を読んだ後、元の投稿者がその質問をした理由です。

次に、コードの可読性とコードのパフォーマンスの間の調停になります。おそらく、ケースが最初に現れる理由を将来の読者に説明するためにコメントを付ける方が良いでしょう。

はい、これは有効であり、いくつかの状況下ではそれはさらに有用です。一般的に、それが必要ない場合は、行わないでください。

switchステートメントに定義された順序はありません。あなたはケースをラベルのような名前付きラベルのようなものとして見るかもしれませんgoto。人々がここで考えているように見えるのとは逆に、値2の場合、デフォルトのラベルにはジャンプしません。古典的な例で説明するために、ここにCの両極端のポスターの子であるダフのデバイスがありますswitch/case。

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);
  }
}

caseステートメントの最後以外の場所に「デフォルト」を配置するのが適切だと私が考える1つのシナリオは、無効な状態がマシンをリセットし、それが初期状態であるかのように続行する状態マシンです。例えば：

スイッチ（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（）;
    ...「安全な」状態を確立するために必要な他のことを行う
}

次に、他のコードが（widget_state == WIDGET_INVALID_STATE）をチェックして、エラー報告または状態リセットの動作が適切と思われるものを提供します。たとえば、ステータスバーコードにエラーアイコンが表示され、アイドル状態以外のほとんどの状態で無効になっている[スタートウィジェット]メニューオプションをWIDGET_INVALID_STATEおよびWIDGET_IDLEに対して有効にすることができます。

別の例を示します：これは、「デフォルト」が予期しないケースであり、エラーをログに記録したいが、賢明なこともしたい場合に役立ちます。私自身のコードの例：

  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
  }

ENUMを文字列に変換したり、ファイルへの書き込みやファイルからの読み取りを行う場合に文字列を列挙型に変換したりする場合があります。

ファイルを手動で編集することにより発生するエラーに対応するために、デフォルト値の1つにする必要がある場合があります。

switch(textureMode)
{
case ModeTiled:
default:
    // write to a file "tiled"
    break;

case ModeStretched:
    // write to a file "stretched"
    break;
}

default条件は、ケース句が存在することができ、スイッチ内のどこであってもよいです。最後の句である必要はありません。デフォルトを最初の句とするコードを見たことがあります。case 2:デフォルトの句がそれを上回っているにもかかわらず、正常に実行されます。

テストとして、サンプルコードを関数に入れ、呼び出しtest(int value){}て実行しました。

  printf("0=%d\n", test(0));
  printf("1=%d\n", test(1));
  printf("2=%d\n", test(2));
  printf("3=%d\n", test(3));
  printf("4=%d\n", test(4));

出力は次のとおりです。

0=2
1=1
2=4
3=8
4=10

それは有効ですが、かなり厄介です。非常に厄介なスパゲッティコードにつながる可能性があるため、フォールスルーを許可することは一般的に悪いことをお勧めします。

ほとんどの場合、これらのケースをいくつかのswitchステートメントまたは小さな関数に分割する方が適切です。

[編集] @Tristopia：あなたの例：

Example from UCS-2 to UTF-8 conversion 

r is the destination array, 
wc is the input wchar_t  

switch(utf8_length) 
{ 
    /* Note: code falls through cases! */ 
    case 3: r[2] = 0x80 | (wc & 0x3f); wc >>= 6; wc |= 0x800; 
    case 2: r[1] = 0x80 | (wc & 0x3f); wc >>= 6; wc |= 0x0c0; 
    case 1: r[0] = wc;
}

次のように書かれていれば、その意図について（私は思う）より明確になります。

if( utf8_length >= 1 )
{
    r[0] = wc;

    if( utf8_length >= 2 )
    {
        r[1] = 0x80 | (wc & 0x3f); wc >>= 6; wc |= 0x0c0; 

        if( utf8_length == 3 )
        {
            r[2] = 0x80 | (wc & 0x3f); wc >>= 6; wc |= 0x800; 
        }
    }
}   

[編集 2 ] @Tristopia：2番目の例は、フォロースルーの優れた使用法のおそらく最もクリーンな例です。

for(i=0; s[i]; i++)
{
    switch(s[i])
    {
    case '"': 
    case '\'': 
    case '\\': 
        d[dlen++] = '\\'; 
        /* fall through */ 
    default: 
        d[dlen++] = s[i]; 
    } 
}

..しかし、個人的にはコメント認識を独自の機能に分割します：

bool isComment(char charInQuestion)
{   
    bool charIsComment = false;
    switch(charInQuestion)
    {
    case '"': 
    case '\'': 
    case '\\': 
        charIsComment = true; 
    default: 
        charIsComment = false; 
    } 
    return charIsComment;
}

for(i=0; s[i]; i++)
{
    if( isComment(s[i]) )
    {
        d[dlen++] = '\\'; 
    }
    d[dlen++] = s[i]; 
}