Vous êtes un professionnel et vous avez besoin d'une formation ? Programmation avec
Le langage C Voir le programme détaillé

Exceptions en virgule flottante

La librairie fenv.h Les directions d'arrondi

Entête à inclure

#include <fenv.h>  // <cfenv> en C++

Une exception en virgule flottante n'est pas forcément une exception au sens C++ ou Java. Dans le modèle de <fenv.h>, il s'agit d'un indicateur d'état qui peut être levé par un calcul : division par zéro, dépassement de capacité, résultat inexact, opération invalide...

Avant d'observer ces indicateurs, il est recommandé d'activer le pragma FENV_ACCESS. Sans lui, le compilateur peut réaliser des optimisations incompatibles avec l'observation fine de l'environnement flottant.

Type fexcept_t

Le type fexcept_t représente une sauvegarde des indicateurs d'exception. Il ne faut pas supposer qu'il s'agit d'un entier : son contenu est dépendant de l'implémentation et doit être produit par fegetexceptflag.

Macros d'exception

Fonctions associées

Exemple de code

Le programme suivant efface les indicateurs, provoque une division par zéro en virgule flottante, puis vérifie si l'indicateur correspondant a bien été levé.

 1 
 2 
 3 
 4 
 5 
 6 
 7 
 8 
 9 
 10 
 11 
 12 
 13 
 14 
 15 
 16 
 17 
 18 
 19 
 20 

#include <fenv.h>
#include <stdio.h>

#pragma STDC FENV_ACCESS ON

int main() {

    volatile double zero = 0.0;

    feclearexcept( FE_ALL_EXCEPT );

    volatile double value = 1.0 / zero;
    (void) value;

    if ( fetestexcept( FE_DIVBYZERO ) ) {
        printf( "Division par zero detectee\n" );
    }

    return 0;
}

Une exécution possible produira le résultat suivant.

Division par zero detectee

Le bloc suivant montre comment sauvegarder un état d'exception avec fexcept_t, puis le restaurer ensuite.

 1 
 2 
 3 
 4 
 5 
 6 
 7 
 8 
 9 
 10 
 11 
 12 
 13 
 14 
 15 
 16 
 17 
 18 
 19 
 20 
 21 
 22 

#include <fenv.h>
#include <stdio.h>

#pragma STDC FENV_ACCESS ON

int main() {

    fexcept_t savedFlags;

    feclearexcept( FE_ALL_EXCEPT );
    feraiseexcept( FE_OVERFLOW );

    fegetexceptflag( &savedFlags, FE_OVERFLOW );

    feclearexcept( FE_ALL_EXCEPT );
    printf( "Apres effacement : %d\n", fetestexcept( FE_OVERFLOW ) != 0 );

    fesetexceptflag( &savedFlags, FE_OVERFLOW );
    printf( "Apres restauration : %d\n", fetestexcept( FE_OVERFLOW ) != 0 );

    return 0;
}

Voici le résultat produit par ce second exemple.

Apres effacement : 0
Apres restauration : 1

Sujets connexes

La librairie fenv.h Les directions d'arrondi

Vous êtes un professionnel et vous avez besoin d'une formation ? Programmation avec
Le langage C Voir le programme détaillé