php数字补零

echo sprintf("%03d", 1); //output: 001
原文地址:https://www.cnblogs.com/unsea/p/2563076.html