ИМЯ¶

nextafter, nextafterf, nextafterl, nexttoward, nexttowardf, nexttowardl - операции над числами с плавающей запятой

ОБЗОР¶

#include <math.h>

double nextafter(double x, double y);
float nextafterf(float x, float y);
long double nextafterl(long double x, long double y);

double nexttoward(double x, long double y);
float nexttowardf(float x, long double y);
long double nexttowardl(long double x, long double y);

Компонуется при указании параметра -lm.

Требования макроса тестирования свойств для glibc (см. feature_test_macros(7)):

nextafter():

ОПИСАНИЕ¶

Функции nextafter() возвращают следующее представимое значение с плавающей запятой после x по направлению к y. Если y меньше x, то эти функции возвращают наибольшее представимое число, которое меньше x.

Если x = y, то функции возвращают y.

Функции nexttoward() делают то же, что и функции nextafter(), за исключением того, что у них второй аргумент имеет тип long double.

ВОЗВРАЩАЕМОЕ ЗНАЧЕНИЕ¶

При успешном выполнении данные функции возвращают представимое значение с плавающей запятой следующее за x по направлению к y.

Если x = y, то возвращается значение y (приведённое к типу x).

Если значение x или y равно NaN, то возвращается NaN.

Если x имеет конечное значение и происходит переполнение результата, возникает ошибка диапазона, то функции возвращают HUGE_VAL, HUGE_VALF или HUGE_VALL, соответственно, с математически правильным знаком.

Если x не равно y, и правильный результат функции был бы субнормальным, нулём или возникала бы потеря значимости, ошибка диапазона, то возвращается любое правильное значение (если оно представимо) или 0,0.

ОШИБКИ¶

Смотрите math_error(7), чтобы определить, какие ошибки могут возникать при вызове этих функций.

Могут возникать следующие ошибки:

Ошибка диапазона: результат превысил разрядность

Вызывается исключение переполнения плавающей запятой (FE_OVERFLOW).

Ошибка диапазона: результат субнормальный или потерял разрядность

Возникает исключение исчезновение порядка плавающей запятой (FE_UNDERFLOW).

Эти функции не изменяют errno.

СООТВЕТСТВИЕ СТАНДАРТАМ¶

C99, POSIX.1-2001. Данная функция определена в IEC 559 (и в приложении с рекомендуемыми функциями в IEEE 754/IEEE 854).

ДЕФЕКТЫ¶

В glibc 2.5 и младше данные функции не вызывают исключение исчезновения порядка плавающей запятой (FE_UNDERFLOW) при возникновении ошибки исчезновение порядка.

СМОТРИТЕ ТАКЖЕ¶

nearbyint(3)