Je dois convertir les chiffres simples (1 à 9) en (01 à 09). Je peux penser à un moyen, mais il est gros, laid et encombrant. Je suis sûr qu'il doit y avoir un moyen concis. Toutes les suggestions
Réponses
Trop de publicités?Tout d'abord, votre description est trompeuse. Double
est un type de données à virgule flottante. Vous souhaitez sans doute ajouter des zéros à vos chiffres dans une chaîne de caractères. C'est ce que fait le code suivant :
$s = sprintf('%02d', $digit);
Pour plus d'informations, consultez la documentation de sprintf
.
Il y a aussi str_pad
<?php
$input = "Alien";
echo str_pad($input, 10); // produces "Alien "
echo str_pad($input, 10, "-=", STR_PAD_LEFT); // produces "-=-=-Alien"
echo str_pad($input, 10, "_", STR_PAD_BOTH); // produces "__Alien___"
echo str_pad($input, 6 , "___"); // produces "Alien_"
?>
Solution utilisant str_pad :
str_pad($digit,2,'0',STR_PAD_LEFT);
Benchmark sur php 5.3
Résultat str_pad : 0.286863088608
Résultat sprintf : 0.234171152115
Code :
$start = microtime(true);
for ($i=0;$i<100000;$i++) {
str_pad(9,2,'0',STR_PAD_LEFT);
str_pad(15,2,'0',STR_PAD_LEFT);
str_pad(100,2,'0',STR_PAD_LEFT);
}
$end = microtime(true);
echo "Result str_pad : ",($end-$start),"\n";
$start = microtime(true);
for ($i=0;$i<100000;$i++) {
sprintf("%02d", 9);
sprintf("%02d", 15);
sprintf("%02d", 100);
}
$end = microtime(true);
echo "Result sprintf : ",($end-$start),"\n";
Les performances de str_pad
dépend fortement de la longueur du rembourrage. Pour une vitesse plus constante, vous pouvez utiliser str_repeat .
$padded_string = str_repeat("0", $length-strlen($number)) . $number;
Utilisez également la valeur de la chaîne du nombre pour de meilleures performances.
$number = strval(123);
Testé sur PHP 7.4
str_repeat: 0.086055040359497 (number: 123, padding: 1)
str_repeat: 0.085798978805542 (number: 123, padding: 3)
str_repeat: 0.085641145706177 (number: 123, padding: 10)
str_repeat: 0.091305017471313 (number: 123, padding: 100)
str_pad: 0.086184978485107 (number: 123, padding: 1)
str_pad: 0.096981048583984 (number: 123, padding: 3)
str_pad: 0.14874792098999 (number: 123, padding: 10)
str_pad: 0.85979700088501 (number: 123, padding: 100)
Voici ma solution pour gérer les nombres positifs et négatifs.
<?php
// add zeros to a number at left or right side.
function add_zeros_to_number( $number, $number_of_zeros, $zeros_position="left"){
// check if number is negative
$is_negative = FALSE;
if ( strpos($number , '-') !== FALSE ){
$is_negative = TRUE;
$number = substr($number, 1);
}
if($zeros_position == "right"){
$r = str_pad($number, $number_of_zeros, "0", STR_PAD_RIGHT);
}else{
$r = str_pad($number, $number_of_zeros, "0", STR_PAD_LEFT);
}
if( $is_negative ){
return "-".$r;
}else{
return $r;
}
}
// how to use
$number = -333; // Desire number
$number_of_zeros = 4; // number of zeros [ your number length + zeros ]
$position = "right"; // left or right . default left
echo $result = add_zeros_to_number($number, $number_of_zeros, $position);
// output
// -333 => -3330 left
// -333 => -0333 right