【发布时间】:2019-09-10 08:59:44
【问题描述】:
我有以下代码:
$waitTimeInMs = random_int(500, 1000);
// 1E3 = 10 to the power of 3 = 1000
echo gettype($waitTimeInMs) .'|'.gettype($waitTimeInMs * 1E3) . '|' . gettype($waitTimeInMs * 1000) .'|' . $waitTimeInMs * 1E3;
这将返回integer|double|integer|759000。
所以,实际上:
-
random_int()返回int; - 乘以
1E3返回double; - 乘以
1000返回int;
那么,如果1000 = 1E3,为什么乘以1E3 会返回一个double 而不是int?
【问题讨论】:
标签: php int double exponent exponentiation