fmod, fmodf, fmodl
提供: cppreference.com
<tbody>
</tbody>
| ヘッダ <math.h> で定義
|
||
float fmodf( float x, float y ); |
(1) | (C99以上) |
double fmod( double x, double y ); |
(2) | |
long double fmodl( long double x, long double y ); |
(3) | (C99以上) |
| ヘッダ <tgmath.h> で定義
|
||
#define fmod( x, y ) |
(4) | (C99以上) |
1-3) 除算
x/y の浮動小数点の余りを計算します。4) 型総称マクロ。 いずれかの引数が
long double 型の場合は fmodl が呼ばれます。 そうでなく、いずれかの引数が整数型または double 型の場合は fmod が呼ばれます。 そうでなければ fmodf が呼ばれます。この関数によって計算される除算 x/y の浮動小数点の余りは、正確に値 x - n*y です。 ただし n は x/y の小数部を切り捨てたものです。
戻り値は x と同じ符号を持ち、 y より小さいまたは等しい絶対値を持ちます。
引数
| x, y | - | 浮動小数点値 |
戻り値
成功した場合、上で定義された通りの除算 x/y の浮動小数点の余りを返します。
定義域エラーが発生した場合、処理系定義の値 (サポートされていれば NaN) が返されます。
アンダーフローにより値域エラーが発生した場合、 (丸めた後の) 正しい結果が返されます。
エラー処理
math_errhandling で規定されている通りにエラーが報告されます。
y がゼロの場合、定義域エラーが発生する場合があります。
処理系が IEEE 浮動小数点算術 (IEC 60559) をサポートしている場合、
xが ±0 でありyがゼロでなければ、 ±0 が返されます。xが ±∞ でありyが NaN でなければ、 NaN が返され、 FE_INVALID が発生します。yが ±0 でありxが NaN でなければ、 NaN が返され、 FE_INVALID が発生します。yが ±∞ でありxが有限であれば、xが返されます。- いずれかの引数が NaN であれば、 NaN が返されます。
ノート
POSIX は、 x が無限大または y がゼロの場合、定義域エラーが発生することを要求しています。
fmod は浮動小数点型の符号なし整数型へのサイレントなラッピングを行うのに便利です (しかし remainder はそうではありません)。 (0.0 <= (y = fmod(rint(x), 65536.0 )) ? y : 65536.0 + y) は unsigned short に対応する [-0.0 .. 65535.0] の範囲内になりますが、 remainder(rint(x), 65536.0) は signed short の範囲外である [-32767.0, +32768.0] の範囲内になります。
fmod の double 版は以下のように実装されているかのように動作します。
double fmod(double x, double y)
{
#pragma STDC FENV_ACCESS ON
double result = remainder(fabs(x), (y = fabs(y)));
if (signbit(result)) result += y;
return copysign(result, x);
}
例
Run this code
#include <stdio.h>
#include <math.h>
#include <fenv.h>
#pragma STDC FENV_ACCESS ON
int main(void)
{
printf("fmod(+5.1, +3.0) = %.1f\n", fmod(5.1,3));
printf("fmod(-5.1, +3.0) = %.1f\n", fmod(-5.1,3));
printf("fmod(+5.1, -3.0) = %.1f\n", fmod(5.1,-3));
printf("fmod(-5.1, -3.0) = %.1f\n", fmod(-5.1,-3));
// special values
printf("fmod(+0.0, 1.0) = %.1f\n", fmod(0, 1));
printf("fmod(-0.0, 1.0) = %.1f\n", fmod(-0.0, 1));
printf("fmod(+5.1, Inf) = %.1f\n", fmod(5.1, INFINITY));
// error handling
feclearexcept(FE_ALL_EXCEPT);
printf("fmod(+5.1, 0) = %.1f\n", fmod(5.1, 0));
if(fetestexcept(FE_INVALID)) puts(" FE_INVALID raised");
}
出力例:
fmod(+5.1, +3.0) = 2.1
fmod(-5.1, +3.0) = -2.1
fmod(+5.1, -3.0) = 2.1
fmod(-5.1, -3.0) = -2.1
fmod(+0.0, 1.0) = 0.0
fmod(-0.0, 1.0) = -0.0
fmod(+5.1, Inf) = 5.1
fmod(+5.1, 0) = nan
FE_INVALID raised
参考文献
- C11 standard (ISO/IEC 9899:2011):
- 7.12.10.1 The fmod functions (p: 254)
- 7.25 Type-generic math <tgmath.h> (p: 373-375)
- F.10.7.1 The fmod functions (p: 528)
- C99 standard (ISO/IEC 9899:1999):
- 7.12.10.1 The fmod functions (p: 235)
- 7.22 Type-generic math <tgmath.h> (p: 335-337)
- F.9.7.1 The fmod functions (p: 465)
- C89/C90 standard (ISO/IEC 9899:1990):
- 4.5.6.4 The fmod function
関連項目
(C99) |
整数除算の商と余りを計算します (関数) |
(C99)(C99)(C99) |
浮動小数点除算の符号付きの余りを計算します (関数) |
(C99)(C99)(C99) |
除算の下位3ビットと符号付きの余りを計算します (関数) |
fmod の C++リファレンス
| |
