表达式(10.0 / 2)的计算结果为5.0，且结果类型为 double。