switch 中的 case 造成整数提升

#include "stdafx.h"
#include <stdio.h>

#define ERR0    (1)
#define ERR1    (1 << 1)
#define ERR2    (1 << 2)
// ...
#define ERR8    (1 << 7)

int _tmain(int argc, _TCHAR* argv[])
{
    char var = 0x81 ;                // 1000 0001
    char flag = ERR8 | ERR0 ;        // 1000 0001

    if (var == flag)
    {
        puts("== in 'if'") ;        // == in 'if'
    }
    else
    {
        puts("!= in 'if'") ;
    }//if

    switch (flag)
    {
    case ERR8 | ERR0:                // ?!!?
        puts("== in 'swtich'") ;
        break ;

    default:
        puts("!= in 'switch'") ;    // != in 'if'
        break ;
    }//switch

    return 0;
}

VS 08 给出 warning 两条, 如下:

d:\work\test\test.cpp(15) : warning C4309: “初始化”: 截断常量值
d:\work\test\test.cpp(16) : warning C4309: “初始化”: 截断常量值

为何在 switch 中的结果和 if 中不一样?

　　因为 switch 的 case 语句中, 值是在运行时求得. 通过 '|' 运算得到一个 int 类型的值(整数提升). 一个 int 型的 'ERR8 | ERR0' == 129(0000 0000 0000 0000 0000 0000 1000 0001), 其低 8 位内容(1000 0001)和变量 var(0x81) 的内容一致, 但是解释方式显然不一样:

　　这就导致了在 switch 中, 明明二进制值一样的两个量却不相等, 准确的说, 是其中一个的低位与另一个二进制级相等.

　　这也说明了 switch 的操作数在与 case 的值进行比较时, 不会进行整数提升. 

　　所以, 在 switch 中, 最好选取 int 型变量作为其操作数, 以免造成不必要的错误.