Arrondi des résultats de division d'entiers pour les contrôles de pagination
Lors de l'implémentation de la pagination en C# ou Java, il est crucial de calculer avec précision le nombre de pages pour afficher le commandes de navigation appropriées. L'objectif est de diviser le nombre total d'éléments par le nombre d'éléments par taille de page pour déterminer le nombre de pages.
Considérez le scénario suivant : vous disposez de 36 éléments et souhaitez les afficher par groupes de 8 par page. Intuitivement, on pourrait s’attendre à 4 pages. Cependant, la division entière conventionnelle renvoie 4,5, ce qui entraîne une dernière page incomplète avec seulement 4 éléments.
Pour compenser cela, le résultat de la division entière doit être arrondi. Une solution élégante consiste à utiliser la formule :
pageCount = (records + recordsPerPage - 1) / recordsPerPage;
Selon cette formule, avec 36 éléments et 8 éléments par page, le nombre de pages devient :
pageCount = (36 + 8 - 1) / 8 = (43) / 8 = 5
Cette formule assure que le résultat est arrondi, garantissant que tous les éléments sont affichés et que les commandes de navigation reflètent avec précision le nombre total de pages.
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!