PHP中带前导零的数字格式化

大家好！我是PHP新手，遇到了一个看似简单的任务，但怎么也找不到正确的解决方案。\n\n我需要以固定格式输出订单ID，比如数字总是占5位。如果ID是1，它应该显示为“00001”。如果ID是123，则显示为“00123”。也就是说，在左侧添加零直到达到所需长度。\n\n我尝试过简单的字符串拼接，例如：`$order_id = '00000' . $id;`，但当数字已经有多个位数时就不起作用了。结果是“00000123”，而需要的是“00123”。\n\n我试着在文档中查找，但函数太多，我搞糊涂了。以下是我的代码示例，没有给出预期结果：\n\n```php\n\n```\n\n请问，如何在PHP中正确地为数字添加前导零？有没有适用于不同长度数字的通用方法？提前感谢帮助！