(PHP 7, PHP 8)
intdiv — Division d'Entier
Retourne le quotient entier de la division de num1 par num2.
num1Nombre à diviser.
num2
Nombre qui divise num1.
Le quotient entier de la division de num1 par num2.
Si num2 est 0, une exception DivisionByZeroError
sera émise. Si num1 est PHP_INT_MIN
et que num2 est -1, dans ce cas là une exception
ArithmeticError est émise.
Exemple #1 Exemple de intdiv()
<?php
var_dump(intdiv(3, 2));
var_dump(intdiv(-3, 2));
var_dump(intdiv(3, -2));
var_dump(intdiv(-3, -2));
var_dump(intdiv(PHP_INT_MAX, PHP_INT_MAX));
var_dump(intdiv(PHP_INT_MIN, PHP_INT_MIN));
?>L'exemple ci-dessus va afficher :
int(1) int(-1) int(-1) int(1) int(1) int(1)
Exemple #2 Exemple de intdiv() avec un diviseur invalide
<?php
try {
intdiv(PHP_INT_MIN, -1);
} catch (Error $e) {
echo get_class($e), ': ', $e->getMessage(), PHP_EOL;
}
try {
intdiv(1, 0);
} catch (Error $e) {
echo get_class($e), ': ', $e->getMessage(), PHP_EOL;
}
?>L'exemple ci-dessus va afficher :
ArithmeticError: Division of PHP_INT_MIN by -1 is not an integer DivisionByZeroError: Division by zero