C++选择与迭代语句类型转换规则及if(true)转换问题问询

结论先行 #

你的理解符合C++标准的语义要求，但实际运行时不会有额外转换开销。 #

1. 语义层面的要求确实存在

按照你引用的ISO C++标准条文，if语句的条件无论原本类型是什么，都强制要求做语境转换到bool，哪怕表达式本身已经是bool类型，这个语义层面的要求仍然成立。

2. 同类型转换属于无操作的恒等转换

语境转换规则中，当源类型和目标类型完全相同时，转换本身是无任何操作的恒等转换，仅满足语义层面的要求，不会生成任何额外的运行时指令。
也就是说你写if(true) {}时，true本身就是bool类型，转换过程相当于直接取原值使用，实际运行逻辑和“不需要转换”没有任何可观测的差异。

3. 你对switch的对比结论正确

switch语句的条件确实没有强制要求转换到固定类型：只要条件本身是整型/枚举类型就直接使用，仅当类型不匹配时才会做隐式转换到整型/枚举类型，和if的逻辑有明确区别。

实际编译验证：开启优化后，if(true) {}生成的机器码不会包含任何转换逻辑，编译器会直接识别为恒成立分支，和直接写执行块的效果完全一致。

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