[C言語]switch文のcase句の後にスペースが必要な場合/不要な場合

    switch( data ) {
            ...
        case'1':    // <- caseと'1'の間に空白がない!!
            ...
            break;
        case'2':
            ...
            break;
        default:
            ...
            break;
    }

#include <stdio.h>
#define CS4 '4'
 
int main()
{
    int data;
 
    printf( "please input data>" );
    scanf( "%d", &data );
 
    switch( data ) {
        case 0:
            printf( "pos0\n" );
            break;
        case1:      // 空白を入れない
            printf( "pos1\n" );
            break;
        case '2':   // '2' = 0x32 = 50
            printf( "pos2\n" );
            break;
        case'3':    // '3' = 0x33 = 51
            printf( "pos3\n" );
            break;
        caseCS4:    // define値で空白を入れない
            printf( "pos4\n" );
            break;
        case0x05:   // 16進数で空白を入れない
            printf( "pos5\n" );
            break;
        default:
            printf( "default\n" );
            break;
    }
}

$ gcc switch_test.c  -o switch_test
 
$ ./switch_test 
please input data>0
pos0
 
$ ./switch_test 
please input data>1
default
 
$ ./switch_test 
please input data>50
pos2
 
$ ./switch_test 
please input data>51
pos3
 
$ ./switch_test 
please input data>52 
default
 
$ ./switch_test 
please input data>5
default

case 0
    これは正常パターンなので、当然動作します。
 
case1:
    "case1"というgotoラベルと解釈されるので、正しく動作しません。
    後述しますが、アセンブラの結果を見ても"pos1"の出力処理自体が省かれています。
 
case '2':
    これも正常パターン。動作します。
 
case'3':
    これが当初違和感を感じたパターンです。
    gccでコンパイルしましたが、はやり正常に動作してます。
 
caseCS4:
    コードを書いてたときは、このパターンはいけるのでは...と思ってたのですが、NGでした。
    良く考えてみたら、"caseCS4"というgotoラベルと認識されるだけなので、ダメで当然ですね。
 
case0x05:
    これもダメでした。

$ gcc switch_test.c  -S
 
 
$ cat switch_test.s
    .file   "switch_test.c"
    .section    .rodata
.LC0:
    .string "please input data>"
.LC1:
    .string "%d"
.LC2:
    .string "pos0"
.LC3:
    .string "pos2"
.LC4:
    .string "pos3"
.LC5:
    .string "default"
    .text
    .globl  main
    .type   main, @function
main:
.LFB0:
    .cfi_startproc
    pushl   %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    andl    $-16, %esp
    subl    $32, %esp
    movl    $.LC0, %eax
    movl    %eax, (%esp)
    call    printf
    movl    $.LC1, %eax
    leal    28(%esp), %edx
    movl    %edx, 4(%esp)
    movl    %eax, (%esp)
    call    __isoc99_scanf
    movl    28(%esp), %eax
    cmpl    $50, %eax
    je  .L4
    cmpl    $51, %eax
    je  .L5
    testl   %eax, %eax
    jne .L7
.L3:
    movl    $.LC2, (%esp)
    call    puts
    jmp .L8
.L4:
    movl    $.LC3, (%esp)
    call    puts
    jmp .L8
.L5:
    movl    $.LC4, (%esp)
    call    puts
    jmp .L8
.L7:
    movl    $.LC5, (%esp)
    call    puts
    nop
.L8:
    leave
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE0:
    .size   main, .-main
    .ident  "GCC: (Ubuntu/Linaro 4.6.1-9ubuntu3) 4.6.1"
    .section    .note.GNU-stack,"",@progbits