Tester l'unicité d'une enum

Bonjour à tous,

J'aimerais réaliser un test unitaire pour valider l'ensemble de mes enums dans mon programme afin d'éviter qu'à l'intérieur d'une même enum, la même valeur apparaisse 2 fois.

Certaines de mes enum sont numérotés manuellement et pour éviter toute erreur de développeur, il serait intéressant de les tester dans un test unitaire.

La méthode simple et de créer un switch statement avec toutes les valeurs de chaque enum, si la valeur apparait 2 fois dans le switch, mon test unitaire aura une erreur à la compilation.

Le soucis c'est que je ne veux pas à avoir à mettre à jour mon test unitaire à chaque fois que je rajoute une valeur à une de mes enums. Il serait donc bien de pouvoir automatiser la même routine où il suffirait de passer l'enum et le test serait fait pour toutes les valeurs contenues.

Je me rappel avoir vu une technique sur internet pour le faire mais impossible de retrouver...

Merci pour votre aide si vous avez une idée !

Citation:

---

Envoyé par johnlamericain

Bonjour à tous,

J'aimerais réaliser un test unitaire pour valider l'ensemble de mes enums dans mon programme afin d'éviter qu'à l'intérieur d'une même enum, la même valeur apparaisse 2 fois.

---

Impossible. Une valeur d'énumération est forcément différentes de toutes les autres valeurs dans la même énumération. C'est comme ça, tu n'as donc pas besoin de le tester.

Citation:

---

Envoyé par Emmanuel Deloget

Impossible. Une valeur d'énumération est forcément différentes de toutes les autres valeurs dans la même énumération. C'est comme ça, tu n'as donc pas besoin de le tester.

---

Tu veux dire que cela n'est pas possible ?

Code:

---

1 2 3 4 5 6

enum Mode { Mode_Selection = 1000, Mode_Drag = 1000, Mode_Slice = 2000 };

---

Je ne vois pas en quoi la spécification C++ l'empéche...

Voir l'exemple sur cette page.

Avec ctags, tu extrais les nom de tous tes enums.
Ensuite, pour chaque enum, tu testes les n*n(-1) combinaisons pour t'assurer qu'il n'y a pas d'égalité -- ou en itératif après un tri. Par habitude, je ferai ça en perl ou en viml.

TU ? Nan, c'est un tâche de précompil ça.
NB: ne pas donner de valeur aux énumérés est une excellente façon pour éviter tout soucis, ce que voulait dire Emmanuel je crois

Citation:

---

Envoyé par johnlamericain

Tu veux dire que cela n'est pas possible ?

Code:

---

1 2 3 4 5 6

enum Mode { Mode_Selection = 1000, Mode_Drag = 1000, Mode_Slice = 2000 };

---

Je ne vois pas en quoi la spécification C++ l'empéche...

---

Tu as raison, je me suis enflammé trop vite.

Citation:

---

Envoyé par oodini

Voir l'exemple sur cette page.

---

L'exemple sur cette page prouve que c'est possible d'avoir 2 valeurs mais ne m'aide pas sur mon problème. Mon enum contient des centaines de data type, je ne veux pas à avoir à updater un switch statement pour savoir si ça compile toujours.

Citation:

---

Envoyé par Luc Hermitte

Avec ctags, tu extrais les nom de tous tes enums.
Ensuite, pour chaque enum, tu testes les n*n(-1) combinaisons pour t'assurer qu'il n'y a pas d'égalité -- ou en itératif après un tri. Par habitude, je ferai ça en perl ou en viml.

TU ? Nan, c'est un tâche de précompil ça.
NB: ne pas donner de valeur aux énumérés est une excellente façon pour éviter tout soucis, ce que voulait dire Emmanuel je crois

---

Est ce qu'il n'y aurait pas un moyen similaire en C++ ?

J'aimerais bien que mon compilateur détecte cela mais comme c'est valide, aucune détection à la précompil, ou alors j'ai loupé quelque chose.

Je suis d'accord qu'en général je ne mets pas de valeurs énumérés, mais je suis dans le cas de compatibilité de version entre des projets, si je rajoute une valeur au milieu de mon enum, je ne veux pas casser la compatibilité des projets de l'ancienne version en décalant toutes les enums...

Mais une erreur humaine est si vite arrivé que je voudrais quand même pouvoir vérifier qu'il n'y a pas de doublon dans mon enum.

Citation:

---

Envoyé par Emmanuel Deloget

Tu as raison, je me suis enflammé trop vite.

---

Pas de soucis, il nous arrive à tous de nous tromper, moi le premier :)

Il y a peut-être moyen de faire quelque chose avec

Code:

---

static_cast<Enum>(int pouet)

---

, en incrémentant pouet, mais comme un enum peut avoir des "trous"...

Quoique, en jouant avec sizeof() sur l'ensemble de l'enum, puis en accumulant les sizeof(), tu devrais déduire où t'arrêter dans ton incrémentation.

A mon avis, il va être temps de mettre en place cppcheck (ou autres outils d'analyse statique) ;) Si cppcheck ne fait pas cette vérification, tu peux créer tes propres règles. Sinon d'autres outils font cette vérification (source)

Le compilo ne peut pas itérer sur les symboles. C'est pour cela qu'il faut passer par un outil externe qui analyse le code.
Si je propose ctags, c'est parce que je sais qu'il est déjà capable d'extraire les énumérations d'un enum. Du coup, à partir de là, c'est un jeu d'enfants de finir le boulot dans le langage de script qui nous fait plaisir.

Maintenant puisque qu'un organisme a décidé d'en faire une règle de qualité (merci gbdivers), il doit y avoir un ou deux outils qui sache déjà le gérer. Typiquement PClint[**], Understand C++ (à vérifier précisément, je sais qu'il font les règles MISRA, pour les CERT[*], j'en suis moins sûr, et je ne connais pas le recouvrement avec les règles MISRA)
[*] Pour lequel il y a quelques bétises qui trainent -> https://www.securecoding.cert.org/co...pied+to+itself (compliant #1 qui ne devrait même pas être proposé)
EDIT:
[**] http://www.gimpel-online.com/MsgRef.html -> message #849

C'est une classe Qt?

Citation:

---

Envoyé par yan

C'est une classe Qt?

---

Non, c'est juste des enums dans un fichier.

Citation:

---

Envoyé par johnlamericain

Non, c'est juste des enums dans un fichier.

---

Qt permet de parcourir les enum d'un QObject par introspection...
A par un outils d'analyse statique; je n'ai pas d'idée :/

Bonjour

une solution est possible avec les templates + preprocessor, mais ça demande une organisation de tes enums

Code:

---

1 2 3 4 5

// MyEnumValues.h ENUM_VALUE(val1, 1) ENUM_VALUE(val2, 2) ENUM_VALUE(val3, 2)

---

utilisation

Code:

---

1 2 3 4 5 6 7

enum MyEnum { #define ENUM_VALUE(a,b) a=b, #include "MyEnumValues.h" #undef ENUM_VALUE };

---

vérification :

Code:

---

1 2 3 4 5

template<int value> class EnumValueChecker{}; #define ENUM_VALUE(a,b) template<> class EnumValueChecker<b> {}; #include "MyEnumValues.h" #undef ENUM_VALUE

---

si une même valeur est utilisée plus d'une fois, tu auras cette erreur (VS2008) :

Citation:

---

1>d:\enumtt\MyEnumValues.h(3) : error C2766: explicit specialization; 'EnumValueChecker<2>' has already been defined
1> d:\enumtt\MyEnumValues.h(2) : see previous definition of 'EnumValueChecker<2>'

---