PHP将带前导零的数字转换为字符串

Question

我还没有找到一个能解决PHP中整数到字符串转换这一方面的问题，所以
我有一个文件，其中一个字段包含一些长度为3、4或5位的数字，我需要将所有数字标准化为4位
如果数字是123、1234、12345，那么为了标准化，我在第一个数字后面加了一个零，第二个数字不加任何处理，第三个数字四舍五入：到目前为止还不错。问题在于，该文件包含一些具有有效前导零023、0234、02346的数字
我需要保留前导零，我希望输出为0230、0234、0235我想我可以强制该字段为字符串，如果它为零，则删除第一个字符，对剩余的数字进行计算，然后将数字左键填充为带前导零的字符串
问题在于，当我试图将带前导零的数字转换为字符串时，前导零似乎被解释为表示数字是八进制的
strval（0123）

我的任务是对源数据文件进行编辑，用散列替换任何前导零，使字段成为字符串。然后，我的过程变成：如果字段以#strip it开头，则进行计算，然后预加一个零。当然有更好的解决方案，也许是另一种读取文件的方式？我用的是fgetcsv

Answer 1

您可以使用以下代码

$yourInt = 253;
$intWithZeros = sprintf("%05d", $yourInt); // result 00253

您可以在“ d”

Answer 2

我会在你的数字上加上下一个最大的数字，即1，后跟0。

0672 --

得到1672

然后，将其转换为字符串，并再次将位置1处的字符更改为零。

那是我的方式。。。我对PHP非常陌生，所以可能有一个更复杂的答案，但如果其他方法都失败了，它就可以工作了。