Librairie <assert.h> - <cassert> en C++

Une assertion consiste en un test permettant de vérifier qu'une condition est bien vérifiée. Si cette condition n'est pas vérifiée une erreur pourra être produite. Le langage C vous propose deux types d'assertions.

• Les assertions statiques : elles seront vérifiées par le compilateur. Si la condition n'est pas vérifiée, la compilation echouera. Attention : ce type d'assertions à officiellement intégré le langage C à partir de la version C11 du standard C ISO. Utilisez le mot clé static_assert pour exécuter ce type d'assertions. En fait, cette possibilité n'a rien à voir avec l'entête <assert.h>, mais par similitude avec la fonction assert (voir ci-dessous) nous avons préféré la placer içi.

• Les assertions, plus classiques, qui seront vérifiées durant l'exécution de votre programme. Ce type d'assertion existe depuis la première version du standard C ANSI (C89). Utilisez la fonction assert pour exécuter ce type d'assertions.