0
いくつかの変数の先頭に配置されたすべてを削除したい。
いくつかのオプション:
- の場合
$var = 0002
、最初にストリップする必要があります000
($var = 2
) var = 0203410
最初に削除する必要がある場合0
($var = 203410
)- if
var = 20000
- 何もしない ($var = 20000
)
解決策は何ですか?
0
いくつかの変数の先頭に配置されたすべてを削除したい。
いくつかのオプション:
$var = 0002
、最初にストリップする必要があります000
( $var = 2
)var = 0203410
最初に削除する必要がある場合0
( $var = 203410
)var = 20000
- 何もしない ( $var = 20000
)解決策は何ですか?
整数にキャストする
$var = (int)$var;
たぶんltrim
?
$var = ltrim($var, '0');
$var = ltrim($var, '0');
これは文字列に対してのみ機能し、0 で始まる数値は 8 進数として解釈され、複数のゼロは無視されます。
$var = strval(intval($var));
または、文字列のままで構わない場合は、int に変換してそのままにしておきます。
変数内で + を使用するだけです:
echo +$var;
1を掛けます
$var = "0000000000010";
print $var * 1;
//prints 10
鋳造タイプに注意してください。
var_dump([
'0014010011071152',
'0014010011071152'*1,
(int)'0014010011071152',
intval('0014010011071152')
]);
版画:
array(4) {
[0]=> string(16) "0014010011071152"
[1]=> float(14010011071152)
[2]=> int(2147483647)
[3]=> int(2147483647)
}