Preencher número com zeros a esquerda no PHP

PHP - Logo

Tempos atrás trabalhei num projeto que precisava preencher um número com zeros a esquerda usando o PHP. Sabia que o PHP oferecia algo do tipo, pois trabalhei com isso na época da faculdade, o problema era lembrar a função, depois uma pequena pesquisa achei e vou deixar aqui como fazer.

Na explicação que digo é para transformar o número 42 em 00042. Note que o número 42 agora tem 5 caracteres e assim um número sequencial ou não. Claro que poderia jogado no banco de dados para preencher com zeros, porém exatamente nesse caso não era algo que ficava no banco de dados e sendo assim não tinha essa facilidade. Caso faça isso de usar direto do banco de dados tome cuidado somente com o valor que o PHP pega pois ele converte pra inteiro e perde todos os zeros e dai pode usar a função abaixo:

<?php

// Parametro 1: número desejado;
// Parametro 2: número de casas para preencher
// Parametro 3: preencher com o que? podemos colocar outras coisas caso queira 
// Parametro 3: qual direção preencher, caso nao informe será a direita, STR_PAD_LEFT é uma constante do PHP
echo str_pad( "42", 5, "0", STR_PAD_LEFT ); // imprime: 00042
    
?>

Espero que te ajude a lembrar sempre que precisar. Eu mesmo escrevi esse artigo para decorar, pois incrivelmente depois que usei nesse projeto que comentei precisei usar em outros mais algumas vezes. Rsrs.

Abraços.