长度不足时左侧补零

<?php
declare(strict_types=1);
ini_set('display_errors', 'On');
error_reporting(-1);

/**
 * 左侧补零函数
 *
 * @param int $int 整数
 * @param int $length 长度
 * @return string 整数
 */
function zero_fill(int $int, int $length): string
{
    return str_pad((string)$int, $length, '0', STR_PAD_LEFT);
}

echo zero_fill(9527, 1) . PHP_EOL; // 9527
echo zero_fill(9527, 2) . PHP_EOL; // 9527
echo zero_fill(9527, 3) . PHP_EOL; // 9527
echo zero_fill(9527, 4) . PHP_EOL; // 9527
echo zero_fill(9527, 5) . PHP_EOL; // 09527
echo zero_fill(9527, 6) . PHP_EOL; // 009527
echo zero_fill(9527, 7) . PHP_EOL; // 0009527
echo zero_fill(9527, 8) . PHP_EOL; // 00009527
echo zero_fill(9527, 9) . PHP_EOL; // 000009527