在php中将double转换为int

Question

这是我代码的一部分。我想获取int值2040，但int值是2039。

$double = 100 * '20.40';
$int = (int)$double;
echo gettype($double)."=$double\n"; //output 2040
echo gettype($int)."=$int\n";      //output 2039

Answer 1

$double = 100 * 20.40;
$int = (int)round($double);

echo gettype($double)."=$double\n"; //output double=2040 
echo gettype($int)."=$int\n"; //output integer=2040