我有以下代码:
$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
返回a double
;
乘以1000
返回int
;
那么,为什么乘以1E3
返回双精度值而不是int
if 1000 = 1E3
?
噜噜哒