NUME¶

math_error - detectează erorile din funcțiile matematice

REZUMAT¶

#include <math.h>
#include <errno.h>
#include <fenv.h>

DESCRIERE¶

Atunci când apare o eroare, majoritatea funcțiilor de bibliotecă indică acest fapt prin returnarea unei valori speciale (de exemplu, -1 sau NULL). Deoarece în mod obișnuit returnează un număr în virgulă mobilă, funcțiile matematice declarate în <math.h> indică o eroare folosind alte mecanisme. Există două mecanisme de semnalizare a erorilor: cel mai vechi definește errno; cel mai nou utilizează mecanismul de excepție în virgulă mobilă (utilizarea lui feclearexcept(3) și fetestexcept(3), așa cum este prezentat mai jos) descris în fenv(3).

Un program portabil care trebuie să verifice o eroare dintr-o funcție matematică ar trebui să stabilească errno la zero și să facă următorul apel

feclearexcept(FE_ALL_EXCEPT);

înainte de a apela o funcție matematică.

La revenirea din funcția matematică, dacă errno este diferită de zero, sau dacă apelul următor (a se vedea fenv(3)) returnează un rezultat diferit de zero,

fetestexcept(FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW |


             FE_UNDERFLOW);

atunci s-a produs o eroare în funcția matematică.

Condițiile de eroare care pot apărea pentru funcțiile matematice sunt descrise mai jos.

NOTE¶

Identificatorul math_errhandling specificat de C99 și POSIX.1 nu este acceptat de glibc. Acest identificator ar trebui să indice care dintre cele două mecanisme de notificare a erorilor (errno, excepții recuperabile prin fetestexcept(3)) este utilizat. Standardele impun ca cel puțin unul dintre ele să fie utilizat, dar permit ca ambele să fie disponibile. Situația actuală (glibc 2.8) în cadrul glibc este dezordonată. Majoritatea funcțiilor (dar nu toate) ridică excepții în caz de eroare. Unele stabilesc, de asemenea, errno. Câteva funcții configurează errno, dar nu generează o excepție. Foarte puține funcții nu fac nici una, nici alta. Consultați paginile de manual individuale pentru detalii.

Pentru a evita complexitatea utilizării errno și fetestexcept(3) pentru verificarea erorilor, se recomandă adesea să se verifice dacă există valori de argument greșite înainte de fiecare apel. De exemplu, codul următor se asigură că argumentul lui log(3) nu este un NaN și nu este zero (o eroare de pol) sau mai mic decât zero (o eroare de domeniu):

double x, r;
if (isnan(x) || islessequal(x, 0)) {


    /* Rezolvă problemele cu NaN / eroare de pol / eroare de domeniu */
}
r = log(x);

Discuția de pe această pagină nu se aplică funcțiilor matematice complexe (de exemplu, cele declarate de <complex.h>), care, în general, nu sunt obligate să returneze erori prin C99 și POSIX.1.

Opțiunea gcc(1) -fno-math-errno face ca executabilul să utilizeze implementări ale unor funcții matematice care sunt mai rapide decât implementările standard, dar nu configurează errno în caz de eroare; (opțiunea gcc(1) -ffast-math activează, de asemenea, -fno-math-errno). O eroare poate fi în continuare testată folosind fetestexcept(3).

CONSULTAȚI ȘI¶

gcc(1), errno(3), fenv(3), fpclassify(3), INFINITY(3), isgreater(3), matherr(3), nan(3)

info libc

TRADUCERE¶

Traducerea în limba română a acestui manual a fost făcută de Remus-Gabriel Chelu <remusgabriel.chelu@disroot.org>

Această traducere este documentație gratuită; citiți Licența publică generală GNU Versiunea 3 sau o versiune ulterioară cu privire la condiții privind drepturile de autor. NU se asumă NICIO RESPONSABILITATE.

Dacă găsiți erori în traducerea acestui manual, vă rugăm să trimiteți un e-mail la translation-team-ro@lists.sourceforge.net.