У меня есть столбец в таблице MySQL, который является varchar. Однако данные в столбце представляют значение с плавающей запятой. Я хочу знать, есть ли простой способ преобразовать строку в число с плавающей запятой без потери данных. Проблема в том, что есть ведущие нули, которые усложняют для меня вещи.
Пример данных:
"100""002""075""0300""0135"
Необходимо преобразовать в:
1.00
0.02
0.75
0.300
0.135
Когда я пытаюсь конвертировать путем умножения на десятичную дробь, ведущие нули удаляются, и 002 становится 2,0 вместо 0,02. Более сложная вещь: некоторые строковые значения имеют 3 символа, а некоторые — 4 символа.
Я использую PHP 5.4.
Спасибо за любую помощь.
select cast(insert(your_column, 2, 0, '.') as decimal(10, 3))
from your_table
Попробуйте этот код, он просто делает кастинг. Надеюсь, поможет.
$Myfloat = (float) $String;