remainder, remainderf, remainderl
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Definido en el encabezado
<math.h>
|
||
|
float
remainderf
(
float
x,
float
y
)
;
|
(1) | (desde C99) |
|
double
remainder
(
double
x,
double
y
)
;
|
(2) | (desde C99) |
|
long
double
remainderl
(
long
double
x,
long
double
y
)
;
|
(3) | (desde C99) |
|
Definido en el encabezado
<tgmath.h>
|
||
|
#define remainder( x, y )
|
(4) | (desde C99) |
remainderl
es llamado. De lo contrario, si algún argumento tiene tipo entero o tiene tipo
double
,
remainder
es llamado. De lo contrario,
remainderf
es llamado.
El resto de punto flotante IEEE de la operación de división
x
/
y
calculado por esta función es exactamente el valor
x
-
n
*
y
, donde el valor
n
es el valor integral más cercano al valor exacto
x
/
y
. Cuando
|n-x/y| = ½
, el valor
n
se elige para que sea par.
A diferencia de fmod() , el valor devuelto no está garantizado que tenga el mismo signo que x .
Si el valor devuelto es 0 , tendrá el mismo signo que x .
Contenidos |
Parámetros
| x, y | - | valores de punto flotante |
Valor de retorno
Si tiene éxito, retorna el resto de punto flotante IEEE de la división x / y como se definió anteriormente.
Si ocurre un error de dominio, se devuelve un valor definido por la implementación (NaN donde esté soportado).
Si ocurre un error de rango debido a subdesbordamiento, se devuelve el resultado correcto.
Si y es cero, pero no se produce el error de dominio, se devuelve cero.
Manejo de errores
Los errores se reportan como se especifica en
math_errhandling
.
Puede ocurrir un error de dominio si y es cero.
Si la implementación soporta aritmética de punto flotante IEEE (IEC 60559),
- El modo de redondeo actual rounding mode no tiene efecto.
- FE_INEXACT nunca se genera, el resultado siempre es exacto.
- Si x es ±∞ y y no es NaN, se retorna NaN y se genera FE_INVALID .
- Si y es ±0 y x no es NaN, se retorna NaN y se genera FE_INVALID .
- Si cualquier argumento es NaN, se retorna NaN.
Notas
POSIX requiere que ocurra un error de dominio si x es infinito o y es cero.
fmod
, pero no
remainder
es útil para realizar el ajuste silencioso de tipos de punto flotante a tipos enteros sin signo:
(
0.0
<=
(
y
=
fmod
(
rint
(
x
)
,
65536.0
)
)
?
y
:
65536.0
+
y
)
está en el rango
[
-
0.0
,
65535.0
]
, que corresponde a
unsigned
short
, pero
remainder
(
rint
(
x
)
,
65536.0
)
está en el rango
[
-
32767.0
,
+
32768.0
]
, que está fuera del rango de
signed
short
.
Ejemplo
#include <fenv.h> #include <math.h> #include <stdio.h> // #pragma STDC FENV_ACCESS ON int main(void) { printf("remainder(+5.1, +3.0) = %.1f\n", remainder(5.1, 3)); printf("remainder(-5.1, +3.0) = %.1f\n", remainder(-5.1, 3)); printf("remainder(+5.1, -3.0) = %.1f\n", remainder(5.1, -3)); printf("remainder(-5.1, -3.0) = %.1f\n", remainder(-5.1, -3)); // special values printf("remainder(-0.0, 1.0) = %.1f\n", remainder(-0.0, 1)); printf("remainder(+5.1, Inf) = %.1f\n", remainder(5.1, INFINITY)); // error handling feclearexcept(FE_ALL_EXCEPT); printf("remainder(+5.1, 0) = %.1f\n", remainder(5.1, 0)); if (fetestexcept(FE_INVALID)) puts(" FE_INVALID raised"); }
Salida:
remainder(+5.1, +3.0) = -0.9
remainder(-5.1, +3.0) = 0.9
remainder(+5.1, -3.0) = -0.9
remainder(-5.1, -3.0) = 0.9
remainder(+0.0, 1.0) = 0.0
remainder(-0.0, 1.0) = -0.0
remainder(+5.1, Inf) = 5.1
remainder(+5.1, 0) = -nan
FE_INVALID raised
Referencias
- Estándar C23 (ISO/IEC 9899:2024):
-
- 7.12.10.2 Las funciones remainder (p: TBD)
-
- 7.25 Matemáticas genéricas de tipos <tgmath.h> (p: TBD)
-
- F.10.7.2 Las funciones remainder (p: TBD)
- Estándar C17 (ISO/IEC 9899:2018):
-
- 7.12.10.2 Las funciones de resto (p: 185-186)
-
- 7.25 Matemáticas genéricas de tipos <tgmath.h> (p: 272-273)
-
- F.10.7.2 Las funciones de resto (p: 385)
- Estándar C11 (ISO/IEC 9899:2011):
-
- 7.12.10.2 Las funciones de resto (p: 254-255)
-
- 7.25 Matemáticas genéricas de tipos <tgmath.h> (p: 373-375)
-
- F.10.7.2 Las funciones de resto (p: 529)
- Estándar C99 (ISO/IEC 9899:1999):
-
- 7.12.10.2 Las funciones remainder (p: 235)
-
- 7.22 Matemáticas genéricas de tipo <tgmath.h> (p: 335-337)
-
- F.9.7.2 Las funciones remainder (p: 465)
Véase también
|
(C99)
|
calcula el cociente y el resto de la división entera
(función) |
|
(C99)
(C99)
|
calcula el resto de la operación de división de punto flotante
(función) |
|
(C99)
(C99)
(C99)
|
calcula el resto con signo así como los tres últimos bits de la operación de división
(función) |
|
C++ documentation
para
remainder
|
|