首页
学习
活动
专区
工具
TVP
发布
社区首页 >问答首页 >使用PHP修剪字符串开头的任何零

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

Stack Overflow用户
提问于 2010-09-24 04:44:57
回答 5查看 18.1K关注 0票数 13

用户将在一个字段中填写与其帐户相关的数字。不幸的是,一些用户会在数字的开头加上0来组成一个六位数(例如000123,001234),而另一些用户则不会。我想要“修剪”前面加了零的用户的数字,这样如果用户输入000123,它就会去掉零,变成123。

我已经看过trim和substr,但我不相信它们能完成这项工作?

EN

回答 5

Stack Overflow用户

发布于 2010-09-24 04:47:02

代码语言:javascript
复制
ltrim($usernumber, "0");

根据PHP Manual的说法,应该能做好这项工作

票数 2
EN

Stack Overflow用户

发布于 2010-09-24 04:46:45

代码语言:javascript
复制
$number = "004561";
$number = intval($number, 10);
$number = (string)$number; // if you want it to again be a string
票数 1
EN

Stack Overflow用户

发布于 2010-09-24 04:50:54

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

代码语言:javascript
复制
(int) "000123"
票数 1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/3782414

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档