C Language Affirmation statique


Exemple

C11

Les assertions statiques sont utilisées pour vérifier si une condition est vraie lorsque le code est compilé. Si ce n'est pas le cas, le compilateur doit émettre un message d'erreur et arrêter le processus de compilation.

Une assertion statique est une assertion qui est vérifiée au moment de la compilation, pas au moment de l'exécution. La condition doit être une expression constante et, si false, une erreur de compilation. Le premier argument, la condition qui est vérifiée, doit être une expression constante et le second un littéral de chaîne.

Contrairement à assert, _Static_assert est un mot-clé. Une macro de commodité static_assert est définie dans <assert.h> .

#include <assert.h>

enum {N = 5};
_Static_assert(N == 5, "N does not equal 5");
static_assert(N > 10, "N is not greater than 10");  /* compiler error */
C99

Avant C11, il n'y avait pas de support direct pour les assertions statiques. Cependant, en C99, les assertions statiques pouvaient être émulées avec des macros qui déclencheraient un échec de compilation si la condition de compilation était fausse. À la différence de _Static_assert , le second paramètre doit être un nom de jeton approprié afin de pouvoir créer un nom de variable avec lui. Si l'assertion échoue, le nom de la variable apparaît dans l'erreur du compilateur, car cette variable a été utilisée dans une déclaration de tableau syntaxiquement incorrecte.

#define STATIC_MSG(msg, l) STATIC_MSG2(msg, l)
#define STATIC_MSG2(msg,l) on_line_##l##__##msg
#define STATIC_ASSERT(x, msg) extern char STATIC_MSG(msg, __LINE__) [(x)?1:-1]
 
enum { N = 5 };
STATIC_ASSERT(N == 5, N_must_equal_5);
STATIC_ASSERT(N > 5, N_must_be_greater_than_5); /* compile error */

Avant C99, vous ne pouviez pas déclarer des variables à des emplacements arbitraires dans un bloc, vous devriez donc être extrêmement prudent lorsque vous utilisez cette macro, en vous assurant qu'elle apparaît uniquement lorsqu'une déclaration de variable serait valide.