使用 PHP 修剪字符串开头的任何零

发布于 2024-09-24 13:14:59 字数 185 浏览 7 评论 0原文

用户将在字段中填写与其帐户相关的数字。不幸的是,一些用户会在号码开头添加零来组成六位数字(例如 000123、001234),而其他用户则不会(例如 123、1234)。我想“修剪”前面以零为前缀的用户的数字,因此如果用户输入 000123,它将删除零以变为 123。

我已经看过 trim 和 substr 但我不相信这些可以完成工作吗?

Users will be filling a field in with numbers relating to their account. Unfortunately, some users will have zeroes prefixed to the beginning of the number to make up a six digit number (e.g. 000123, 001234) and others won't (e.g. 123, 1234). I want to 'trim' the numbers from users that have been prefixed with zeros in front so if a user enters 000123, it will remove the zeroes to become 123.

I've had a look at trim and substr but I don't believe these will do the job?

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(6

坚持沉默 2024-10-01 13:14:59

您可以使用 ltrim() 并传递字符应作为第二个参数删除:

$input = ltrim($input, '0');
// 000123 -> 123

ltrim 仅从字符串的开头(左侧) 删除指定的字符(默认空白)。

You can use ltrim() and pass the characters that should be removed as second parameter:

$input = ltrim($input, '0');
// 000123 -> 123

ltrim only removes the specified characters (default white space) from the beginning (left side) of the string.

贩梦商人 2024-10-01 13:14:59
ltrim($usernumber, "0");

应该完成这项工作,根据 PHP 手册

ltrim($usernumber, "0");

should do the job, according to the PHP Manual

静待花开 2024-10-01 13:14:59
$number = "004561";
$number = intval($number, 10);
$number = (string)$number; // if you want it to again be a string
$number = "004561";
$number = intval($number, 10);
$number = (string)$number; // if you want it to again be a string
套路撩心 2024-10-01 13:14:59

您始终可以强制 PHP 将其解析为 int。如果需要,您可以稍后将其转换回字符串

(int) "000123"

You can always force PHP to parse this as an int. If you need to, you can convert it back to a string later

(int) "000123"
帅气称霸 2024-10-01 13:14:59

您可以通过从字符串转换为数字并再转换回来来删除前导零。例如:

$str = '000006767';
echo ''.+$str; // echo "6767"

You can drop the leading zeros by converting from a string to a number and back again. For example:

$str = '000006767';
echo ''.+$str; // echo "6767"
爱的那么颓废 2024-10-01 13:14:59

只需将您的数字乘以零即可。

$input=$input*1;
//000000123*1 = 123

Just multiply your number by zero.

$input=$input*1;
//000000123*1 = 123
~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文