PHP форматирование положительных и отрицательных чисел с плавающей точкой с ведущими нулями
Сценарий:
Обрезать начальные нули по положительным и отрицательным числам с плавающей запятой
Входные данные:
000.123
00.123
01.123
-001.123
-00.123
-040.123
Желаемый результат:
0.123
0.123
1.123
-1.123
-0.123
-40.123
Вопрос:
Есть ли встроенная функция, которая сделает это конкретное форматирование проще и эффективнее, чем запуск каждого числа через комбинации substr(), strpos(), explode() а также if заявления?
Решение
Я предполагаю, что ваши числа сохраняются в виде строки, поэтому, чтобы получить результат, вы просто приводите их к float или же double как это:
echo (float) $number;
Для получения дополнительной информации о кастинге см. Руководство: http://php.net/manual/en/language.types.type-juggling.php#language.types.typecasting
Другие решения
Просто бросьте это как float
Как этот пример:
<?php
$number = '-000.220';
echo (float)$number;
Таким образом вы удаляете все ведущие нули, будь то положительное или отрицательное число