switch 中的 case 造成整数提升

最新推荐文章于 2024-12-02 08:56:48 发布

weixin_30835923

最新推荐文章于 2024-12-02 08:56:48 发布

阅读量146

点赞数

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/walfud/articles/2184200.html

本文深入探讨了C++中switch和if条件判断的区别，特别是当使用整数类型进行比较时，switch操作数与case值进行比较时不进行整数提升的现象。文章详细解释了这一现象产生的原因，并强调了在switch中选择int型变量作为操作数的重要性，以避免潜在的错误。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

#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) 的内容一致, 但是解释方式显然不一样: