PHP删除第一个零

Question

想要删除位于某个变量开头的所有0。

一些选项：

1. 如果$var = 0002，我们应该先剥离000（$var = 2）
2. 如果var = 0203410我们应首先删除0（$var = 203410）
3. if var = 20000 - 什么都不做（$var = 20000）

解决方案是什么？

Answer 1

将其转换为整数

$var = (int)$var;

Answer 2

也许ltrim？

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

Answer 3

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

这仅适用于字符串，以0开头的数字将被解释为八进制数，忽略多个零。

Answer 4

$var = strval(intval($var));

或者如果你不关心它仍然是一个字符串，只需转换为int并保留它。

Answer 5

只需使用+内部变量：

echo +$var;

Answer 6

乘以1

$var = "0000000000010";
print $var*1;  

//prints 10

Answer 7

小心铸造类型;

var_dump([
    '0014010011071152',
    '0014010011071152'*1,
    (int)'0014010011071152',
    intval('0014010011071152')
]);

打印：

array(4) {
    [0]=> string(16) "0014010011071152"
    [1]=> float(14010011071152)
    [2]=> int(2147483647)
    [3]=> int(2147483647)
}