Discussion :

[pcdwarf]

Bonjour

Je voudrais verifier au compile-time qu'un enum ne contient pas plus qu'un certain nombre d'étiquettes

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
enum TESTBLK {
toto,
tutu,
titi,
flugudu,
flagada,
TESTBLK_SIZE
}
 
#if ( TESTBLK_SIZE >5 ) 
# error enum TESTBLK est trop grand
#endif

Evidemment TESTBLK_SIZE n'est pas une macro et n'est pas defini à cet endroit.
Je veux vraiment que la compilation echoue si on agrandit trop cet enum
(car dans mon projet, c'est une liste beaucoup plus longue qui ne doit pas depasser 127 pour des raison de limitations hardware et je pressens que l'évolution du logiciel va se heurter à cette limitation)

[bacelar]

Je comprends pas trop votre usage de "TESTBLK_SIZE".

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

static_assert(TESTBLK_SIZE<127);

[pcdwarf]

J'avoue avoir eu des doutes. ça paraissait trop beau.
Mais après pas mal de vérifications,

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

static_assert(bool_constexpr, message);

est EXACTEMENT ce dont j'avais besoin.

bien que ça ressemble à du "vrai" code, c'est bien tout testé en compile-time et surtout il n'en reste aucune trace au runtime (j'ai vérifié, ça produit le même binaire final à l'octet près que le static_assert y soit ou non) .

merci beaucoup.

Je ne connaissais pas.
Je pense que je vais user et abuser de cette fonction.