双精度除法与整数运算：性能与精度的权衡分析

您的假设不正确，因为您的除法运算都将使用两个double操作数执行。在第二种情况下，c = a/3整数文字将在double生成任何代码之前由编译器转换为一个值。

从这个 C++ 标准草案：

8.3 通常的算术转换 [expr.arith.conv]

¹    许多期望算术或枚举类型操作数的二元运算符会以类似的方式导致转换并产生结果类型。目的是产生一个通用类型，它也是结果的类型。这种模式称为普通算术转换，其定义如下：

...

^(1.3) – 否则，如果任一操作数为双精度，则另一个应转换为双精度。

请注意，在本 C11 标准草案中，第6.3.1.8 节（通常的算术转换）具有等效（实际上，几乎相同）的文本。

• 
  请注意，对于使用将 `double` 除以 `int` 的代码进行优化的目标架构，那么任何体面的编译器都会将这样的代码用于像 `3.0` 这样的文字，就像它会为`3` - 它肯定会发现小数部分为零。