C++算术运算类型转型执行顺序及static_cast用法相关问题

问题1 为何代码result = static_cast<double>(1 / (i+1))的运算结果在C++中为int类型？ #

这是由C++的运算符优先级规则与算术运算隐式类型转换规则共同决定的：

• 运算执行顺序从高优先级到低优先级依次为：括号运算 -> 除法运算 -> static_cast转型，具体执行步骤：
  • 第一步计算括号内的i+1：i为int类型，常量1也为int类型，相加结果为int类型
  • 第二步计算1 / (i+1)：分子分母均为int类型，触发整数除法规则，运算结果本身就是int类型，会直接截断小数部分（例如i=1时1/2的结果为0）
  • 第三步才对上述int类型的结果执行static_cast<double>转型，转型后得到的是对应值的double类型，但整数除法已经截断了小数部分，因此最终得到的double值和整数除法的int结果数值完全一致，这也是你会误以为运算结果为int的原因。

问题2 为何代码result = 1 / (i+static_cast<double>(1))的运算结果为double类型？ #

核心原因是该写法在除法运算前就通过转型触发了类型提升，具体执行步骤：

• 第一步执行括号内的static_cast<double>(1)：将int类型的常量1转为double类型
• 第二步计算i + 转型后得到的double类型1：C++算术运算规则要求，不同类型操作数运算时，取值范围更小的类型会自动提升到与取值范围更大的类型一致，因此int类型的i会被自动提升为double类型，相加结果为double类型
• 第三步计算1 / 上述double类型的和：同样触发类型提升规则，int类型的常量1被提升为double类型，执行浮点数除法，运算结果为double类型。

补充问题解答 #

为什么在+操作之后执行转型就足够得到double类型的结果，不需要在+操作之前或者对分子做转型？ #

你给出的参考代码中1 / static_cast<double>(i+1)的写法逻辑是：只要除法运算的任意一个操作数为double类型，就会触发浮点数除法规则。
该写法中先计算i+1得到int类型结果，再通过static_cast转成double类型，此时除法的右操作数已经是double类型，左操作数的int常量1会自动提升为double，最终得到的除法结果自然就是double类型，不需要额外对分子或者加法前的操作数做转型。
当然你也可以选择对分子转型，例如static_cast<double>(1)/(i+1)，两者运行效果完全一致，只是写法不同。

static_cast是不是C++中推荐使用的转型方式？ #

是的，static_cast是C++标准推荐的编译期转型方式，对比C风格的强制转型(double)x，它有以下明确优势：

• 编译期会执行类型合法性检查，不允许完全无关的类型之间转型，安全性更高
• 语法标识明确，在代码中搜索定位转型操作更方便
• 不存在C风格转型优先级模糊的问题
  仅当需要对多态类型做运行期向下转型时才需要使用dynamic_cast，其他大部分编译期可确定的数值类型转型、父子类指针/引用转型场景，都优先推荐使用static_cast。

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