MATH_ERRNO, MATH_ERREXCEPT, math_errhandling

Определён в заголовочном файле `<cmath>`
#define MATH_ERRNO 1		(начиная с C++11)
#define MATH_ERREXCEPT 2		(начиная с C++11)
#define math_errhandling /implementation defined/		(начиная с C++11)

Макроконстанта math_errhandling раскрывается в выражение типа int, равное либо MATH_ERRNO, либо MATH_ERREXCEPT, либо их побитовому ИЛИ (MATH_ERRNO | MATH_ERREXCEPT).

Значение math_errhandling указывает тип обработки ошибок, выполняемой операциями с плавающей запятой и функциями:

Константа	Пояснение
`MATH_ERREXCEPT`	Указывает, что используются исключения с плавающей запятой: в `<cfenv>` определены как минимум `FE_DIVBYZERO`, `FE_INVALID` и `FE_OVERFLOW`.
`MATH_ERRNO`	Указывает, что операции с плавающей запятой используют переменную `errno` для сообщения об ошибках.

Если реализация поддерживает арифметику с плавающей запятой IEEE (IEC 60559), значение math_errhandling & MATH_ERREXCEPT должно быть ненулевым.

Распознаются следующие условия ошибок с плавающей запятой:

Условие	Пояснение	errno	Исключение с плавающей запятой	Пример
Ошибка области определения	Аргумент находится вне диапазона, в котором операция математически определена (в описании каждой функции перечислены соответствующие ошибки области определения)	`EDOM`	`FE_INVALID`	`std::acos(2)`
Ошибка полюса	Математический результат функции равен бесконечности или не определён	`ERANGE`	`FE_DIVBYZERO`	`std::log(0.0)`, `1.0 / 0.0`
Ошибка диапазона из-за переполнения	Математический результат конечен, но после округления становится бесконечным либо после округления вниз становится наибольшим представимым конечным значением	`ERANGE`	`FE_OVERFLOW`	`std::pow(DBL_MAX, 2)`
Ошибка диапазона из-за потери значимости	Результат ненулевой, но после округления становится нулём либо становится субнормальным с потерей точности	`ERANGE` или без изменений (определяется реализацией)	`FE_UNDERFLOW` или ничего (определяется реализацией)	`DBL_TRUE_MIN / 2`
Неточный результат	Результат необходимо округлить, чтобы он соответствовал целевому типу	Без изменений	`FE_INEXACT` или ничего (не специфицировано)	`std::sqrt(2)`, `1.0 / 10.0`

Примечания

В общем случае не специфицировано, вызывают ли функции математической библиотеки исключение FE_INEXACT, однако это может быть явно указано в описании функции (например, std::rint и std::nearbyint).

До C++11 исключения с плавающей запятой не были специфицированы; при любой ошибке области определения требовалось EDOM, при переполнении требовалось ERANGE, а при потере значимости это определялось реализацией.

Пример

#include <cerrno>
#include <cfenv>
#include <cmath>
#include <cstring>
#include <iostream>
// #pragma STDC FENV_ACCESS ON

int main()
{
    std::cout << "MATH_ERRNO is "
              << (math_errhandling & MATH_ERRNO ? "set" : "not set") << '\n'
              << "MATH_ERREXCEPT is "
              << (math_errhandling & MATH_ERREXCEPT ? "set" : "not set") << '\n';
    std::feclearexcept(FE_ALL_EXCEPT);
    errno = 0;
    std::cout <<  "log(0) = " << std::log(0) << '\n';
    if (errno == ERANGE)
        std::cout << "errno = ERANGE (" << std::strerror(errno) << ")\n";
    if (std::fetestexcept(FE_DIVBYZERO))
        std::cout << "FE_DIVBYZERO (pole error) reported\n";
}

Возможный вывод:

MATH_ERRNO is set
MATH_ERREXCEPT is set
log(0) = -inf
errno = ERANGE (Numerical result out of range)
FE_DIVBYZERO (pole error) reported

См. также

FE_ALL_EXCEPTFE_DIVBYZEROFE_INEXACTFE_INVALIDFE_OVERFLOWFE_UNDERFLOW (C++11)	исключения с плавающей запятой (макроконстанта)
errno	макрос, раскрывающийся в совместимую с POSIX переменную номера ошибки с локальным хранилищем потока (макропеременная)
Документация C для `math_errhandling`

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/numeric/math/math_errhandling