PHP INT Макс не преобразуется в число с плавающей точкой

Question

РНР documentation состояния:

Если PHP встречает число, превышающее пределы целого типа, оно будет интерпретироваться как поплавок вместо.

Поэтому я определил размер целых максимального

echo PHP_INT_MAX;

и получил 2147483647.

Я проверил это утверждение с

echo PHP_INT_MAX + PHP_INT_MAX;

и получил 4294967294.

Не должно ли это быть поплавком, так как я вышел за пределы max в целых числах?

Answer 1

Вы эхо-результат, так что он уже отбрасывается в строку.

Это может помочь:

$result = PHP_INT_MAX; 

echo gettype($result); // prints "integer" 

$result2 = $result + $result; 

echo gettype($result2); // prints "double" 

Answer 2

Это на самом деле в двойной, который является более точным, чем число одинарной точности (поплавком). Это может быть проверено:

echo gettype(PHP_INT_MAX + PHP_INT_MAX); 

Echoes: double