(PHP 7, PHP 8)
intdiv — Division d'Entier
Retourne le quotient entier de la division de num1
par num2
.
num1
Nombre à 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