nextafter(3) 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():

_BSD_SOURCE || _SVID_SOURCE || _XOPEN_SOURCE >= 500 || _XOPEN_SOURCE && _XOPEN_SOURCE_EXTENDED || _ISOC99_SOURCE || _POSIX_C_SOURCE >= 200112L;
или cc -std=c99

nextafterf(), nextafterl():
_BSD_SOURCE || _SVID_SOURCE || _XOPEN_SOURCE >= 600 || _ISOC99_SOURCE || _POSIX_C_SOURCE >= 200112L;
или cc -std=c99

nexttoward(), nexttowardf(), nexttowardl():
_XOPEN_SOURCE >= 600 || _ISOC99_SOURCE || _POSIX_C_SOURCE >= 200112L;
или cc -std=c99

ОПИСАНИЕ

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

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

Функции nexttoward(), nexttowardf() и nexttowardl() делают то же, что и функции 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.

АТРИБУТЫ

Описание терминов данного раздела смотрите в attributes(7).
ИнтерфейсАтрибутЗначение
nextafter(), nextafterf(),
nextafterl(), nexttoward(),
nexttowardf(), nexttowardl()
безвредность в нитяхбезвредно (MT-Safe)

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

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

ДЕФЕКТЫ

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