Division оператор в PHP

Question

я случайно сделать оператор деления в PHP, как это:

$a = 012; //or 0012 or even 00012 
echo $a/4; 
echo gettype($a/4); 

я получил результат: 2.5 double. // Я не знаю, почему вывод 2.5.

Я попробовал еще раз:

$a=12; 
echo $a/4; 
echo gettype($a/4); 

Этот вывод 3 Integer воли.

Я прочитал документацию в https://secure.php.net/manual/en/language.operators.arithmetic.php, но все еще не могу это понять.

Может ли кто-нибудь мне помочь?

Answer 1

Значение, которое звезды с нулем является восьмеричным. Таким образом, 012 в восьмеричном формате 10 в десятичном формате. 10 разделенных 4 - 2,5.

Answer 2

Одна вещь, которую вы можете сделать, это очистить значение $ a до его использования.

$a = ltrim($a, '0'); 

Это удалит все предыдущие 0s и означают, что 012 => 12 и не 10, когда вы приводите его к ИНТ

например

$a = 0012; 
$a = ltrim($a, '0'); 
echo $a/4; 
echo gettype($a/4);