为什么Visual Studio会抛出‘关系表达式用作switch表达式’警告？

我编写了如下代码：

float x = 0.43;
float y = 1.56;
size_t largerValueIndex = 1;
size_t smallerValueIndex = 0;
switch (x > y) {
case 1:
    largerValueIndex = 0;
    smallerValueIndex = 1;
    break;
}

Visual Studio弹出警告“C4144: '>': relational expression as switch statement”。我想了解该警告存在的必要性：我原本认为多数switch和if语句都会涉及值比较，这种写法是否属于不良编程实践？若是，原因是什么？注：我的疑问聚焦于switch表达式的取值，而非case分支中的内容。

解答 #

这种写法确实属于不良编程实践，VS的C4144警告完全有必要，原因如下：

• 语义不匹配：switch语句的设计初衷是处理多离散值分支（比如枚举值、多个固定整数的判断），而关系表达式x > y的结果只有0（假）和1（真）两个布尔值，本质是二元判断，用switch来处理属于“用重型工具干轻活”，语义上完全不契合。

• 可读性极差：其他开发者看到switch时，第一反应是“这里有多个不同的分支需要处理”，但你的代码里只有一个case分支，逻辑和if(x > y)完全一致，却用了更啰嗦、不符合常规认知的写法，会增加理解成本。

• 冗余且无优势：用switch处理二元判断，相比if/else没有任何优势——代码更长，逻辑更绕，甚至还可能因为不符合大家的编码直觉，让后续维护者产生不必要的困惑。

简单说，switch是为多分支场景准备的，二元判断用if/else才是符合C语言代码习惯的写法，警告就是在提醒你别用错了工具。

内容的提问来源于stack exchange，提问作者golightlydev