Assert sous condition

Bonjour,

Si j'ai bien compris, assert(...) est désactivé en mode release.
Si un assert(...) est mis après un if(...), que devient la condition en release ?

Code:

---

1 2 3 4 5 6 7 8

#include <cassert> struct MyTag {};   template<typename Tag> struct MaStructure { MaStructure(int n) { if(std::is_same<Tag, MyTag>::value) assert(n > 0); } };

---

Merci !

assert est une macro
suffit de savoir que le principe d'une macro est trivial : remplacer le code par ce qu'elle définit
en release, assert définit rien
tu auras donc un superbe if suivi de.. ton unique ;

Impec', merci Bousk !

Allez je me lance pour un truc de folie furieuse :wow:

Code:

---

1 2 3 4 5 6 7 8 9

#include <cassert> struct MyTag {};   template<typename Tag> struct MaStructure { // MaStructure(int n) { assert((std::is_same<Tag, MyTag>::value) && (n > 0)); } // Wrong: Winjerome MaStructure(int n) { assert(!(std::is_same<Tag, MyTag>::value) || (n > 0)); } // Right: Médinoc };

---

Édit: :wow: je suis allé trop vite

L'exemple était simplifié, en fait j'ai deux paramètres template qui sont des flags, plusieurs constructeurs etc.
C'était plus pour comprendre l'idée, merci quand même ;)

PS : j'experimente une classe de base pour les représentations dans l'espace.

Code:

---

1 2 3 4 5 6 7 8

#ifndef TAG_H_INCLUDED #define TAG_H_INCLUDED //============================================================================== struct SizeTag {}; struct PosTag {}; struct MoveTag {}; //============================================================================== #endif // TAG_H_INCLUDED

---

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46

#ifndef POINT_H_INCLUDED #define POINT_H_INCLUDED //============================================================================== #include <array> #include <cassert> #include "Tag.h" //============================================================================== enum Side{ X = 0, Y = 1, Z = 2 }; //============================================================================== template<typename Type, int dim, typename Tag> class Point { //------------------------------------------------------------------------------ public: Point(const Type x, const Type y, const Type z) : point_({{x, y, z}}) { if(std::is_same<Tag, SizeTag>::value) assert(x > 0 && y > 0 && z > 0); static_assert(dim == 3, "3 parameters requested"); } //-------------------------------------------------------------------------- Point(const Type x, const Type y) : point_({{x, y}}) { if(std::is_same<Tag, SizeTag>::value) assert(x > 0 && y > 0); static_assert(dim == 2, "2 parameters requested"); } //-------------------------------------------------------------------------- Point(const Type x) : point_({{x}}) { if(std::is_same<Tag, SizeTag>::value) assert(x > 0); static_assert(dim == 1, "1 parameters requested"); } //-------------------------------------------------------------------------- Type operator[](const Side side) const { assert(side < dim && side >= 0); return point_[side]; } //------------------------------------------------------------------------------ private: std::array<Type, dim> point_; }; //============================================================================== #endif // POINT_H_INCLUDED

---

Bonsoir,

Citation:

---

Envoyé par foetus

Code:

---

assert((std::is_same<Tag, MyTag>::value) && (n > 0));

---

---

Attention, si la partie std::is_same<Tag, MyTag>::value est fausse, tu ne passes pas l'assert sans aucune raison.

Le vrai équivalent de if(std::is_same<Tag, MyTag>::value) assert(n > 0); est assert(!(std::is_same<Tag, MyTag>::value) || (n > 0));.

Maintenant ça parait évident !
Je vais devoir travailler la logique...
Merci en tout cas Médinoc. ;)

cours de lycée option SI ou 1° année de prépa : table de vérités
!(A && B) = !A || !B
!(A || B) = !A && !B
(A ^ B) = (A && !B) || (!A && B)

après tu compliques, c'est exactement comme développer une multiplication, d'ailleurs la notation c'est . pour & et + pour |

Intéressant ! Merci !
(J'ai peut être arrêté un peut trop tôt l'école..:roll:)