Discussion :

[PilloBuenaGente]

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 :

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

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 !

[Bousk]

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 ;

[PilloBuenaGente]

Impec', merci Bousk !

[foetus]

Allez je me lance pour un truc de folie furieuse

Code :

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

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: je suis allé trop vite

[PilloBuenaGente]

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 :

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

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 :

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

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

[Invité]

Bonsoir,

Code :

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

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.

[Médinoc]

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

[PilloBuenaGente]

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

[Bousk]

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 |

[PilloBuenaGente]

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